Awareness checklist: reviewing the quality of awareness support in collaborative applications. Collaboration and Technology. 202–217.(2010).
AWSM: infrastructure for adaptive web service migration. On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops. 3–4.(2007).
Behavioural theory at work: program transformations in a service-centred calculus. Formal Methods for Open Object-Based Distributed Systems. 59–77.(2008).
Being happy, healthy and whole watching movies that affect our emotions. Affective Computing and Intelligent Interaction. 35–45.(2011).
Bridging the gap between algebraic specification and object-oriented generic programming. Runtime Verification. 115–131.(2009).
Brief announcement: decoupled and consensus-free reconfiguration for fault-tolerant storage. Distributed Computing. 443–444.(2012).
Brief announcement: Decoupled quorum-based Byzantine-resilient coordination in open distributed systems. Distributed Computing. 554–556.(2006).
Brief announcement: Karyon: Towards safety kernels for cooperative vehicular systems. Stabilization, Safety, and Security of Distributed Systems. 232–235.(2012).
Building a digital library of web news. Research and Advanced Technology for Digital Libraries. 344–347.(2000).
Building a time-and space-partitioned architecture for the next generation of space vehicle avionics. Software Technologies for Embedded and Ubiquitous Systems. 179–190.(2010).
Building adaptive systems with service composition frameworks. On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS. 754–771.(2007).
Building an Adaptive Multimodal Framework for Resource Constrained Systems. A Multimodal End-2-End Approach to Accessible Computing. 155–173.(2013).
Building Rich User Interfaces for Digital Talking Books. Computer-Aided Design of User Interfaces IV. 335–348.(2005).
Byzantine consensus with unknown participants. Principles of Distributed Systems. 22–40.(2008).
Case Study: Making VP'63 Dependable. Distributed Systems for System Architects. 271–274.(2001).
Case Study: Making VP'63 Secure. Distributed Systems for System Architects. 511–516.(2001).
Case Study: Making VP'63 Timely. Distributed Systems for System Architects. 369–373.(2001).
Case Study: Managing VP'63. Distributed Systems for System Architects. 581–584.(2001).
Case Study: VP'63-The Vintageport'63 Large-Scale Information System. Distributed Systems for System Architects. 159–168.(2001).
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.(2014).
Children Psychotherapy with Mobile Devices. Human-Computer Interaction: The Agency Perspective. 85–109.(2012).
A collaborative framework for unexpected exception handling. Groupware: Design, implementation, and use. 168–183.(2005).
Communicating and learning mathematics with hypervideo. Multimedia tools for communicating mathematics. 79–91.(2002).
Communication in a Distributed Environment. Electronic Design Automation Frameworks. 121–130.(1995).
Comparing Usage Performance on Mobile Applications. Groupware: Design, Implementation, and Use. 233–247.(2008).