| 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 4101136 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4130060 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4053563 (Why is no real title available?) | 1988-01-01 | Paper |
| The Residual Finiteness of Certain One-Relator Groups | 1980-01-01 | Paper |
Frattini Subgroups of 3-Manifold Groups
Transactions of the American Mathematical Society | 1979-01-01 | Paper |
Closure, interior, and union in finite topological spaces
Colloquium Mathematicum | 1977-01-01 | Paper |
On the impossibility of obtaining \(S^2 \times S^1\) by elementary surgery along a knot
Pacific Journal of Mathematics | 1974-01-01 | Paper |
Solvable Fundamental Groups of Compact 3-Manifolds
Transactions of the American Mathematical Society | 1972-01-01 | Paper |
Elementary surgery along a torus knot
Pacific Journal of Mathematics | 1971-01-01 | Paper |
