Point algebras for temporal reasoning: Algorithms and complexity

Time, clocks, and the ordering of events in a distributed system

Leslie Lamport · Communications of the ACM · 1978 · 8.4K citations · Full text

Computing, Computer Engineering, Computer Science +17

Maintaining knowledge about temporal intervals

James F. Allen · Communications of the ACM · 1983 · 7.5K citations · Full text

Computing, History, Information Retrieval +4

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.6K citations · Full text

Computing, Computer Science, Formal Methods +16

Matrix multiplication via arithmetic progressions

Don Coppersmith, S. Winograd · Journal of Symbolic Computation · 1990 · 2.3K citations

Computing, Computer Science, Mathematics +14

“Sometimes” and “not never” revisited

E. Allen Emerson, Joseph Y. Halpern · Journal of the ACM · 1986 · 996 citations · Full text

Computing, Computer Science, Formal Methods +14