P. M. Melliar-Smith

Available identifiers

zbMath Open melliar-smith.p-michaelMaRDI QIDQ816726

List of research outcomes

Publication	Date of Publication	Type
Total ordering algorithms for asynchronous Byzantine systems	2023-12-01	Paper
Dynamic pricing for time-limited goods in a supplier-driven electronic marketplace	2006-02-23	Paper
Byzantine Fault Detectors for Solving Consensus	2003-08-07	Paper
Eternal—a component‐based framework for transparent fault‐tolerant CORBA	2003-02-04	Paper
Byzantine-resistant total ordering algorithms.	2003-01-14	Paper
Interceptors for Java remote method invocation	2002-05-14	Paper
A multicast group communication protocol, engine, and bridge for CORBA	2002-05-14	Paper
Live upgrade techniques for CORBA applications	2002-05-14	Paper
https://portal.mardi4nfdi.de/entity/Q2779327	2002-04-15	Paper
A real-time interval logic and its decision procedure	2002-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q4518444	2000-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4518424	2000-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4268464	1999-10-31	Paper
https://portal.mardi4nfdi.de/entity/Q4256652	1999-08-08	Paper
https://portal.mardi4nfdi.de/entity/Q4373485	1998-01-21	Paper
Interval logics and their decision procedures. I: An interval logic	1997-02-27	Paper
Interval logics and their decision procedures. II: A real-time interval logic	1997-02-27	Paper
https://portal.mardi4nfdi.de/entity/Q4891905	1996-11-20	Paper
Automated deduction in a graphical temporal logic	1996-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q4853317	1996-01-30	Paper
Necessary and sufficient conditions for broadcast consensus protocols.	1995-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q4318636	1995-01-09	Paper
Classic squares and broadcast squares	1994-11-28	Paper
Asynchronous Fault-Tolerant Total Ordering Algorithms	1993-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4032313	1993-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q3816057	1988-01-01	Paper
Synchronizing clocks in the presence of faults	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3221966	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3939267	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4048563	1974-01-01	Paper

Research outcomes over time

This page was built for person: P. M. Melliar-Smith