Publications

Export 2069 results:
Book
Rodrigues, L., & Chen W-S. Eric (2002).  22nd International Conference on Distributed Computing Systems: ICDCS 2002: Proceedings: 2-5 July, 2002, Vienna, Austria.
Guerraoui, R., & Rodrigues L. (2003).  Abstractions for Distributed Programming.
Casimiro, A., & de Lemos R. (2010).  Architecting dependable systems VII. 6420,
Cruz-Filipe, L., Martins F., & Vasconcelos V. T. (2007).  The Automotive Case Study in the Sensoria Core Calculi.
Rufino, J., Verissimo P., & Arroz G. (2002).  CAN Bus Media Redundancy.
Caires, L., & Vasconcelos V. T. (2007).  CONCUR 2007-Concurrency Theory: 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings. 4703,
Field, J., & Vasconcelos V. T. (2009).  Coordination Models and Languages: 11th International Conference, COORDINATION 2009, Lisbon, Portugal, June 9-12, 2009, Proceedings. 5521,
Verissimo, P., Neves N. Ferreira, Correia M., Deswarte Y., Kalan A. Abou El, Bondavalli A., et al. (2008).  The CRUTIAL Architecture for Critical Information Infrastructures, Architecting Dependable Systems V.
Verissimo, P., & Rodrigues L. (2001).  Distributed systems for system architects. 1,
Neves, N. Ferreira, & Verissimo P. (2002).  First Specification of APIs and Protocols for the MAFTIA Middleware.
Baptista, M., Graf S., Richier JL., Rodrigues L., Rodriguez C., Verissimo P., et al. (1991).  Formal Specification and Verification of a Network Independent Atomic Multicast Protocol.
Lee, D., Lopes A., & Poetzsch-Heffter A. (2009).  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. 5522,
Dwyer, M. B., & Lopes A. (2007).  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.
Briggs, R. O., Antunes P., de Vreede G-J., & Read A. S. (2008).  Groupware: Design, Implementation, and Use: 14th International Workshop, CRIWG 2008, Omaha, NE, USA, September 14-18, 2008, Revised Selected Papers. 5411,
Bidarra, J., Guimarães N., & Kommers P. Antonius M. (2001).  Handling Hypermedia Complexity: Fractal Hyperscapes and Mind Mapping.
Bidarra, J., Guimarães N., & Kommers P. (2004).  Hypermedia complexity: Fractal hyperscapes and mind mapping.
Guerraoui, R., & Rodrigues L. (2004).  Introduction to distributed algorithms.
Guerraoui, R., & Rodrigues L. (2006).  Introduction to reliable distributed programming.
Garbinato, B\^ıt., Miranda H., & Rodrigues L. (2009).  Middleware for Network Eccentric and Mobile Applications.
Lopes, L., Martins F., & Barros J. (2009).  Middleware for Network Eccentric and Mobile Applications, chapter 2.
de Sá, M., Duarte C., & Carriço L. (2008).  Mobile interaction design: Techniques for early stage in-situ design.
Correia, N., Chambel T., & Davenport G. (1999).  Multimedia '99: Proceedings of the Eurographics Workshop in Milano, Italy, September 7–8, 1999.
Biswas, P., Duarte C., Langdon P., Almeida L., & Jung C. (2013).  A Multimodal End-2-End Approach to Accessible Computing.
Dixit, M., Casimiro A., & Verissimo P. (2009).  Probabilistic Adaptive Time-Aware Consensus.
Lanese, I., Lafuente A. Lluch, Sokolova A., & Vieira H. Torres (2014).  Proceedings of the 7th Interaction and Concurrency Experience (ICE 2014).

Pages