David E. Muller
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
5
Active years
1960–1992
Best venue rank
A*
Where they publish
Papers
9 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 |
| 1981 | STOC | Pushdown Automata, Graphs, Ends, Second-Order Logic, and Reachability Problems | David E. Muller, Paul E. Schupp |
| 1968 | FOCS | Use of Multiple Index Matrices in Generalized Automata Theory | David E. Muller |
| 1967 | FOCS | The General Synthesis Problem for Asynchronous Digital Networks | David E. Muller |
| 1965 | FOCS | Reversibility in monadic algebras and automata | Zamir Bavel, David E. Muller |
| 1963 | FOCS | Infinite sequences and finite machines | David E. Muller |
| 1960 | FOCS | A Method for Factoring the Action of Asynchronous Circuits | W. D. Frazer, David E. Muller |