André Schiper

Available identifiers

zbMath Open schiper.andreWikidataQ102288140 ScholiaQ102288140MaRDI QIDQ658668

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: André Schiper