Publications

Export 2272 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 
A
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.
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.
Abreu, J., L. S. Reis, and V. T. Vasconcelos, ConGu v. 1.50 Implementation Guide, , 2007.
Abreu, J., A. Caldeira, A. Lopes, I. Nunes, L. S. Reis, and V. T. Vasconcelos, DI–FCUL TR–07–7, : Citeseer, 2007.
Abreu, J., A. Caldeira, A. Lopes, I. Nunes, L. S. Reis, and V. T. Vasconcelos, Congu, Checking Java Classes Against Property-Driven Algebraic Specifications, : Department of Informatics, University of Lisbon, 2007.
Abreu, J., L. Bocchi, J. Luiz Fiadeiro, and A. Lopes, "Specifying and composing interaction protocols for service-oriented system modelling", Formal Techniques for Networked and Distributed Systems–FORTE 2007: Springer Berlin Heidelberg, pp. 358–373, 2007.
Achichi, M., M. Cheatham, Z. Dragisic, J. Euzenat, D. Faria, A. Ferrara, G. Flouris, I. Fundulaki, I. Harrow, V. Ivanova, et al., "Results of the ontology alignment evaluation initiative 2016", CEUR workshop proceedings, vol. 1766: RWTH, pp. 73–129, 2016.
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.
Adelsbach, A., C. Cachin, S. Creese, Y. Deswarte, K. Kursawe, J-C. Laprie, B. Pfitzmann, D. Powell, B. Randell, J. Riodan, et al., MAFTIA conceptual model and architecture, : Department of Informatics, University of Lisbon, 2001.
Adelsbach, A., C. Cachin, S. Creese, Y. Deswarte, K. Kursawe, J-C. Laprie, D. Powell, B. Randell, J. Riodan, P. Ryan, et al., Conceptual model and architecture of MAFTIA, : Department of Informatics, University of Lisbon, 2003.
Afonso, A. Paula, F. S. Regateiro, and M. J. Silva, Dynamic Channels: A New Methodology for Mobile Computing Applications, : Department of Informatics, University of Lisbon, 1998.
Afonso, A. Paula, Teaching Quality of Software at FCUL, : The Teaching of Quality in Information and Communication Technology Education Programs Workshop, 2007.
Afonso, A. Paula, F. S. Regateiro, and M. J. Silva, "Dynamic data delivery to mobile users", Database and Expert Systems Applications, 1999. Proceedings. Tenth International Workshop on: IEEE, pp. 121–126, 1999.
Afonso, A. Paula, Contribuições Metodológicas para o Desenvolvimento de Assistentes de Informação Personalizada, : Department of Informatics, University of Lisbon, 2004.
Afonso, A. Paula, and M. J. Silva, "Dynamic information dissemination to mobile users", Mobile Networks and Applications, vol. 9, no. 5: Kluwer Academic Publishers, pp. 529–536, 2004.
Afonso, A. Paula, and S. Freitas, Geographic Information Retrieval Systems for Mobile Devices, : The Mediterranean Journal of Computers and Networks, 2007.
Afonso, A. Paula, F. S. Regateiro, and M. J. Silva, Dynamic Channels: A New Development Methodology for Mobile Computing Applications, , 1998.
Afonso, A. Paula, F. S. Regateiro, and M. J. Silva, "UbiData: An adaptable framework for information dissemination to mobile users", Object-Oriented Technology: ECOOP'98 Workshop Reader: Springer Berlin Heidelberg, pp. 309–310, 1998.
Afonso, A. Paula, M. J. Silva, J. P. Campos, and F. S. Regateiro, "The design and implementation of the ubidata information dissemination framework", Handheld and Ubiquitous Computing: Springer Berlin Heidelberg, pp. 371–373, 1999.
Agapi, A., T. Kielmann, M. Pasin, S. Soudan, and P. Vicat- Blan Primet, Globally Optimal Bulk Data Transfers in Overlay Routing Networks, , 2008.
Agapi, A., S. Soudan, M. Pasin, PV-B. Primet, and T. Kielmann, "Optimizing deadline-driven bulk data transfers in overlay networks", Computer Communications and Networks, 2009. ICCCN 2009. Proceedings of 18th Internatonal Conference on: IEEE, pp. 1–8, 2009.
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.
Aguiar, H., M. Beatriz Carmo, P. Pombinho, and A. Paula Afonso, Pesquisas Baseadas na Localização e na Orientação em Dispositivos Móveis, : EPCG'2009, 17º Encontro Português de Computação Gráfica, 2009.
Aires, R., S. Aluísio, P. Quaresma, D. Santos, and M. J. Silva, "An initial proposal for cooperative evaluation on information retrieval in Portuguese", Computational Processing of the Portuguese Language: Springer Berlin Heidelberg, pp. 227–234, 2003.
Alaluna, M., L. Ferrolho, J. Rui Figueira, N. Neves, and F. Ramos, "Secure Virtual Network Embedding in a Multi-Cloud Environment", arXiv preprint arXiv:1703.01313, 2017.
Alaluna, M., E. Vial, N. Neves, and F. M. V. Ramos, "Secure and Dependable Multi-Cloud Network Virtualization", Proceedings of the 1st International Workshop on Security and Dependability of Multi-Domain Infrastructures: ACM, pp. 2, 2017.
Alaluna, M., F. M. V. Ramos, and N. Neves, "(Literally) Above the clouds: Virtualizing the network over multiple clouds", NetSoft Conference and Workshops (NetSoft), 2016 IEEE: IEEE, pp. 112–115, 2016.
Alarcão, S. Meneses, "Reminiscence Therapy Improvement using Emotional Information", 2017 Seventh International Conference on Affective Computing and Intelligent Interaction (ACII), San Antonio, Texas, USA, 2017.
Alarcão, S. Meneses, and M. J. Fonseca, "Identifying Emotions in Images from Valence and Arousal Ratings", Multimedia Tools and Applications, 2017.
Alarcao, S. Meneses, and M. J. Fonseca, "Emotions Recognition Using EEG Signals: A Survey", IEEE Transactions on Affective Computing, vol. PP, no. 99, pp. 1-1, 2017.
Alarcón, G. Zurita, P. Antunes, N. Baloian, L. Carriço, F. Baytelman, M. de Sá, and , Using PDAs in meetings: Patterns, architecture and components, : GRAZ UNIV TECHNOLGOY, INST INFORMATION SYSTEMS COMPUTER MEDIA-IICM, 2008.
Alarcón, G. Zurita, N. Baloian, F. Baytelman, A. Farias, P. Antunes, and , A Platform Supporting the Implementation of Collaborative Learning through Participatory Simulations, : Springer-Verlag, 2008.
Alarcón, G. Zurita, P. Antunes, N. Baloian, F. Baytelman, and , Mobile Sensemaking: Exploring Proximity and Mobile Applications in the Classroom, , 2007.
Alarcón, G. Zurita, N. Baloian, F. Baytelman, A. Farias, P. Antunes, and , A Framework like a tool for specify motivating Collaborative Learning Participatory Simulations, , 2007.
Alarcón, G. Zurita, P. Antunes, N. Baloian, F. Baytelman, A. Farias, and , Visually-Driven Decision Making Using Handheld Devices, , 2008.
Albrecht, S. V., B. Bouchard, J. S. Brownstein, D. L. Buckeridge, C. Caragea, K. M. Carter, A. Darwiche, B. Fortuna, Y. Francillette, S. Gaboury, et al., "Reports of the 2016 AAAI workshop program", AI Magazine, vol. 37, no. 3: AI Access Foundation, pp. 99–108, 2016.
Alcântara, J., T. Oliveira, and A. Bessani, GINJA: One-dollar Cloud-based Disaster Recovery for Databases, , 2017.
Alchieri, E. A. P., A. Neves Bessani, J. da Silva Fraga, and F. Greve, "Byzantine consensus with unknown participants", Principles of Distributed Systems: Springer Berlin Heidelberg, pp. 22–40, 2008.
Alchieri, E., A. Bessani, F. Greve, and J. Fraga, "Efficient and Modular Consensus-Free Reconfiguration for Fault-Tolerant Storage", arXiv preprint arXiv:1607.05344, 2016.
Alchieri, E., A. Neves Bessani, J. da Silva Fraga, and F. Greve, "Memória compartilhada em sistemas bizantinos dinâmicos", Anais XIII Workshop de Teste e Tolerância a Falhas, 2012.
Alchieri, E., A. Neves Bessani, F. Greve, and J. da Silva Fraga, "Brief announcement: decoupled and consensus-free reconfiguration for fault-tolerant storage", Distributed Computing: Springer Berlin Heidelberg, pp. 443–444, 2012.
Alchieri, E. Adílio, A. Neves Bessani, and J. da Silva Fraga, Infra-Estrutura com Segurança de Funcionamento para Cooperação de Web Services, : 26º Simpósio Brasileiro de Redes de Computadores, 2007.
Alchieri, E. Adilio Pel, A. Neves Bessani, F. Greve, and J. da Silva Fraga, "Modular Quorum Systems Reconfigurations", Computer Networks and Distributed Systems (SBRC), 2014 Brazilian Symposium on: IEEE, pp. 147–155, 2014.
Alchieri, E. A. P., A. Neves Bessani, F. Carlos Pereira, and J. da Silva Fraga, "Proactive Byzantine Quorum Systems", On the Move to Meaningful Internet Systems: OTM 2009: Springer Berlin Heidelberg, pp. 708–725, 2009.
Alchieri, E. A. P., A. Neves Bessani, J. da Silva Fraga, and F. Greve, Consenso Bizantino entre Participantes Desconhecidos, : WTF 2008: IX Workshop de Testes e Tolerância a Falhas, 2008.
Alchieri, E. Adilio Pel, A. Bessani, F. Greve, and J. da Silva Fraga, "Knowledge Connectivity Requirements for Solving Byzantine Consensus with Unknown Participants", IEEE Transactions on Dependable and Secure Computing: IEEE, 2016.
Alchieri, E. Adilio Pel, A. Neves Bessani, F. Carlos Pereira, and J. da Silva Fraga, Sistemas de Quóruns Bizantinos Pró-Ativos, : SBRC 2009: 27o Simposio Brasileiro de Redes de Computadores, 2009.
Alchieri, E. Adilio Pel, A. Neves Bessani, and J. da Silva Fraga, "A dependable infrastructure for cooperative web services coordination", Web Services, 2008. ICWS'08. IEEE International Conference on: IEEE, pp. 21–28, 2008.
Almeida, C., and P. Verissimo, The Quasi-Synchronous approach to Distributed Real-Time Databases, , 1996.
Almeida, C., and J. Rufino, "Interconnected embedded systems: Challenges and main problems to solve", In Proceedings of the 6th IEEE International Workshop on Factory Communication Systems (Work in Progress Sessions), Torino, Italy, 2006.
Almeida, L., P. Pedreiras, J. Ferreira, M. Calha, J. Alberto Fonseca, R. Marau, V. Silva, and E. Martins, "Online QoS Adaptation with the flexible time-triggered (FTT) communication paradigm", Handbook of real-time and embedded systems: Chapman & Hall/CRC, 2008.
Almeida, C., and P. Verissimo, Real-Time Communication in Quasi-Synchronous Systems. Providing Support for Dynamic Real-Time Applications, : Citeseer, 1996.
Almeida, C., J. Rufino, and P. Verissimo, DDRAFT: Supporting dynamic distributed real-time applications with fault-tolerance, : Technical Report CSTC RT-98-02, Centro de Sistemas Telemáticos e Computacionais do Instituto Superior Técnico, Lisboa, Portugal, 1998.
Almeida, L. B., T. Langlois, JD. Amaral, and A. Plakhov, "Parameter adaptation in stochastic optimization", On-Line Learning in Neural Networks, Publications of the Newton Institute, pp. 111–134, 1998.
Almeida, N., and L. Rodrigues, José Mocito Universidade de Lisboa, , 2004.
Almeida, C., P. Verissimo, and A. Casimiro, "The quasi-synchronous approach to fault-tolerant and real-time communication and processing", Lisboa, Portugal, jul, 1998.
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.
Almeida, C., M. Coutinho, and J. Rufino, Securing the Timeliness of Input/Output Event Handling in Real-Time Kernels, , 2005.
Almeida, C., and P. Verissimo, "Using light-weight groups to handle timing failures in quasi-synchronous systems", Real-Time Systems Symposium, 1998. Proceedings., The 19th IEEE: IEEE, pp. 430–439, 1998.
Almeida, T. Langlois L., A. D José, and , "On-line step size adaptation", INESC. 9 Rua Alves Redol, 1000, 1997.
Almeida, C., and P. Verissimo, "Timing failure detection and real-time group communication in quasi-synchronous systems", Real-Time Systems, 1996., Proceedings of the Eighth Euromicro Workshop on: IEEE, pp. 230–235, 1996.
Almeida, C., and P. Verissimo, Real-Time Group Communication in a Quasi-Synchronous System, : Citeseer, 1995.
Alves, J., A. Casimiro, and L. Marques, "Middleware support for adaptive real-time applications in wireless sensor networks", Dependable Computing: Springer Berlin Heidelberg, pp. 16–23, 2013.
Alves, S., B. Koldehofe, H. Miranda, and F. Taiani, "Design of a backup network for catastrophe scenarios", Proceedings of the 2009 International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly: ACM, pp. 613–617, 2009.
Amaral, R., T. Langlois, H. Meinedo, J. Neto, N. Souto, and I. Trancoso, "The development of a portuguese version of a media watch system.", INTERSPEECH, pp. 2689–2692, 2001.
Ancona, D., V. Bono, M. Bravetti, J. Campos, P-M. Deniélou, N. Gesbert, E. Giachino, R. Hu, E. Broch Johnsen, F. Martins, et al., "BETTY WG3–Languages: State of the Art Report", Report of the EU COST Action IC1201–Behavioural Types for Reliable Large-Scale Software Systems. www. behavioural-types. eu/publications/WG3-State-of-the-Art. pdf, 2014.
Ancona, D., V. Bono, M. Bravetti, J. Campos, G. Castagna, P-M. Deniélou, S. J. Gay, N. Gesbert, E. Giachino, R. Hu, et al., "Behavioral types in programming languages", Foundations and Trends® in Programming Languages, vol. 3, no. 2-3: Now Publishers, Inc., pp. 95–230, 2016.
Andrade, L., and M. J. Silva, "Relevance Ranking for Geographic IR.", GIR, 2006.
Andrade, L., and M. J. Silva, "Indexing Structures for Geographic Web Retrieval", Proceedings of the Conference on Mobile and Ubiquitous Systems (CSMU'06), Guimarães, Portugal, 2006.
Andrade, J., and A. Paula Afonso, Visualização de conteúdos geográficos em dispositivos móveis, , 2009.
André, P., and P. Antunes, "SaGISC: a geo-collaborative system", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 175–191, 2004.
Anhalt, F., G. Koslovski, M. Pasin, J-P. Gelas, P. Vicat- Blan Primet, and , "Les Infrastructures Virtuelles á la demande pour un usage flexible de l'Internet", JDIR'09: 10émes Journées Doctorales en Informatique et Réseaux, 2009.
Aniceto, M., J. Moura Pires, N. Datia, and A. Paula Afonso, "Browsing Multidimensional Visual Entities", Information Visualisation (IV), 2016 20th International Conference: IEEE, pp. 146–151, 2016.
Antunes, J., N. Ferreira Neves, and P. Verissimo, "Reverse engineering of protocols from network traces", Reverse Engineering (WCRE), 2011 18th Working Conference on: IEEE, pp. 169–178, 2011.
Antunes, P., "BPM and exception handling: Focus on organizational resilience", IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews, vol. 41, no. 3: Institute of Electrical and Electronics Engineers, Inc., 3 Park Avenue, 17 th Fl New York NY 10016-5997 USA, pp. 383–392, 2011.
Antunes, P., N. Guimarães, and R. Nunes, "Extending the user interface to the multiuser environment", ACM SIGOIS Bulletin, vol. 13, no. 1: ACM, pp. 5–7, 1992.
Antunes, P., J. Ferreira Dias, and , Organizational Integration of Meeting Results, : 2000 Industry, Engineering, and Management Systems International Conference, 2000.
Antunes, P., and N. Guimarães, "A distributed model and architecture for interactive cooperation", Distributed Computing Systems, 1993., Proceedings of the Fourth Workshop on Future Trends of: IEEE, pp. 143–149, 1993.
Antunes, P., and A. Ferreira, "Developing collaboration awareness support from a cognitive perspective", HICSS: 44th Hawaii international conference on System sciences: IEEE, 2011.
Antunes, P., and N. Guimarães, "Structuring elements for group interaction", Second Conference on Concurrent Engineering, Research and Applications (CE95): Citeseer, 1995.
Antunes, P., and C. J. Costa, "Perceived value: A low-cost approach to evaluate meetingware", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 109–125, 2003.
Antunes, P., N. Guimarães, and R. Nunes, "Extending the user interface to the multiuser environment", In ECSCW'91, CSCW Developers Workshop: Citeseer, 1991.
Antunes, P., D. Simões, L. Carriço, and J. A. Pino, "An end-user approach to business process modeling", Journal of Network and Computer Applications, vol. 36, no. 6: Academic Press, pp. 1466–1479, 2013.
Antunes, P., and N. Guimarães, "Transforming Formal and Informal Work Processes.", CRIWG, pp. 1–8, 1997.
Antunes, P., C. Sapateiro, G. Zurita, and N. Baloian, "Development of a mobile situation awareness tool supporting disaster recovery of business operations", Supporting Real Time Decision-Making: Springer US, pp. 337–360, 2011.
Antunes, P., C. J. Costa, and J. Alberto Pi Urtubia, The use of genre analysis in the design of electronic meeting systems, : UNIV SHEFFIELD DEPT INFORMATION STUDIES, 2006.
Antunes, P., N. Ferreira Neves, L. Carriço, P. Verissimo, R. Rocha, and F. Simões, "Projecto de Avaliação de Sistemas de Votação Electrónica–Resultados da Auditoria", Faculdade de Ciências da Universidade de Lisboa, 2004.
Antunes, P., M. R. S. Borges, J. A. Pino, and L. Carriço, On the Analysis of Groupware Usability Using Annotated GOMS, : Department of Informatics, University of Lisbon, 2004.
Antunes, P., and L. Carriço, "Modeling the information structures of meetingware", Proc. of Workshop de Sistemas de Informao Multimdia e Cooperativos (COOP-MEDIA'03), 2003.
Antunes, J., and N. Ferreira Neves, "Diveinto: Supporting diversity in intrusion-tolerant systems", Reliable Distributed Systems (SRDS), 2011 30th IEEE Symposium on: IEEE, pp. 137–146, 2011.
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.
Antunes, P., V. Herskovic, S. F. Ochoa, and J. A. Pino, "Structuring dimensions for collaborative systems evaluation", ACM Computing Surveys (CSUR), vol. 44, no. 2: ACM, pp. 8, 2012.
Antunes, J., and N. Ferreira Neves, "Building an automation towards reverse protocol engineering", 2012-10-10]. http://homepages. di. fc. ul. pt/\~{} nuno/PAPERS/INFORUM09. pdf, 2009.
Antunes, L., B. Bauwens, A. Souto, and A. Teixeira, "Sophistication vs Logical Depth", Theory of Computing Systems, vol. 60, pp. 280–298, Feb, 2017.
Antunes, P., and C. J. Costa, A descriptive framework for electronic meeting systems based on the UML language, : Department of Informatics, University of Lisbon, 2002.
Antunes, P., and C. J. Costa, "From genre analysis to the design of meetingware", Proceedings of the 2003 international ACM SIGGROUP conference on Supporting group work: ACM, pp. 302–310, 2003.
Antunes, LF., A. Souto, and PMB. Vitányi, "On the rate of decrease in logical depth", Theoretical Computer Science, vol. 702: Elsevier, pp. 60–64, 2017.
Antunes, P., and , Análise da Aplicabilidade dos Modelos de Argumentação na Resolução Alternativa de Conflitos, : 1ª Conferência Ibérica de Sistemas e Tecnologias de Informação, 2006.
Antunes, P., R. Bandeira, L. Carriço, and C. Grande, "Assessing risk in healthcare collaborative settings", Human Resources in Healthcare, Health Informatics and Healthcare Systems: Premier Reference Source Hershey, NY, pp. 154–166, 2011.
Antunes, P., and N. Guimarães, "Multiuser Interface Design in CSCW Systems", ESPRIT Basic, 1994.

Pages