Fred B. Schneider - Concepedia

Author

Fred B. Schneider

Also Known As

FRED B. SCHNEIDER, Fred B Schneider, Fred B. Schneider, Fred Schneider, Fred B. Schneider, Schneider, Fred, Schneider, Fred B.

287

Publications

14.7K

Citations

H-Index

135

Concepts

All Affiliations

Fred B. Schneider is an author at Cornell University specializing in engineering, computer science, and formal verification.

#	Concept	H-Index	Publications	Citations
1	Engineering	33	56	5.1K
2	Education	5	5	214
3	Arts	2	2	79
4	Business	1	1	11
5	Health Sciences	1	1	28

Fred B. Schneider

Publications

9.4K

Citations

H-Index

Page 1

	Year	Citations
Enforceable security policies Fred B. Schneider ACM Transactions on Information and System Security EngineeringInformation SecurityVerificationSoftware AnalysisFormal Verification	2000	1.3K
Defining liveness Bowen Alpern, Fred B. Schneider Information Processing Letters	1985	1K
Fail-stop processors Richard D. Schlichting, Fred B. Schneider ACM Transactions on Computer Systems	1983	767
Recognizing safety and liveness Bowen Alpern, Fred B. Schneider Distributed Computing Behavioral SciencesSafety CultureSafety ScienceHuman SafetySafety Analysis	1987	549
Hyperproperties Michael R. Clarkson, Fred B. Schneider Journal of Computer Security EngineeringInformation SecurityVerificationComputer-aided VerificationSoftware Analysis	2010	394
Chain replication for supporting high throughput and availability Robbert van Renesse, Fred B. Schneider	2004	373
COCA Lidong Zhou, Fred B. Schneider, Robbert van Renesse ACM Transactions on Computer Systems Hardware SecurityBlockchainBlockchain Consensus ProtocolFault-tolerant NetworkAvailability	2002	277
Hypervisor-based fault tolerance Thomas Bressoud, Fred B. Schneider ACM Transactions on Computer Systems Cluster ComputingEngineeringComputer ArchitectureFault ToleranceFault-tolerant Messaging	1996	275
Byzantine generals in action Fred B. Schneider ACM Transactions on Computer Systems	1984	264
COCA: A Secure Distributed On-line Certification Authority Lidong Zhou, Fred B. Schneider, Robbert van Renesse eCommons (Cornell University)	2002	256

Page 1