Robert McNaughton
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
1963–1995
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1995 | COCOON | An Efficient Algorithm for Local Testability Problem of Finite State Automata. | Sam M. Kim, Robert McNaughton |
| 1989 | WADS | A Polynomial Time Algorithm for the Local Testability Problem of Deterministic Finite Automata. | Sam M. Kim, Robert McNaughton, Robert McCloskey |
| 1971 | STOC | A Decision Procedure for Generalized Sequential Mapability-onto of Regular Sets | Robert McNaughton |
| 1963 | FOCS | Finite automata and badly timed elements | Robert McNaughton |