Jonathan Kochems
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2013–2016
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | POPL | Unboundedness and downward closures of higher-order pushdown automata. | Matthew Hague, Jonathan Kochems, C.-H. Luke Ong |
| 2013 | CONCUR | Safety Verification of Asynchronous Pushdown Systems with Shaped Stacks. | Jonathan Kochems, C.-H. Luke Ong |
| 2013 | SAS | Automatic Verification of Erlang-Style Concurrency. | Emanuele D'Osualdo, Jonathan Kochems, C.-H. Luke Ong |