Publications

Export 2272 results:
Book
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.
Guerraoui, R., and L. Rodrigues, Abstractions for Distributed Programming, : preparation, 2003.
Casimiro, A., and R. de Lemos, Architecting dependable systems VII, , vol. 6420: Springer, 2010.
Cruz-Filipe, L., F. Martins, and V. T. Vasconcelos, The Automotive Case Study in the Sensoria Core Calculi, : June, 2007.
Rufino, J., P. Verissimo, and G. Arroz, CAN Bus Media Redundancy, : European Space Agency (ESA) ESTEC Spacecraft Control and Data Systems Division 1st. CAN in Space Workshop, Noordwijk, The Netherlands, 2002.
Caires, L., and V. T. Vasconcelos, CONCUR 2007-Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings, , vol. 4703: Springer Science & Business Media, 2007.
Field, J., and V. T. Vasconcelos, Coordination Models and Languages: 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings, , vol. 5521: Springer Science & Business Media, 2009.
Verissimo, P., N. Ferreira Neves, M. Correia, Y. Deswarte, A. Abou El Kalan, A. Bondavalli, and A. Daidone, The CRUTIAL Architecture for Critical Information Infrastructures, Architecting Dependable Systems V, : Springer-Verlag, Berlin, Heidelberg, 2008.
Verissimo, P., and L. Rodrigues, Distributed systems for system architects, , vol. 1: Springer Science & Business Media, 2001.
Neves, N. Ferreira, and P. Verissimo, First Specification of APIs and Protocols for the MAFTIA Middleware, : University of Newcastle upon Tyne, Computing Science, 2002.
Baptista, M., S. Graf, JL. Richier, L. Rodrigues, C. Rodriguez, P. Verissimo, and J. Voiron, Formal Specification and Verification of a Network Independent Atomic Multicast Protocol, : FORMAL DESCRIPTION TECHNIQUES, III. IFIP. North-Holland, 1991.
Lee, D., A. Lopes, and A. Poetzsch-Heffter, Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009, Proceedings, , vol. 5522: Springer Science & Business Media, 2009.
Dwyer, M. B., and A. Lopes, Fundamental Approaches to Software Engineering: 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007: Proceedings, : Springer, 2007.
Briggs, R. O., P. Antunes, G-J. de Vreede, and A. S. Read, Groupware: Design, Implementation, and Use: 14th International Workshop, CRIWG 2008, Omaha, NE, USA, September 14-18, 2008, Revised Selected Papers, , vol. 5411: Springer Science & Business Media, 2008.
Bidarra, J., N. Guimarães, and P. Antonius M. Kommers, Handling Hypermedia Complexity: Fractal Hyperscapes and Mind Mapping, : Centre for Telematics and Information Technology, University of Twente, 2001.
Bidarra, J., N. Guimarães, and P. Kommers, Hypermedia complexity: Fractal hyperscapes and mind mapping, : IOS Press, Amesterdão, 2004.
Guerraoui, R., and L. Rodrigues, Introduction to distributed algorithms, : Springer, Heidelberg, 2004.
Guerraoui, R., and L. Rodrigues, Introduction to reliable distributed programming, : Springer Science & Business Media, 2006.
Garbinato, B\^ıt., H. Miranda, and L. Rodrigues, Middleware for Network Eccentric and Mobile Applications, : Springer-Verlag New York Inc, 2009.
Lopes, L., F. Martins, and J. Barros, Middleware for Network Eccentric and Mobile Applications, chapter 2, : Springer-Verlag, 2009.
de Sá, M., C. Duarte, and L. Carriço, Mobile interaction design: Techniques for early stage in-situ design, : INTECH Open Access Publisher, 2008.
Correia, N., T. Chambel, and G. Davenport, Multimedia '99: Proceedings of the Eurographics Workshop in Milano, Italy, September 7–8, 1999, : Springer, 1999.
Biswas, P., C. Duarte, P. Langdon, L. Almeida, and C. Jung, A Multimodal End-2-End Approach to Accessible Computing, : Springer, 2013.
Dixit, M., A. Casimiro, and P. Verissimo, Probabilistic Adaptive Time-Aware Consensus, : Eurosys, 2009.
Lanese, I., A. Lluch Lafuente, A. Sokolova, and H. Torres Vieira, Proceedings of the 7th Interaction and Concurrency Experience (ICE 2014), , 2014.
Oliveira, I., O. Grigore, N. Guimarães, NE. Mastorakis, V. Mladenov, Z. Bojkovic, S. Kartalopoulos, A. Varonides, M. Jha, and D. Simian, Reading detection based on electroencephalogram processing, , no. 13: WSEAS, 2009.
Falcao, A. O., and JG. Borges, SAGfLOR 2.0-Simulador de Alternativas de Gestão. Manual de Utilização, : Grupo de Economia e Planeamento em Recursos Florestais, Documento nº5, DEF, Lisboa, 1999.
Lopes, A., and R. de Lemos, Software Architecture: 11th European Conference, ECSA 2017, Canterbury, UK, September 11-15, 2017, Proceedings, , vol. 10475: Springer, 2017.
Cunha, S., L. Rodrigues, A. Silva, R. Gonçalves, and S. Silva, Verified File-System v1. 0, , vol. 27: Department of Informatics-University of Minho, Braga, September, 2007.
Book Chapter
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.
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.
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.
Araujo, F., and H. Miranda, "Ad Hoc Routing", Middleware for Network Eccentric and Mobile Applications: Springer Berlin Heidelberg, pp. 63–93, 2009.
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.
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.
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.
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.
Daidone, A., S. Chiaradonna, A. Bondavalli, and P. Verissimo, "Analysis of a redundant architecture for critical infrastructure protection", Architecting Dependable Systems V: Springer Berlin Heidelberg, pp. 78–100, 2008.
Carvalho, J., L. Duarte, and L. Carriço, "An analysis of player strategies and performance in audio puzzles", Entertainment Computing-ICEC 2012: Springer Berlin Heidelberg, pp. 349–362, 2012.
Antunes, P., M. R. S. Borges, J. A. Pino, and L. Carriço, "Analytic evaluation of groupware design", Computer Supported Cooperative Work in Design II: Springer Berlin Heidelberg, pp. 31–40, 2006.
Zurita, G., P. Antunes, L. Carriço, F. Baytelman, M. de Sá, and N. Baloian, "Analyzing the roles of PDA in meeting scenarios", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 364–380, 2006.
Bastos, H., B. Tavares, C. Pesquita, D. Faria, and F. Couto, "Application of Gene Ontology to gene identification", In Silico Tools for Gene Discovery: Humana Press, pp. 141–157, 2011.
Casimiro, A., J. Rufino, L. Marques, M. Calha, and P. Verissimo, "Applying architectural hybridization in networked embedded systems", Software Technologies for Embedded and Ubiquitous Systems: Springer Berlin Heidelberg, pp. 264–275, 2009.
Rufino, J., J. Craveiro, and P. Verissimo, "Architecting robustness and timeliness in a new generation of aerospace systems", Architecting dependable systems VII: Springer Berlin Heidelberg, pp. 146–170, 2010.
Fernandes, N., R. Lopes, and L. Carriço, "An architecture for multiple web accessibility evaluation environments", Universal Access in Human-Computer Interaction. Design for All and eInclusion: Springer Berlin Heidelberg, pp. 206–214, 2011.
Fernandes, N., and L. Carriço, "Assessing the effort of repairing the accessibility of web sites", Computers Helping People with Special Needs: Springer Berlin Heidelberg, pp. 396–403, 2012.
Martins, B., M. Chaves, and M. J. Silva, "Assigning geographical scopes to web pages", Advances in Information Retrieval: Springer Berlin Heidelberg, pp. 564–567, 2005.
Verissimo, P., "Assumptions: The Trojan Horses of Secure Protocols", Computer Network Security: Springer Berlin Heidelberg, pp. 34–41, 2007.
Domingos, D., A. Rito-Silva, and P. Veiga, "Authorization and access control in adaptive workflows", Computer Security–ESORICS 2003: Springer Berlin Heidelberg, pp. 23–38, 2003.
Verchere, D., O. Audouin, B. Berde, A. Chiosi, R. Douville, H. Pouyllau, P. Primet, M. Pasin, S. Soudan, T. Marcot, et al., "Automatic network services aligned with grid application requirements in CARRIOCAS project", Networks for Grid Applications: Springer Berlin Heidelberg, pp. 196–205, 2009.
Antunes, P., C. Sapateiro, J. A. Pino, V. Herskovic, and S. F. Ochoa, "Awareness checklist: reviewing the quality of awareness support in collaborative applications", Collaboration and Technology: Springer Berlin Heidelberg, pp. 202–217, 2010.
Schmidt, H., R. Kapitza, F. J. Hauck, and H. P. Reiser, "AWSM: infrastructure for adaptive web service migration", On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops: Springer Berlin Heidelberg, pp. 3–4, 2007.
Cruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos, "Behavioural theory at work: program transformations in a service-centred calculus", Formal Methods for Open Object-Based Distributed Systems: Springer Berlin Heidelberg, pp. 59–77, 2008.
Chambel, T., E. Oliveira, and P. Martins, "Being happy, healthy and whole watching movies that affect our emotions", Affective Computing and Intelligent Interaction: Springer Berlin Heidelberg, pp. 35–45, 2011.
Nunes, I., A. Lopes, and V. T. Vasconcelos, "Bridging the gap between algebraic specification and object-oriented generic programming", Runtime Verification: Springer Berlin Heidelberg, pp. 115–131, 2009.
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.
Bessani, A. Neves, M. Correia, J. da Silva Fraga, and C. L Lung, "Brief announcement: Decoupled quorum-based Byzantine-resilient coordination in open distributed systems", Distributed Computing: Springer Berlin Heidelberg, pp. 554–556, 2006.
Casimiro, A., J. Kaiser, J. Karlsson, E. Michael Schiller, P. Tsigas, P. Costa, J. Parizi, R. Johansson, and R. Librino, "Brief announcement: Karyon: Towards safety kernels for cooperative vehicular systems", Stabilization, Safety, and Security of Distributed Systems: Springer Berlin Heidelberg, pp. 232–235, 2012.
Maria, N., and M. J. Silva, "Building a digital library of web news", Research and Advanced Technology for Digital Libraries: Springer Berlin Heidelberg, pp. 344–347, 2000.
Rufino, J., J. Craveiro, and P. Verissimo, "Building a time-and space-partitioned architecture for the next generation of space vehicle avionics", Software Technologies for Embedded and Ubiquitous Systems: Springer Berlin Heidelberg, pp. 179–190, 2010.
Rosa, L., L. Rodrigues, and A. Lopes, "Building adaptive systems with service composition frameworks", On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS: Springer Berlin Heidelberg, pp. 754–771, 2007.
Duarte, C., D. Costa, P. Feiteira, and D. Costa, "Building an Adaptive Multimodal Framework for Resource Constrained Systems", A Multimodal End-2-End Approach to Accessible Computing: Springer London, pp. 155–173, 2013.
Carriço, L., C. Duarte, R. Lopes, M. Rodrigues, and N. Guimarães, "Building Rich User Interfaces for Digital Talking Books", Computer-Aided Design of User Interfaces IV: Springer Netherlands, pp. 335–348, 2005.
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.
Verissimo, P., and L. Rodrigues, "Case Study: Making VP'63 Dependable", Distributed Systems for System Architects: Springer US, pp. 271–274, 2001.
Verissimo, P., and L. Rodrigues, "Case Study: Making VP'63 Secure", Distributed Systems for System Architects: Springer US, pp. 511–516, 2001.
Verissimo, P., and L. Rodrigues, "Case Study: Making VP'63 Timely", Distributed Systems for System Architects: Springer US, pp. 369–373, 2001.
Verissimo, P., and L. Rodrigues, "Case Study: Managing VP'63", Distributed Systems for System Architects: Springer US, pp. 581–584, 2001.
Verissimo, P., and L. Rodrigues, "Case Study: VP'63-The Vintageport'63 Large-Scale Information System", Distributed Systems for System Architects: Springer US, pp. 159–168, 2001.
Lamurias, A., J. Ferreira, and F. Couto, "Chemical named entity recognition: Improving recall using a comprehensive list of lexical features", 8th International Conference on Practical Applications of Computational Biology & Bioinformatics (PACBB 2014): Springer International Publishing, pp. 253–260, 2014.
de Sá, M., L. Carriço, J. Faria, and I. Sá, "Children Psychotherapy with Mobile Devices", Human-Computer Interaction: The Agency Perspective: Springer Berlin Heidelberg, pp. 85–109, 2012.
Mourão, H., and P. Antunes, "A collaborative framework for unexpected exception handling", Groupware: Design, implementation, and use: Springer Berlin Heidelberg, pp. 168–183, 2005.
Chambel, T., and N. Guimarães, "Communicating and learning mathematics with hypervideo", Multimedia tools for communicating mathematics: Springer Berlin Heidelberg, pp. 79–91, 2002.
Videira, I., P. Verissimo, and H. Sarmento, "Communication in a Distributed Environment", Electronic Design Automation Frameworks: Springer US, pp. 121–130, 1995.
Carriço, L., L. Duarte, A. Broega, and D. Reis, "Comparing Usage Performance on Mobile Applications", Groupware: Design, Implementation, and Use: Springer Berlin Heidelberg, pp. 233–247, 2008.
Falcao, A. O., and J. Guilherme Borges, "Comparison of Heuristics for Spatially Constrained Natural Resource Management Problems", Systems Analysis in Forest Resources: Springer Netherlands, pp. 269–277, 2003.
Correia, N., and N. Guimarães, "Components for video processing applications", Multimedia'96: Springer Vienna, pp. 44–52, 1996.
Franco, J., and V. T. Vasconcelos, "A concurrent programming language with refined session types", Software Engineering and Formal Methods: Springer International Publishing, pp. 15–28, 2014.
Fiadeiro, J. Luiz, and A. Lopes, "Consistency of service composition", Fundamental Approaches to Software Engineering: Springer Berlin Heidelberg, pp. 63–77, 2012.
Domingos, D., R. Martinho, and J. Varajao, "Controlled Flexibility in Healthcare Processes: A BPMN-Extension Approach", Encyclopedia of E-Health and Telemedicine: IGI Global, pp. 521–535, 2016.
Cogumbreiro, T., F. Martins, and V. T. Vasconcelos, "Coordinating phased activities while maintaining progress", Coordination Models and Languages: Springer Berlin Heidelberg, pp. 31–44, 2013.
Caires, L., R. De Nicola, R. Pugliese, V. T. Vasconcelos, and G. Zavattaro, "Core calculi for service-oriented computing", Rigorous software engineering for service-oriented systems: Springer Berlin Heidelberg, pp. 153–188, 2011.
Duarte, L., and L. Carriço, "Coupling interaction and physiological metrics for interaction adaptation", Human-Computer Interaction–INTERACT 2011: Springer Berlin Heidelberg, pp. 499–502, 2011.
Verissimo, P., N. Ferreira Neves, M. Correia, Y. Deswarte, A. Abou El Kalan, A. Bondavalli, and A. Daidone, "The CRUTIAL architecture for critical information infrastructures", Architecting Dependable Systems V: Springer Berlin Heidelberg, pp. 1–27, 2008.
Verissimo, P., N. Ferreira Neves, and M. Correia, "CRUTIAL: The blueprint of a reference critical information infrastructure architecture", Critical Information Infrastructures Security: Springer Berlin Heidelberg, pp. 1–14, 2006.
Borges, J. G., A. O. Falcao, C. Miragaia, P. Marques, and M. Marques, "A decision support system for forest ecosystem management in Portugal", Systems Analysis in Forest Resources: Springer Netherlands, pp. 155–163, 2003.
Duarte, L., P. Ribeiro, T. Guerreiro, and L. Carriço, "Defining a Design Space for Persuasive Cooperative Interactions in Mobile Exertion Applications", Collaboration and Technology: Springer International Publishing, pp. 105–112, 2014.
W Fuchs, K., N. Ferreira Neves, and K-F. Ssu, "Dependable distributed and mobile computing–utilizing time to enhance recovery from failures", Dependable Network Computing: Springer US, pp. 315–339, 2000.
Verissimo, P., and L. Rodrigues, "Dependable Systems and Platforms", Distributed Systems for System Architects: Springer US, pp. 259–270, 2001.
Noronha, N., J. P. Campos, D. Gomes, M. J. Silva, and J. Borbinha, "A deposit for digital collections", Research and Advanced Technology for Digital Libraries: Springer Berlin Heidelberg, pp. 200–212, 2001.
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.
Gomes, D., S. Freitas, and M. J. Silva, "Design and selection criteria for a national web archive", Research and Advanced Technology for Digital Libraries: Springer Berlin Heidelberg, pp. 196–207, 2006.
Rufino, J., P. Verissimo, and G. Arroz, "Design of bus media redundancy in CAN", Fieldbus Technology: Springer Vienna, pp. 375–380, 1999.
Brun, Y., R. Desmarais, K. Geihs, M. Litoiu, A. Lopes, M. Shaw, and M. Smit, "A design space for self-adaptive systems", Software Engineering for Self-adaptive Systems II: Springer Berlin Heidelberg, pp. 33–50, 2013.
de Sá, M., and L. Carriço, "Designing for mobile devices: Requirements, low-fi prototyping and evaluation", Human-Computer Interaction. Interaction Platforms and Techniques: Springer Berlin Heidelberg, pp. 260–269, 2007.
Silva, M. J., and A. Paula Afonso, "Designing information appliances using a resource replication model", Handheld and Ubiquitous Computing: Springer Berlin Heidelberg, pp. 150–157, 1999.
Coelho, J., T. Guerreiro, and C. Duarte, "Designing TV Interaction for the Elderly–A Case Study of the Design for All Approach", A Multimodal End-2-End Approach to Accessible Computing: Springer London, pp. 49–69, 2013.
Reis, T., M. de Sá, and L. Carriço, "Designing Universally Accessible Mobile Multimodal Artefacts", Enterprise Information Systems: Springer Berlin Heidelberg, pp. 334–347, 2009.
de Sá, M., and L. Carriço, "Detecting learning difficulties on ubiquitous scenarios", Human-Computer Interaction. HCI Applications and Services: Springer Berlin Heidelberg, pp. 235–244, 2007.

Pages