Deterministic input-driven queue automata: Finite turns, decidability, and closure properties

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.9K citations

Computing, Computer Science, Mathematics +10

Introduction to automata theory, languages, and computation

Computer Languages · 1980 · 6.9K citations

Computing, Computer Science, Mathematics +10

Visibly pushdown languages

Rajeev Alur, P. Madhusudan · 2004 · 555 citations · Full text

Computing, Computer Science, Algorithms +16

Reversal-Bounded Multicounter Machines and Their Decision Problems

Óscar H. Ibarra · Journal of the ACM · 1978 · 442 citations · Full text

Computing, Computer Science, Computer Security +5

Adding nesting structure to words

Rajeev Alur, P. Madhusudan · Journal of the ACM · 2009 · 329 citations

Computing, Computer Science, Algorithms +16