Publications

Export 2067 results:
Book Chapter
Antunes, P., Sapateiro C., Pino J. A., Herskovic V., & Ochoa S. F. (2010).  Awareness checklist: reviewing the quality of awareness support in collaborative applications. Collaboration and Technology. 202–217.
Schmidt, H., Kapitza R., Hauck F. J., & Reiser H. P. (2007).  AWSM: infrastructure for adaptive web service migration. On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops. 3–4.
Cruz-Filipe, L., Lanese I., Martins F., Ravara A., & Vasconcelos V. T. (2008).  Behavioural theory at work: program transformations in a service-centred calculus. Formal Methods for Open Object-Based Distributed Systems. 59–77.
Chambel, T., Oliveira E., & Martins P. (2011).  Being happy, healthy and whole watching movies that affect our emotions. Affective Computing and Intelligent Interaction. 35–45.
Nunes, I., Lopes A., & Vasconcelos V. T. (2009).  Bridging the gap between algebraic specification and object-oriented generic programming. Runtime Verification. 115–131.
Alchieri, E., Bessani A. Neves, Greve F., & Fraga J. da Silva (2012).  Brief announcement: decoupled and consensus-free reconfiguration for fault-tolerant storage. Distributed Computing. 443–444.
Bessani, A. Neves, Correia M., Fraga J. da Silva, & L Lung C. (2006).  Brief announcement: Decoupled quorum-based Byzantine-resilient coordination in open distributed systems. Distributed Computing. 554–556.
Casimiro, A., Kaiser J., Karlsson J., Schiller E. Michael, Tsigas P., Costa P., et al. (2012).  Brief announcement: Karyon: Towards safety kernels for cooperative vehicular systems. Stabilization, Safety, and Security of Distributed Systems. 232–235.
Maria, N., & Silva M. J. (2000).  Building a digital library of web news. Research and Advanced Technology for Digital Libraries. 344–347.
Rufino, J., Craveiro J., & Verissimo P. (2010).  Building a time-and space-partitioned architecture for the next generation of space vehicle avionics. Software Technologies for Embedded and Ubiquitous Systems. 179–190.
Rosa, L., Rodrigues L., & Lopes A. (2007).  Building adaptive systems with service composition frameworks. On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS. 754–771.
Duarte, C., Costa D., Feiteira P., & Costa D. (2013).  Building an Adaptive Multimodal Framework for Resource Constrained Systems. A Multimodal End-2-End Approach to Accessible Computing. 155–173.
Carriço, L., Duarte C., Lopes R., Rodrigues M., & Guimarães N. (2005).  Building Rich User Interfaces for Digital Talking Books. Computer-Aided Design of User Interfaces IV. 335–348.
Alchieri, E. A. P., Bessani A. Neves, Fraga J. da Silva, & Greve F. (2008).  Byzantine consensus with unknown participants. Principles of Distributed Systems. 22–40.
Verissimo, P., & Rodrigues L. (2001).  Case Study: Making VP'63 Dependable. Distributed Systems for System Architects. 271–274.
Verissimo, P., & Rodrigues L. (2001).  Case Study: Making VP'63 Secure. Distributed Systems for System Architects. 511–516.
Verissimo, P., & Rodrigues L. (2001).  Case Study: Making VP'63 Timely. Distributed Systems for System Architects. 369–373.
Verissimo, P., & Rodrigues L. (2001).  Case Study: Managing VP'63. Distributed Systems for System Architects. 581–584.
Verissimo, P., & Rodrigues L. (2001).  Case Study: VP'63-The Vintageport'63 Large-Scale Information System. Distributed Systems for System Architects. 159–168.
Lamurias, A., Ferreira J., & Couto F. (2014).  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). 253–260.
de Sá, M., Carriço L., Faria J., & Sá I. (2012).  Children Psychotherapy with Mobile Devices. Human-Computer Interaction: The Agency Perspective. 85–109.
Mourão, H., & Antunes P. (2005).  A collaborative framework for unexpected exception handling. Groupware: Design, implementation, and use. 168–183.
Chambel, T., & Guimarães N. (2002).  Communicating and learning mathematics with hypervideo. Multimedia tools for communicating mathematics. 79–91.
Videira, I., Verissimo P., & Sarmento H. (1995).  Communication in a Distributed Environment. Electronic Design Automation Frameworks. 121–130.
Carriço, L., Duarte L., Broega A., & Reis D. (2008).  Comparing Usage Performance on Mobile Applications. Groupware: Design, Implementation, and Use. 233–247.

Pages