Michael J. O'Donnell
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1979–2008
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | EuroSPI | Problems Encountered When Implementing Agile Methods in a Very Small Company. | Michael J. O'Donnell, Ita Richardson |
| 1994 | MFCS | Intuitive Counterexamples for Constructive Fallacies. | James Lipton, Michael J. O'Donnell |
| 1986 | TARK | Realisability Semantics for Error-Tolerant Logics. | John C. Mitchell, Michael J. O'Donnell |
| 1984 | POPL | Implementation of an Interpreter for Abstract Equations. | Christoph M. Hoffmann, Michael J. O'Donnell |
| 1979 | POPL | Interpreter Generation Using Tree Pattern Matching. | Christoph M. Hoffmann, Michael J. O'Donnell |
| 1979 | STOC | A Programming Language Theorem Which Is Independent of Peano Arithmetic | Michael J. O'Donnell |