Practical Neurophysiological Analysis of Readability as a Usability Dimension. Human Factors in Computing and Informatics. 194–211.(2013).
Proactive Byzantine Quorum Systems. On the Move to Meaningful Internet Systems: OTM 2009. 708–725.(2009).
Programming Wireless Sensor Networks. Middleware for Network Eccentric and Mobile Applications. 25–41.(2009).
Quorum-based replication in asynchronous crash-recovery distributed systems. Euro-Par 2000 Parallel Processing. 605–608.(2000).
Real-Time Systems Foundations. Distributed Systems for System Architects. 277–288.(2001).
Redefining assumptions: accessibility and its stakeholders. Computers Helping People with Special Needs. 561–568.(2010).
Reflections on Teaching Human-Computer Interaction to Blind Students. Creativity and HCI: From Experience to Design in Education. 123–142.(2009).
Reliable multicasting in high-speed LANs. High-Capacity Local and Metropolitan Area Networks. 397–412.(1991).
Results from multi-dimensional accessibility assessment. Universal Access in Human-Computer Interaction. Design for All and eInclusion. 187–196.(2011).
A review of CRIWG research. Collaboration and Technology. 1–15.(2010).
Risk assessment in healthcare collaborative settings: A case study using SHELL. Groupware: Design, Implementation, and Use. 65–73.(2008).
Run-time switching between total order algorithms. Euro-Par 2006 Parallel Processing. 582–591.(2006).
Runtime Verification for Generic Classes with ConGu 2. Formal Methods: Foundations and Applications. 33–48.(2011).
SaGISC: a geo-collaborative system. Groupware: Design, Implementation, and Use. 175–191.(2004).
Secure Systems and Platforms. Distributed Systems for System Architects. 487–510.(2001).
Security Made, Not Perfect, But Automatic. Security Protocols XVIII. 217–223.(2014).
Security Made, Not Perfect, But Automatic (Transcript of Discussion). Security Protocols XVIII. 224–232.(2014).
Security Paradigms. Distributed Systems for System Architects. 395–426.(2001).
Self-management of Distributed Systems Using High-Level Goal Policies. Software Engineering for Self-Adaptive Systems II. 162–190.(2013).
A Semantic Accessibility Assessment Environment for Design and Development for the Web. Universal Access in Human-Computer Interaction. Applications and Services. 803–813.(2009).
Semantic Data Integration. Handbook of Big Data Technologies . pp 263-305.(2017).
Semantic Data Integration. Handbook of Big Data Technologies. 263–305.(2017).
Semantically Reliable Broadcast. Concurrency in Dependable Computing. 189–207.(2002).
The Sensoria reference modelling language. Rigorous software engineering for service-oriented systems. 61–114.(2011).
Session typing for a featherweight Erlang. Coordination Models and Languages. 95–109.(2011).