Sotabase

Career

· NEC Professor of Software Science and Engineering, Massachusetts Institute of Technology (MIT)1982–
· Ph.D. in Mathematics, Massachusetts Institute of Technology (MIT)1972–
· B.S. in Mathematics, Brooklyn College1968–
· Professor, Georgia Institute of Technology
· Professor, Tufts University
· Professor, University of Southern California

Publications (829)

Impossibility of distributed consensus with one faulty process
JACM · 1985
5,314
cited
Consensus in the presence of partial synchrony
JACM · 1988
2,191
cited
Brewer's conjecture and the feasibility of consistent, available, partition-tolerant web services
SIGA · 2002
2,011
cited
An Introduction to Input/Output Automata
Formal Aspects of Computing · 1989
1,285
cited
Hierarchical correctness proofs for distributed algorithms
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing · 1987
951
cited
Probabilistic Simulations for Probabilistic Processes
Nordic Journal of Computing · 1994
819
cited
Hybrid I/O automata
Information and Computation · 1995
681
cited
Reaching approximate agreement in the presence of faults
JACM · 1986
588
cited
A Lower Bound for the Time to Assure Interactive Consistency
Information Processing Letters · 1982
552
cited
Distributed computation in dynamic networks
Symposium on the Theory of Computing · 2010
404
cited
Easy impossibility proofs for distributed consensus problems
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing · 1985
375
cited
Forward and Backward Simulations: I. Untimed Systems
Information and Computation · 1995
370
cited
A new fault-tolerant algorithm for clock synchronization
ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing · 1984
360
cited
Forward and Backward Simulations, II: Timing-Based Systems
Information and Computation · 1996
288
cited
An Upper and Lower Bound for Clock Synchronization
Information and Control · 1984
280
cited
Cryptographic protocols
Symposium on the Theory of Computing · 1982
270
cited
A Comparison of Polynomial Time Reducibilities
Theoretical Computer Science · 1975
255
cited
The Theory of Timed I/o Automata
2003
248
cited
Perspectives on the CAP Theorem
Computer · 2012
240
cited
Comparison of polynomial-time reducibilities
Symposium on the Theory of Computing · 1974
224
cited
Sotabase