Concepedia
Journal of Computer and System Sciences · 1969 · 984 citations · 10 references
10
Finite Automata and Their Decision Problems
M. O. Rabin, D. Scott · IBM Journal of Research and Development · 1959 · 1.9K citations
Computing, Computer Science, Mathematics +9
A variant of a recursively unsolvable problem
Emil L. Post · Bulletin of the American Mathematical Society · 1946 · 613 citations · Full text
Computing, Computer Science, Algorithms +9
The Organization of Computations for Uniform Recurrence Equations
Richard M. Karp, Raymond E. Miller, S. Winograd · Journal of the ACM · 1967 · 554 citations · Full text
Computing, Computer Science, Mathematics +12
Communication with automata
C. A. Petri · 1966 · 504 citations
Properties of a Model for Parallel Computations: Determinacy, Termination, Queueing
Richard M. Karp, Rayamond E. Miller · SIAM Journal on Applied Mathematics · 1966 · 420 citations
Computing, Computer Engineering, Computer Science +13