//
Skip to main content
PRL Project

Knowledge Base of
Publication Publications, Seminar Seminars, & Math Book Math Library

PhD theses from the project are accessible at the NCSTRL web site.

Browse by author | title | year | subject

Filter for: Nicolas Schiper

4 results


Publication Developing Correctly Replicated Databases Using Formal Tools
by Nicolas Schiper, Vincent Rahli, Robbert van Renesse, Mark Bickford, Robert L. Constable
June 23, 2014

Publication Byzantine Chain Replication | cite »
by Robbert van Renesse, Chi Ho, Nicolas Schiper
December 20, 2012

Publication 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

Publication 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