Skip to main content


eCommons@Cornell

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 44 to 63 of 99
< previous   next >
PreviewIssue DateTitleAuthor(s)
Jun-1996A Graphical Interface for CHIPAlvisi, Lorenzo; Schneider, Fred B.
May-1982The "Hoare Logic" of CSP, and All ThatLamport, Leslie; Schneider, Fred B.
Dec-1983The HOCA Operating System SpecificationsBabaoglu, Ozalp; Schneider, Fred B.
Jul-1994Hybrid Verification by Exploiting the EnvironmentFix, Limor; Schneider, Fred B.
22-Dec-2008HyperpropertiesClarkson, Michael R.; Schneider, Fred B.
27-Jan-2008HyperpropertiesClarkson, Michael R.; Schneider, Fred B.
Mar-1995Hypervisor-based Fault-toleranceBressoud, Thomas C.; Schneider, Fred B.
30-Jan-2006Independence From Obfuscation: A Semantic Framework for DiversityPucella, Riccardo; Schneider, Fred B.
May-1985Inexact Agreement: Accuracy, Precision, and Graceful DegradationMahaney, Stephen R.; Schneider, Fred B.
Aug-1982Key Exchange Using Keyless CryptographyAlpern, Bowen; Schneider, Fred B.
Feb-1979Mechanisms for Specifying Scheduling PoliciesSchneider, Fred B.; Bernstein, A. J.
15-Aug-2009Multi-Verifier SignaturesRoeder, Tom; Pass, Rafael; Schneider, Fred B.
Nov-1998NAP: Practical Fault-Tolerance for Itinerant ComputationsJohansen, Dag; Marzullo, Keith; Schneider, Fred B.; Jacobsen, Kjetil; Zagorodnov, Dmitrii
Mar-1999NAP: Practical Fault-Tolerance for Itinerant ComputationsJohansen, Dag; Marzullo, Keith; Schneider, Fred B.; Jacobsen, Kjetil; Zagorodnov, Dmitrii
Feb-1994A New Approach to Teaching MathematicsGries, David; Schneider, Fred B.
14-Sep-2009Nexus Authorization Logic (NAL): Design Rationale and ApplicationsSchneider, Fred B.; Walsh, Kevin; Sirer, Emin Gun
Jan-1995Notes on Proof Outline LogicSchneider, Fred B.
Mar-1979On Restrictions to Ensure Reproducible Behavior in Concurrent ProgramsSchneider, Fred B.; Bernstein, A. J.
Dec-1994Operating System Support for Mobile AgentsJohansen, Dag; Van Renesse, Robbert; Schneider, Fred B.
Aug-1992Optimal Primary-Backup ProtocolsBudhiraja, Navin; Marzullo, Keith; Schneider, Fred B.; Toueg, Sam
Showing results 44 to 63 of 99
< previous   next >

 

© 2014 Cornell University Library Contact Us