P. Michael Melliar-Smith

From MaRDI portal
Person:816726

Available identifiers

zbMath Open melliar-smith.p-michaelMaRDI QIDQ816726

List of research outcomes

PublicationDate of PublicationType
Total ordering algorithms for asynchronous Byzantine systems2023-12-01Paper
Dynamic pricing for time-limited goods in a supplier-driven electronic marketplace2006-02-23Paper
Byzantine Fault Detectors for Solving Consensus2003-08-07Paper
Eternal—a component‐based framework for transparent fault‐tolerant CORBA2003-02-04Paper
Byzantine-resistant total ordering algorithms.2003-01-14Paper
A multicast group communication protocol, engine, and bridge for CORBA2002-05-14Paper
https://portal.mardi4nfdi.de/entity/Q27589402002-05-14Paper
https://portal.mardi4nfdi.de/entity/Q27793272002-04-15Paper
A real-time interval logic and its decision procedure2002-02-18Paper
https://portal.mardi4nfdi.de/entity/Q45184242000-11-28Paper
https://portal.mardi4nfdi.de/entity/Q45184442000-11-28Paper
https://portal.mardi4nfdi.de/entity/Q42684641999-10-31Paper
https://portal.mardi4nfdi.de/entity/Q42566521999-08-08Paper
https://portal.mardi4nfdi.de/entity/Q43734851998-01-21Paper
Interval logics and their decision procedures. I: An interval logic1997-02-27Paper
Interval logics and their decision procedures. II: A real-time interval logic1997-02-27Paper
https://portal.mardi4nfdi.de/entity/Q48919051996-11-20Paper
Automated deduction in a graphical temporal logic1996-05-02Paper
https://portal.mardi4nfdi.de/entity/Q48533171996-01-30Paper
Necessary and sufficient conditions for broadcast consensus protocols.1995-11-22Paper
https://portal.mardi4nfdi.de/entity/Q43186361995-01-09Paper
Classic squares and broadcast squares1994-11-28Paper
Asynchronous Fault-Tolerant Total Ordering Algorithms1993-10-10Paper
https://portal.mardi4nfdi.de/entity/Q40323131993-04-01Paper
https://portal.mardi4nfdi.de/entity/Q38160571988-01-01Paper
Synchronizing clocks in the presence of faults1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32219661984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39392671982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q40485631974-01-01Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


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