publicações selecionadas A Multiversion File Server The Database State Machine and Group Communication Issues
theses/dissertations advising Paxos made code: Implementing a high throughput Atomic Broadcast MoSQL: A Relational Database Using NoSQL Technology, dsmDB: Clustering in-memory Database Management Systems Algebraic Formal Methods for Invariant Generation On Multicast Primitives in Large Networks and Partial Replication Protocols, On Non-Intrusive Workload-Aware Database Replication A Transport Protocol for Best-Effort Content-Based Networks Byzantine Generic Broadcast Deferred-Update Database Replication: Theory and Algorithms, EPFL, Multicoordinated Agreement Protocols and the Log Service, University of Lugano
