Transitive closure and related semiring properties via eliminants

Algorithm 97: Shortest path

Robert W. Floyd · Communications of the ACM · 1962 · 4K citations · Full text

Computing, Computer Science, Algorithms +5

A Theorem on Boolean Matrices

Stephen Warshall · Journal of the ACM · 1962 · 1.7K citations

Natural Sciences, Computer Science, Mathematics +9

Regular Expressions and State Graphs for Automata

Robert McNaughton, Hisao Yamada · IEEE Transactions on Electronic Computers · 1960 · 521 citations

Computing, Computer Science, Algorithms +13

Shortest‐path algorithms: Taxonomy and annotation

Narsingh Deo, C. Y. Pang · Networks · 1984 · 311 citations

Computing, Computer Science, Algorithms +10

Global Data Flow Analysis and Iterative Algorithms

John B. Kam, Jeffrey D. Ullman · Journal of the ACM · 1976 · 303 citations · Full text

Computing, Computer Science, Algorithms +13