On the computational power of dynamical systems and hybrid systems

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.8K citations

Logical Automaton, Engineering, Automated Reasoning +5

Introduction to automata theory, languages, and computation

Computer Languages · 1980 · 6.8K citations

Logical Automaton, Engineering, Automated Reasoning +5

Logical Reversibility of Computation

C. H. Bennett · IBM Journal of Research and Development · 1973 · 3.6K citations

Engineering, Computational Model Theory, Pushdown Automaton +19

The algorithmic analysis of hybrid systems

Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs et al. · Theoretical Computer Science · 1995 · 1.9K citations · Full text

Engineering, Reachability Problem, Verification +16

On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines

Lenore Blum, M. Shub, Steve Smale · Bulletin of the American Mathematical Society · 1989 · 1.1K citations · Full text