Fred B. Schneider

Available identifiers

zbMath Open schneider.fred-bMaRDI QIDQ431789

List of research outcomes

Publication	Date of Publication	Type
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
Thrifty execution of task pipelines	1985-01-01	Paper
Defining liveness	1985-01-01	Paper
Fault-tolerant broadcasts	1984-01-01	Paper
The ``Hoare Logic of CSP, and All That	1984-01-01	Paper
Using message passing for distributed programming: proof rules and disciplines	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

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: Fred B. Schneider