Paul E. Schupp
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1981–1992
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1992 | ICCI | On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory. | David E. Muller, Paul E. Schupp, Ahmed Saoudi |
| 1988 | LICS | Weak Alternating Automata Give a Simple Explanation of Why Most Temporal and Dynamic Logics are Decidable in Exponential Time | David E. Muller, Ahmed Saoudi, Paul E. Schupp |
| 1986 | ICALP | Alternating Automata. The Weak Monadic Theory of the Tree, and its Complexity. | David E. Muller, Ahmed Saoudi, Paul E. Schupp |
| 1986 | LICS | Automata on the Integers, Recurrence Distinguishability, and the Equivalence and Decidability of Monadic Theories | Dominique Perrin, Paul E. Schupp |
| 1981 | STOC | Pushdown Automata, Graphs, Ends, Second-Order Logic, and Reachability Problems | David E. Muller, Paul E. Schupp |