| Publication | Date of Publication | Type |
|---|
Total ordering algorithms for asynchronous Byzantine systems
Distributed Algorithms | 2023-12-01 | Paper |
Dynamic pricing for time-limited goods in a supplier-driven electronic marketplace
Electronic Commerce Research | 2006-02-23 | Paper |
Byzantine Fault Detectors for Solving Consensus
The Computer Journal | 2003-08-07 | Paper |
Eternal—a component‐based framework for transparent fault‐tolerant CORBA
Software: Practice and Experience | 2003-02-04 | Paper |
Byzantine-resistant total ordering algorithms.
Information and Computation | 2003-01-14 | Paper |
Interceptors for Java remote method invocation
Concurrency and Computation: Practice & Experience | 2002-05-14 | Paper |
A multicast group communication protocol, engine, and bridge for CORBA
Concurrency and Computation: Practice & Experience | 2002-05-14 | Paper |
| Live upgrade techniques for CORBA applications | 2002-05-14 | Paper |
| scientific article; zbMATH DE number 1728282 (Why is no real title available?) | 2002-04-15 | Paper |
A real-time interval logic and its decision procedure
Sādhanā | 2002-02-18 | Paper |
| scientific article; zbMATH DE number 1536575 (Why is no real title available?) | 2000-11-28 | Paper |
| scientific article; zbMATH DE number 1536556 (Why is no real title available?) | 2000-11-28 | Paper |
| scientific article; zbMATH DE number 1354149 (Why is no real title available?) | 1999-10-31 | Paper |
| scientific article; zbMATH DE number 1318520 (Why is no real title available?) | 1999-08-08 | Paper |
| scientific article; zbMATH DE number 1107556 (Why is no real title available?) | 1998-01-21 | Paper |
Interval logics and their decision procedures. I: An interval logic
Theoretical Computer Science | 1997-02-27 | Paper |
Interval logics and their decision procedures. II: A real-time interval logic
Theoretical Computer Science | 1997-02-27 | Paper |
| scientific article; zbMATH DE number 926526 (Why is no real title available?) | 1996-11-20 | Paper |
Automated deduction in a graphical temporal logic
Journal of Applied Non-Classical Logics | 1996-05-02 | Paper |
| scientific article; zbMATH DE number 810105 (Why is no real title available?) | 1996-01-30 | Paper |
Necessary and sufficient conditions for broadcast consensus protocols.
Distributed Computing | 1995-11-22 | Paper |
| scientific article; zbMATH DE number 708661 (Why is no real title available?) | 1995-01-09 | Paper |
Classic squares and broadcast squares
Discrete Applied Mathematics | 1994-11-28 | Paper |
Asynchronous Fault-Tolerant Total Ordering Algorithms
SIAM Journal on Computing | 1993-10-10 | Paper |
| scientific article; zbMATH DE number 149521 (Why is no real title available?) | 1993-04-01 | Paper |
| scientific article; zbMATH DE number 4087634 (Why is no real title available?) | 1988-01-01 | Paper |
Synchronizing clocks in the presence of faults
Journal of the ACM | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3889506 (Why is no real title available?) | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3755907 (Why is no real title available?) | 1982-01-01 | Paper |
| scientific article; zbMATH DE number 3463157 (Why is no real title available?) | 1974-01-01 | Paper |
