Michael E. Jrgensen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
2
Venues
2
Active years
1995–1997
Best venue rank
A*
Where they publish
Papers
2 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | PLDI | Automatic Verification of Pointer Programs using Monadic Second-Order Logic. | Jakob L. Jensen, Michael E. Jrgensen, Nils Klarlund, Michael I. Schwartzbach |
| 1995 | TACAS | Mona: Monadic Second-Order Logic in Practice. | Jesper G. Henriksen, Jakob L. Jensen, Michael E. Jrgensen, Nils Klarlund, Robert Paige, Theis Rauhe, Anders Sandholm |