1. Partitionable group membership for Mobile Ad hoc Networks;Journal of Parallel and Distributed Computing;2014-08
2. An Eventual alpha Partition-Participant Detector for MANETs;2012 Ninth European Dependable Computing Conference;2012-05
3. The SmartFrog configuration management framework;ACM SIGOPS Operating Systems Review;2009-01
4. On the Specification of Partitionable Group Membership;2008 Seventh European Dependable Computing Conference;2008-05
5. Electing the Doge of Venice: Analysis of a 13th Century Protocol;20th IEEE Computer Security Foundations Symposium (CSF'07);2007-07