P. Michael 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
A multicast group communication protocol, engine, and bridge for CORBA	2002-05-14	Paper
https://portal.mardi4nfdi.de/entity/Q2758940	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/Q4518424	2000-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q4518444	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

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: P. Michael Melliar-Smith