Fred B. Schneider

Available identifiers

zbMath Open schneider.fred-bMaRDI QIDQ431789

List of research outcomes

Publication	Date of Publication	Type
Evoking Whitehead's dictum	2024-10-28	Paper
Faster possibility detection by combining two approaches	2023-12-01	Paper
Tolerating malicious gossip	2020-12-04	Paper
JRIF: reactive information flow control for Java	2020-03-03	Paper
Reasoning about programs by exploiting the environment	2019-04-29	Paper
Quantification of integrity	2016-07-27	Paper
Multi-verifier signatures	2012-07-03	Paper
The Building Blocks of Consensus	2008-03-06	Paper
Automated analysis of fault-tolerance in distributed systems	2006-02-20	Paper
https://portal.mardi4nfdi.de/entity/Q4413407	2003-07-17	Paper
A TACOMA retrospective	2003-02-04	Paper
https://portal.mardi4nfdi.de/entity/Q4778707	2002-11-19	Paper
Adding the everywhere operator to propositional logic	1999-02-04	Paper
Teaching Math More Effectively, Through Calculational Proofs	1997-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q4348472	1997-08-17	Paper
Equational propositional logic	1997-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q4885862	1997-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q4885878	1996-08-29	Paper
https://portal.mardi4nfdi.de/entity/Q4846258	1995-08-23	Paper
Verifying programs that use causally-ordered message-passing	1995-07-04	Paper
Proving nondeterministically specified safety properties using progress measures	1994-03-24	Paper
Verifying temporal properties without temporal logic	1989-01-01	Paper
Recognizing safety and liveness	1987-01-01	Paper
Derivation of a distributed algorithm for finding paths in directed networks	1986-01-01	Paper
Safety without stuttering	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3727356	1986-01-01	Paper
Defining liveness	1985-01-01	Paper
Thrifty execution of task pipelines	1985-01-01	Paper
Fault-tolerant broadcasts	1984-01-01	Paper
Using message passing for distributed programming: proof rules and disciplines	1984-01-01	Paper
The ``Hoare Logic of CSP, and All That	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3662604	1983-01-01	Paper
Synchronization in Distributed Programs	1982-01-01	Paper
Conditions for the Equivalence of Synchronous and Asynchronous Systems	1978-01-01	Paper

Research outcomes over time

This page was built for person: Fred B. Schneider