Knowledge Base of
Publications,
Seminars,
&
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Nicolas Schiper
4 results
Developing Correctly Replicated Databases Using Formal Tools
by Nicolas Schiper, Vincent Rahli, Robbert van Renesse, Mark Bickford, Robert L. Constable
June 23, 2014
Byzantine Chain Replication
| cite »
by Robbert van Renesse, Chi Ho, Nicolas Schiper
December 20, 2012
A Diversified and Correct-by-Construction Broadcast Service
| cite »
by Vincent Rahli, Nicolas Schiper, Robbert van Renesse, Mark Bickford, Robert L. Constable
October 30, 2012
ShadowDB: A Replicated Database on a Synthesized Consensus Core
| cite »
by Nicolas Schiper, Vincent Rahli, Robbert van Renesse, Mark Bickford, Robert L. Constable
October 07, 2012