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 79 to 98 of 99
< previous   next >
PreviewIssue DateTitleAuthor(s)
Oct-1985Safety Without StutteringAlpern, Bowen; Demers, Alan J.; Schneider, Fred B.
Jul-1999SASI Enforcement of Security Policies: A RetrospectiveErlingsson, Ulfar; Schneider, Fred B.
Sep-1989Simpler Proofs for Concurrent Reading and WritingSchneider, Fred B.
Dec-1986The State Machine Approach: A TutorialSchneider, Fred B.
Jul-1996Supporting Broad Internet Access to TACOMAJohansen, Dag; van Renesse, Robbert; Schneider, Fred B.
May-1985Symmetry and Similarity in Distributed SystemsJohnson, Ralph E.; Schneider, Fred B.
Sep-1979Synchronization in Distributed ProgramsSchneider, Fred B.
4-Dec-2001A TACOMA RetrospectiveJohansen, Dag; Lauvset, Kare J.; van Renesse, Robbert; Schneider, Fred B.; Sudmann, Nils P.; Jacobsen, Kjetil
Mar-1994Teaching Math More Effectively, Through the Design of Calculational ProofsGries, David; Schneider, Fred B.
May-1980Three Surveys on Operating System TopicsAndrews, Gregory R.; Schneider, Fred B.
Jun-1984Thrifty Execution of Task PipelinesSchneider, Fred B.; Conway, Richard W.; Skeen, Dale
8-Oct-2001Tolerating Malicious GossipMinsky, Yaron M.; Schneider, Fred B.
Jul-1997Towards Fault-tolerant and Secure AgentrySchneider, Fred B.
Feb-1989Trace-Based Network Proof Systems: Expressiveness and CompletenessWidom, Jennifer; Gries, David; Schneider, Fred B.
Aug-1987Understanding Protocols for Byzantine Clock SynchronizationSchneider, Fred B.
Oct-1981User Recovery and Reversal in Interactive SystemsArcher, James E. Jr.; Conway, Richard W.; Schneider, Fred B.
May-1982Using Message Passing for Distributed Programming: Proof Rules and DisciplinesSchlichting, Richard D.; Schneider, Fred B.
May-1994Verifying Programs That Use Causally-Ordered Message-PassingStoller, Scott D.; Schneider, Fred B.
Sep-1989Verifying Safety Properties Using Non-deterministic Infinite-state AutomataKlarlund, Nils; Schneider, Fred B.
Jul-1987Verifying Temporal Properties without using Temporal LogicAlpern, Bowen; Schneider, Fred B.
Showing results 79 to 98 of 99
< previous   next >


© 2014 Cornell University Library Contact Us