Skip to main content


eCommons@Cornell >

Browsing by Author Schneider, Fred B.

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 1 to 20 of 99
 next >
PreviewIssue DateTitleAuthor(s)
Apr-1986Abstractions for Fault Tolerance in Distributed SystemsSchneider, Fred B.
May-1996Adding the Everywhere Operator to Propositional LogicGries, David; Schneider, Fred B.
Nov-1981An Approach to Designing Fault-Tolerant Computing SystemsSchlichting, Richard D.; Schneider, Fred B.
11-Oct-2002APSS: Proactive Secret Sharing in Asynchronous SystemsZhou, Lidong; Schneider, Fred B.; van Renesse, Robbert
Sep-1989An Assertional Characterization of SerializabilityMcCurley, E. Robert; Schneider, Fred B.
21-Dec-2000Automated Analysis of Fault-Tolerance in Distributed SystemsStoller, Scott D.; Fred B. Schneider Stoller, Scott D; Schneider, Fred B.
Nov-1996Automated Analysis of Fault-Tolerance in Distributed SystemsStoller, Scott D.; Schneider, Fred B.
Jun-1998Automated Stream-Based Analysis of Fault-ToleranceStoller, Scott; Schneider, Fred B.
May-1995Avoiding the Undefined by UnderspecificationGries, David,; Schneider, Fred B.
10-Feb-2005Belief in Information FlowClarkson, Michael R.; Myers, Andrew C.; Schneider, Fred B.
24-May-2011Blueprint for a Science of CybersecuritySchneider, Fred B.
Oct-1980Broadcasts: A Paradigm for Distributed ProgramsSchneider, Fred B.
Aug-1983Byzantine Generals In Action: Implementing Fail-Stop ProcessorsSchneider, Fred B.
8-Dec-2000COCA: A Secure Distributed On-line Certification AuthorityZhou, Lidong; Schneider, Fred B.; van Renesse, Robbert
28-Jul-2004CODEX: A Robust and Secure Secret Distribution SystemMarsh, Michael A.; Schneider, Fred B.
Jul-1986Completeness and Incompleteness of Trace-Based Network Proof SystemsWidom, Jennifer; Gries, David; Schneider, Fred B.
26-Aug-2003Computability Classes for Enforcement MechanismsHamlen, Kevin W.; Morrisett, Greg; Schneider, Fred B.
Sep-1982Concepts and Notations for Concurrent ProgrammingAndrews, Gregory R.; Schneider, Fred B.
Sep-1984Constraints: A Uniform Approach to Aliasing and TypingLamport, Leslie; Schneider, Fred B.
Nov-1998Critical Infrastructures You Can Trust: Where Telecommunications FitsSchneider, Fred B.; Bellovin, Steven M.; Inouye, Alan S.
Showing results 1 to 20 of 99
 next >


© 2014 Cornell University Library Contact Us