A. Schiper

Available identifiers

zbMath Open schiper.andreDBLPs/AndreSchiperWikidataQ102288140 ScholiaQ102288140MaRDI QIDQ658668

List of research outcomes

Publication	Date of Publication	Type
``\(\varGamma\)-accurate failure detectors	2024-07-11	Paper
Handling message semantics with Generic Broadcast protocols	2020-12-03	Paper
Early consensus in an asynchronous system with a weak failure detector	2020-12-02	Paper
Early consensus in an asynchronous system with a weak failure detector	2020-12-02	Paper
Strong stable properties in distributed systems	2020-11-30	Paper
Uniform actions in asynchronous distributed systems	2017-09-29	Paper
From causal consistency to sequential consistency in shared memory systems	2017-01-19	Paper
Brief announcement	2014-12-05	Paper
Tolerating permanent and transient value faults	2014-07-11	Paper
Tolerating corrupted communication	2014-03-13	Paper
The Heard-Of model: computing in distributed systems with benign faults	2013-06-28	Paper
Dynamic group communication	2013-06-13	Paper
Verification of consensus algorithms using satisfiability solving	2012-02-06	Paper
Structured Derivation of Semi-Synchronous Algorithms	2011-10-28	Paper
Using Bounded Model Checking to Verify Consensus Algorithms	2008-11-20	Paper
SOFSEM 2006: Theory and Practice of Computer Science	2006-11-14	Paper
Semi-passive replication and lazy consensus	2005-01-31	Paper
Uniform consensus is harder than consensus	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4813194	2004-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4813101	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4738212	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4413393	2003-07-17	Paper
Optimistic atomic broadcast: A pragmatic viewpoint	2003-05-14	Paper
Genuine atomic multicast in asynchronous distributed systems	2001-08-20	Paper
The causal ordering abstraction and a simple way to implement it	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3809240	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3674042	1984-01-01	Paper

Research outcomes over time

This page was built for person: A. Schiper