Rasmus Lerchedahl Petersen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2008–2013
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | TACAS | Runtime Verification Based on Register Automata. | Radu Grigore, Dino Distefano, Rasmus Lerchedahl Petersen, Nikos Tzevelekos |
| 2012 | APLAS | A Generic Cyclic Theorem Prover. | James Brotherston, Nikos Gorogiannis, Rasmus Lerchedahl Petersen |
| 2011 | CADE | Automated Cyclic Entailment Proofs in Separation Logic. | James Brotherston, Dino Distefano, Rasmus Lerchedahl Petersen |
| 2011 | CONCUR | On Locality and the Exchange Law for Concurrent Processes. | C. A. R. Hoare, Akbar Hussain, Bernhard Mller, Peter W. O'Hearn, Rasmus Lerchedahl Petersen, Georg Struth |
| 2008 | ESOP | A Realizability Model for Impredicative Hoare Type Theory. | Rasmus Lerchedahl Petersen, Lars Birkedal, Aleksandar Nanevski, Greg Morrisett |