Publications

Export 2364 results:
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
1
Lopes, L. F., F. Silva, F. Couto, MJ. Silva, and D3. Epiwork, "1: Meta-model Initial Specification", Catalogue of Relevant Data, Platform Requirements. 30th September, 2009.
Vasconcelos, V. T., and P. Haller, 10th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, Uppsala, Sweden, on April 29th 2017 Preface, : OPEN PUBL ASSOC OPEN PUBL ASSOC, SYDNEY, 00000, AUSTRALIA, 2017.
Caires, L., and V. T. Vasconcelos, "18th International Conference on Concurrency Theory", Information and Computation, vol. 208, no. 6: Academic Press, pp. 605, 2010.
Rodrigues, L., and P. Verissimo, "1ST*-INESC* ler@ inesc. pt", Proceedings of the 15th International Conference on Distributed Computing Systems: IEEE, pp. 83, 1995.
2
Agrawal, B., A. Aleta, J. Alonso, C. Kumar Anand, C. Anderson, S. Andrei, T. Aoki, A. Apostolakis, T. Austin, DR. Avresky, et al., "2009 Index IEEE Transactions on Computers Vol. 58", IEEE Transactions on Computers, vol. 58, no. 12, pp. 1, 2009.
Abbasi, A. A., D. P. Agrawal, I. Ahmad, K. Akkaya, H. Hamad E. AL-Mistarihi, I. Al-Oqily, F. J. Alfaro, S. Aluru, H. Amano, M. Ali Amer, et al., "2009 Index IEEE Transactions on Parallel and Distributed Systems Vol. 20", IEEE Transactions on Parallel and Distributed Systems, vol. 20, no. 12, pp. 1, 2009.
di Bernardo, D., T. Fung Chan, J. Chen, X. Chen, X. Chen, Y. Chen, X. Cheng, G. H Cho, Y-R. Cho, F. Couto, et al., 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops, , 2010.
Abdi, S., O. Aciicmez, J. Adikari, J-S. Ahn, F. Angiolini, M. Annavaram, A. M Hasan, T. Arslan, R. A. Ashraf, S. Atalla, et al., "2013 Index IEEE Transactions on Computers Vol. 62", IEEE Transactions on Computers, vol. 63, no. 1, pp. 1, 2014.
Ghany, MA. Abd El, I. Abdelaziz, M. Abraham, S. Acer, O. Adam, M. Adda, M. Afibuzzaman, E. Agullo, MO. Agyeman, A. Ahmadinia, et al., "2017 Index IEEE Transactions on Parallel and Distributed Systems Vol. 28", IEEE Transactions on Parallel and Distributed Systems, vol. 29, no. 1, 2018.
Rodrigues, L., and W-S. Eric Chen, 22nd International Conference on Distributed Computing Systems: ICDCS 2002: Proceedings: 2-5 July, 2002, Vienna, Austria, : IEEE Computer Society, 2002.
3
Catita, C., L. Coutinho, and H. Miranda, "3D Virtual Campus-FCUL: an integrated system for university services management", Proceedings of the 21st Conference on Geo-information Science (AGILE 2018), Lund, Sweden, 2018.
Bagchi, S., M. Correia, and P. Pal, "3rd Workshop on Recent Advances on Intrusion-Tolerant Systems WRAITS 2009", Dependable Systems & Networks, 2009. DSN'09. IEEE/IFIP International Conference on: IEEE, pp. 600–601, 2009.
4
Correia, M., and P. Pal, "4th workshop on recent advances in intrusion-tolerant systems WRAITS 2010", Dependable Systems and Networks (DSN), 2010 IEEE/IFIP International Conference on: IEEE, pp. 621–622, 2010.
A
Langlois, T., and P. Campos, Abalearn, a programs that learns how to play Abalone, : International Computer Game Association Journal, 2003.
Campos, P., and T. Langlois, "Abalearn: A risk-sensitive approach to self-play learning in abalone", Machine Learning: ECML 2003: Springer Berlin Heidelberg, pp. 35–46, 2003.
Campos, P., and T. Langlois, "Abalearn: Efficient self-play learning of the game abalone", INESC-ID, neural networks and signal processing group, 2003.
Parlier-Cuau, C., RY. Carlier, P. David, M. J. Silva, and D. Doyon, "Abcés sous-dural: complication rare d'une infiltration épidurale: á propos d'un cas et revue de la littérature", Journal de radiologie, vol. 74, no. 4: Masson, pp. 205–209, 1993.
Fiadeiro, J. Luiz, A. Lopes, and L. Bocchi, "An abstract model of service discovery and binding", Formal Aspects of Computing, vol. 23, no. 4: Springer-Verlag, pp. 433–463, 2011.
Guerraoui, R., and L. Rodrigues, Abstractions for Distributed Programming, : preparation, 2003.
Fernandes, N., D. Costa, C. Duarte, and L. Carriço, Accessibility in dynamic Web TV applications, , 2012.
Costa, D., N. Fernandes, C. Duarte, and L. Carriço, "Accessibility of dynamic adaptive web tv applications", Computers Helping People with Special Needs: Springer Berlin Heidelberg, pp. 343–350, 2012.
Biswas, P., P. Langdon, C. Duarte, J. Coelho, T. Guerreiro, and C. Jung, "An accessible, adaptive and multimodal digital TV framework and corresponding development tool", Science and Information Conference (SAI), 2013: IEEE, pp. 28–37, 2013.
Hamisu, P., G. Heinrich, C. Jung, V. Hahn, C. Duarte, P. Langdon, and P. Biswas, "Accessible UI design and multimodal interaction through hybrid TV platforms: towards a virtual-user centered design framework", Universal Access in Human-Computer Interaction. Users Diversity: Springer, pp. 32–41, 2011.
Oliveira, E., P. Martins, and T. Chambel, "Accessing movies based on emotional impact", Multimedia systems, vol. 19, no. 6: Springer Berlin Heidelberg, pp. 559–576, 2013.
Oliveira, E., N. Ribeiro, and T. Chambel, "Accessing Movies’ Emotional Information", CISTI' 2015, 10th Iberian Conference on Information Systems and Technologies, Aveiro, Portugal, IEEE, 06/2015.
De Filippo, M., M. J. Silva, KM. Johnson, D. Petriccioli, and C. Rossi, Accuracy of Multiplanar Reformated CT Imaging in the quantification of glenoid bone loss following shoulder dislocation., , 2010.
Decouchant, J., M. Fernandes, M. Völp, F. M. Couto, and P. Esteves-Verissimo, "Accurate filtering of privacy-sensitive information in raw genomic data", Journal of biomedical informatics, vol. 82: Elsevier, pp. 1–12, 2018.
Neto, A. Beatriz, D. Gouveia, and M. J. Silva, ACE: um agente de compras na Internet, : Department of Informatics, University of Lisbon, 1998.
Serra, S., A. Jorge, and T. Chambel, "Acesso Multimodal em Dispositivos Móveis a Vídeo Georeferenciado através da Forma, Velocidade e Tempo", SciTecIN' 2015, Sciences and Technologies of Interaction, Encontro Português de Computação Gráfica e Interacção, Universidade de Coimbra, Portugal, 11/2015.
Janota, M., and J. Marques-Silva, "An Achilles’ Heel of Term-Resolution", Portuguese Conference on Artificial Intelligence: Springer, pp. 670–680, 2017.
Adamo-Villani, N., A. Aizpurua, D. Akoumianakis, V. Athitsos, P. Bamidis, E. Becker, P. Bellavista, M. Betke, G. Bieber, D. Bilal, et al., Acknowledgement to reviewers for 2013, , 2014.
Ryu, H., T. Bartindale, J. Kim, V. Vinayagamoorthy, T. Chambel, and WT. Ooi, "ACM TVX 2018 chairs' welcome", TVX 2018: Proceedings of the 2018 ACM International Conference on Interactive Experiences for TV and Online Video: Newcastle University, 2018.
Chambel, T., N. Jardim Nunes, T. Romão, and J. Creissac Campos, Actas da 2ª Conferência Nacional em Interacção Pessoa-Máquina, : Grupo Português de Computação Gráfica, 2006.
Marcos, A., P. Antunes, and N. Guimarães, Actas do 2º Workshop de Sistemas de Informação Multimédia, Cooperativos e Distribu{ídos (CoopMedia 2003), : Centro de Computação Gráfica, 2003.
Silva, M. J., and R. H. Katz, "Active documentation: a new interface for VLSI design", Design Automation, 1993. 30th Conference on: IEEE, pp. 654–660, 1993.
Silva, M. J., T-cker. Chiueh, and R. H. Katz, Active documentation for VLSI design, : University of California, Berkeley, 1994.
Sousa, A. Bessani Pa, and M. Correia, Active quorum systems, , 2010.
Bessani, A. Neves, Active quorum systems: Specification and correctness proof, , 2010.
Correia, N., and T. Chambel, "Active video watching using annotation", Proceedings of the seventh ACM international conference on Multimedia (Part 2): ACM, pp. 151–154, 1999.
Campos, J. P., and M. J. Silva, "ActiveXML: Compound documents for integration of heterogeneous data sources", Research and Advanced Technology for Digital Libraries: Springer Berlin Heidelberg, pp. 380–384, 2000.
Monteiro, H., and A. Neves Bessani, Actualização Coordenada de Pol{íticas de Segurança para Infra-estruturas Cr{íticas, : CRC 2009: 9a Conferência Portuguesa de Redes de Computadores, 2009.
Mendonca, M., and N. Ferreira Neves, "Actualização Segura e Automática de Aplicações em Terminais de Venda", Actas da 7ª Conferência sobre Redes de Computadores, CRC, 2004.
Araujo, F., and H. Miranda, "Ad Hoc Routing", Middleware for Network Eccentric and Mobile Applications: Springer Berlin Heidelberg, pp. 63–93, 2009.
Matos, J., and H. Miranda, "Ad Hoc Routing Under Randomized Propagation Models", InForum, 2010.
Rosa, J., J. Craveiro, and J. Rufino, "Adaptability and survivability in spaceborne time-and space-partitioned systems", EUROCON-International Conference on Computer as a Tool (EUROCON), 2011 IEEE: IEEE, pp. 1–4, 2011.
Craveiro, J., and J. Rufino, "Adaptability support in time-and space-partitioned aerospace systems", ADAPTIVE 2010, The Second International Conference on Adaptive and Self-Adaptive Systems and Applications, pp. 152–157, 2010.
Mocito, J., L. Rosa, N. Almeida, H. Miranda, and L. Rodrigues, Adaptação ao Contexto em Sistemas de Comunicação Heterogéneos, : Department of Informatics, University of Lisbon, 2004.
Carmo, M. Beatriz, A. Claudio, A. Ferreira, and A. Paula Afonso, "Adaptação de simbologia em realidade aumentada", EPCG: 20º encontro português de Computação gráfica, pp. 73–79, 2012.
Dixit, M., A. Casimiro, P. Lollini, A. Bondavalli, and P. Verissimo, "Adaptare: Supporting automatic and dependable adaptation in dynamic environments", ACM Transactions on Autonomous and Adaptive Systems (TAAS), vol. 7, no. 2: ACM, pp. 18, 2012.
Dixit, M., and A. Casimiro, "Adaptare-FD: A Dependability-Oriented Adaptive Failure Detector.", SRDS, pp. 141–147, 2010.
Cámara, J., A. Lopes, D. Garlan, and B. Schmerl, "Adaptation impact and environment models for architecture-based self-adaptive systems", Science of Computer Programming, vol. 127: Elsevier, pp. 50–75, 2016.
Costa, D., and C. Duarte, "Adapting Multimodal Fission to User's Abilities", Universal Access in Human-Computer Interaction. Design for All and eInclusion: Springer, pp. 347–356, 2011.
Costa, D., and C. Duarte, "Adapting TV based applications' user interface", Proceedings of the IADIS international conference interfaces and human computer interaction (IHCI 2012), 2012.
Lima, R., C. Baquero, and H. Miranda, "Adaptive Broadcast Cancellation Query Mechanism for Unstructured Networks", Proceedings of the 9th International Conference on Next Generation Mobile Applications, Services and Technologies (NGMAST 2015), Cambridge, UK, 2015.
Ssu, K-F., B. Yao, K. W Fuchs, and N. Ferreira Neves, "Adaptive checkpointing with storage management for mobile environments", IEEE Transactions on Reliability, vol. 48, no. 4, pp. 315–324, 1999.
Rodrigues, L., S. B. Handurukande, J. Pereira, R. Guerraoui, and A-M. Kermarrec, "Adaptive gossip-based broadcast", International Conference on Dependable Systems and Networks, no. LPD-CONF-2006-019, 2003.
Pombinho, P., M. Beatriz Carmo, and A. Paula Afonso, "Adaptive mobile visualization-the chameleon framework", Computer Science and Information Systems, no. 00, pp. 4–4, 2015.
Feiteira, P., and C. Duarte, "Adaptive multimodal fusion", Universal Access in Human-Computer Interaction. Design for All and eInclusion: Springer, pp. 373–380, 2011.
Almeida, C., and P. Verissimo, "An adaptive real-time group communication protocol", Factory Communication Systems, 1995. WFCS'95, Proceedings., 1995 IEEE International Workshop on: IEEE, pp. 63–71, 1995.
Neves, N. Ferreira, and K. W Fuchs, "Adaptive recovery for mobile environments", High-Assurance Systems Engineering Workshop, 1996. Proceedings., IEEE: IEEE, pp. 134–141, 1996.
Cosquer, F. J. N., P. Antunes, N. Guimarães, and P. Verissimo, Adaptive Synchronous Cooperation over Large Scale Networks, : Technical Report RT-95, INESC, Rua Alves Redol 9, 1995.
Schmidt, H., R. Kapitza, F. J. Hauck, and H. P. Reiser, "Adaptive web service migration", Distributed Applications and Interoperable Systems: Springer Berlin Heidelberg, pp. 182–195, 2008.
Antunes, P., and H. Mourão, "Adding a resilience-enhanced component to the WfMC reference architecture.", CSCWD, pp. 558–563, 2009.
Silva, M. J., B. Martins, M. Chaves, A. Paula Afonso, and N. Cardoso, "Adding geographic scopes to web resources", Computers, Environment and Urban Systems, vol. 30, no. 4: Elsevier, pp. 378–399, 2006.
Marques, G., M. Lopes, M. Sordo, T. Langlois, and F. Gouyon, "Additional evidence that common low-level features of individual audio frames are not representative of music genres", Sound and Music Computing Conference, Barcelona, 2010.
Loff, J. F., M. Palahí, A. O. Falcao, H. Martins, and J. G. Borges, "Addressing sustainability concerns in Mediterranean forest ecosystem management", MEDFOREX Program, Forest Technology Centre of Catalonia, pp. 1–9, 2008.
Falcao, A. O., Addressing the computational complexity of harvest scheduling problems for short rotation species: Heuristics or Integer Programming?, : International Conference of Interdisciplinary Mathematical & Statistical Techniques, 2006.
Antunes, P., J. Ramires, and A. Respicio, "Addressing the conflicting dimension of groupware: A case study in software requirements validation", Computing and Informatics, vol. 25, no. 6, pp. 523–546, 2012.
Domingos, D., F. Martins, R. Martinho, and M. J. Silva, "Ad-hoc changes in IoT-aware business processes", Internet of Things (IOT), 2010: IEEE, pp. 1–7, 2010.
Couto, F., and M. J. Silva, "Advanced Data Mining Techonologies in Bioinformatics, chapter Mining the BioLiterature: towards automatic annotation of genes and proteins", Idea Group Inc, 2006.
Mostrous, D., and V. T. Vasconcelos, "Affine Sessions", Coordination Models and Languages, 2014.
Faria, D., C. Pesquita, E. Santos, I.. Cruz, and F. Couto, "AgreementMakerLight 2.0: Towards Efficient Large-Scale Ontology Matching", International Semantic Web Conference (ISWC), 2014.
Faria, D., C. Pesquita, E. Santos, I. F. Cruz, and F. Couto, "AgreementMakerLight: A Scalable Automated Ontology Matching System", DILS 2014, pp. 29, 2014.
Faria, D., C. Pesquita, E. Santos, M. Palmonari, I. F. Cruz, and F. Couto, "The agreementmakerlight ontology matching system", On the Move to Meaningful Internet Systems: OTM 2013 Conferences: Springer Berlin Heidelberg, pp. 527–541, 2013.
Faria, D., C. Pesquita, E. Santos, I. F. Cruz, and F. Couto, "AgreementMakerLight results for OAEI 2013.", OM, pp. 101–108, 2013.
Faria, D., C. Pesquita, E. Santos, I. F. Cruz, and F. Couto, "AgreementMakerLight Results for OAEI 2013", Ontology Matching, pp. 101, 2013.
Faria, D., C. Martins, A.. Nanavaty, A.. Taheriand, C. Pesquita, E. Santos, I.. Cruz, and F. Couto, "AgreementMakerLight results for OAEI 2014", The Ninth International Workshop on Ontology Matching (OM-2013), 2014.
Santos, A. L., "AGUIA/J: a tool for interactive experimentation of objects", Proceedings of the 16th annual joint conference on Innovation and technology in computer science education: ACM, pp. 43–47, 2011.
Rodrigues, A., L. Camacho, H. Nicolau, K. Montague, and T. Guerreiro, "Aidme: interactive non-visual smartphone tutorials", Proceedings of the 20th International Conference on Human-Computer Interaction with Mobile Devices and Services Adjunct: ACM, pp. 205–212, 2018.
Rufino, J., and S. Filipe, AIR Project final report, : Department of Informatics, University of Lisbon, 2007.
Rufino, J., and S. Filipe, AIR Project Summary Report, : Department of Informatics, University of Lisbon, 2007.
Rufino, J., J. Craveiro, T. Schoofs, C. Tatibana, and J. Windsor, "AIR Technology: a step towards ARINC 653 in space", Proc. DASIA, 2009.
Rufino, J., J. Craveiro, T. Schoofs, J. Cristóvão, S. Santos, and C. Tatibana, "AIR: Technology innovation for future spacecraft onboard computing systems", EUROCON-International Conference on Computer as a Tool (EUROCON), 2011 IEEE: IEEE, pp. 1–2, 2011.
Ravara, A., P. Resende, and V. T. Vasconcelos, "An algebra of behavioural types", Information and Computation, vol. 212: Academic Press, pp. 64–91, 2012.
Fiadeiro, J. Luiz, and A. Lopes, "An algebraic semantics of event-based architectures", Mathematical Structures in Computer Science, vol. 17, no. 05: Cambridge University Press, pp. 1029–1073, 2007.
Fiadeiro, J. Luiz, A. Lopes, and L. Bocchi, "Algebraic semantics of service component modules", Recent Trends in Algebraic Development Techniques: Springer Berlin Heidelberg, pp. 37–55, 2007.
Miranda, H., S. Leggio, L. Rodrigues, and K. Raatikainen, "An algorithm for dissemination and retrieval of information in wireless ad hoc networks", Euro-Par 2007 Parallel Processing: Springer Berlin Heidelberg, pp. 891–900, 2007.
Miranda, H., S. Leggio, L. Rodrigues, and K. Raatikainen, "An algorithm for dissemination and retrieval of information in wireless ad hoc networks", Concurrency and Computation: Practice and Experience, vol. 21, no. 7: Wiley Online Library, pp. 889–904, 2009.
Miranda, H., S. Leggio, L. Rodrigues, and K. Raatikainen, "An algorithm for distributing and retrieving information in sensor networks", 10th International Conference Principles of Distributed Systems (OPODIS'06), pp. 31–45, 2006.
Langlois, T., {Algorithmes d'apprentissage par renforcement pour la commande adaptative: Texte imprimé, : Compiégne, 1992.
Langlois, T., Algorithmes d'apprentissage par renforcement pour la commande adaptative, , 1992.
Matos, J., and H. Miranda, Algoritmos de difusão para protocolos de encaminhamento em redes ad hoc sem fios, : INForum-Simpósio de Informática 2009, 2009.
E Rosario, D., E. Souza, F. Silva, and P. Madureira, "ALPROSTADIL AND SILDENAFILA IN THE TREATMENT OF VASCULAR COMPLICATIONS OF SYSTEMIC SCLEROSIS", CLINICAL AND EXPERIMENTAL RHEUMATOLOGY, vol. 28, no. 2: CLINICAL & EXPER RHEUMATOLOGY VIA SANTA MARIA 31, 56126 PISA, ITALY, pp. S161–S161, 2010.
Antunes, P., S. Relvas, and M. Borges, "Alternative dispute resolution based on the storytelling technique", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 15–31, 2007.
Chambel, T., R. Kaiser, O. Niamut, W. Tsang Ooi, and J. A. Redi, "AltMM 2016: 1st International Workshop on Multimedia Alternate Realities", Proceedings of the 2016 ACM on Multimedia Conference: ACM, pp. 1481–1482, 2016.
Chambel, T., R. Kaiser, O. Niamut, WT. Ooi, and JA. Redi, "AltMM 2016: First ACM International Workshop on Multimedia Alternate Realities welcome", 1st ACM International Workshop on Multimedia Alternate Realities, AltMM 2016. 16 October 2016, vii: Association for Computing Machinery, Inc, 2016.
Chambel, T., R. Kaiser, O. Niamut, and WT. Ooi, "AltMM 2017-2nd international workshop on multimedia alternate realities", 25th ACM International Conference on Multimedia, MM 2017. 23 October 2017 through 27 October 2017, 1969-1970: Association for Computing Machinery, Inc, 2017.
Chambel, T., F. De Simone, R. Kaiser, N. Ranasinghe, and W. Van den Broeck, "AltMM 2018-3rd International Workshop on Multimedia Alternate Realities", 2018 ACM Multimedia Conference on Multimedia Conference: ACM, pp. 2109–2110, 2018.
Pascoal, E., J. Rufino, T. Schoofs, and J. Windsor, "AMOBA-ARINC 653 simulator for modular based space applications", emergency, vol. 10, pp. 2, 2008.
Verissimo, P., L. Rodrigues, and M. Baptista, "Amp: A highly parallel atomic multicast protocol", ACM SIGCOMM Computer Communication Review, vol. 19, no. 4: ACM, pp. 83–93, 1989.

Pages