Fred B. Schneider - Publications, H-index & Citations

Fred B. Schneider

Cornell University

54H指数

288论文数

1.5W被引数

收录论文 10

发表时间

Implementing Insider Defenses

COMMUNICATIONS OF THE ACM

IF12.2

2021-04-26

OAAI

Grosse, Eric; Schneider, Fred B.; Millett, Lynette L.

Putting Trust in Security Engineering

COMMUNICATIONS OF THE ACM

IF12.2

2018-04-24

OAAI

Schneider, Fred B.

Impediments with Policy Interventions to Foster Cybersecurity

COMMUNICATIONS OF THE ACM

IF12.2

2018-02-21

PREAI

Schneider, Fred B.

Technical Perspective IronFleet Simplifies Proving Safety and Liveness Properties

COMMUNICATIONS OF THE ACM

IF12.2

2017-06-26

PREAI

Schneider, Fred B.

Omni-Kernel: An Operating System Architecture for Pervasive Monitoring and Scheduling

IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS

IF6

2015-10-01

OAAI

Kvalnes, Age; Johansen, Dag; van Renesse, Robbert; Schneider, Fred B.; Valvag, Steffen Viken

Vive La Difference: Paxos vs. Viewstamped Replication vs. Zab

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING

IF7.5

2015-07-01

OAAI

van Renesse, Robbert; Schiper, Nicolas; Schneider, Fred B.

Program Committee Overload in Systems

COMMUNICATIONS OF THE ACM

IF12.2

2009-05-01

PREAI

Birman, Ken; Schneider, Fred B.

Evolving telephone networks

COMMUNICATIONS OF THE ACM

IF12.2

1999-01-01

OAAI

Schneider, FB; Bellovin, SM

Toward trustworthy networked information systems

COMMUNICATIONS OF THE ACM

IF12.2

1998-11-01

OAAI

Schneider, FB

On concurrent programming

COMMUNICATIONS OF THE ACM

IF12.2

1998-04-01

OAAI

Schneider, FB

研究方向