Paul E. Schupp

Publications

2.3K

Citations

H-Index

1968

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

University of Illinois System

City College of New York

Université Paris Cité

Paul E. Schupp is an author at University of Illinois Urbana-Champaign specializing in engineering, representation theory, and geometric group theory.

Top concepts

EngineeringRepresentation TheoryEducationFormal MethodsAutomated ReasoningGeometric Group TheoryComputer ScienceComputational ComplexityFormal VerificationDiscrete Mathematics

Publications per year

1968–2016

Publications

The theory of ends, pushdown automata, and second-order logic

David E. Muller, Paul E. Schupp · Theoretical Computer Science · 1985 · 314 citations

Pushdown Automata, Logical Automaton, Engineering +6

Groups, the Theory of ends, and context-free languages

David E. Muller, Paul E. Schupp · Journal of Computer and System Sciences · 1983 · 249 citations

Philosophy Of Language, Syntax, Linguistic Theory +4

Alternating automata on infinite trees

David E. Muller, Paul E. Schupp · Theoretical Computer Science · 1987 · 242 citations

Tree Language, Engineering, Automated Reasoning +6

Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra

David E. Muller, Paul E. Schupp · Theoretical Computer Science · 1995 · 210 citations

Tree Automata, Tree Language, New Proofs +9

Generic-case complexity, decision problems in group theory, and random walks

Ilya Kapovich, Alexei Myasnikov, Paul E. Schupp et al. · Journal of Algebra · 2003 · 189 citations

Mathematical Programming, Computational Complexity Theory, Engineering +6

Rows per page

1–5 of 41