Robert J. Simmons
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
8
Active years
2008–2021
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ICIDS | Inbox Games: Poetics and Authoring Support. | Chris Martens, Robert J. Simmons |
| 2013 | PPDP | A logical correspondence between natural semantics and abstract machines. | Robert J. Simmons, Ian Zerny |
| 2009 | LICS | Substructural Operational Semantics as Ordered Logic Programming. | Frank Pfenning, Robert J. Simmons |
| 2009 | PEPM | Linear logical approximations. | Robert J. Simmons, Frank Pfenning |
| 2008 | ICALP | Linear Logical Algorithms. | Robert J. Simmons, Frank Pfenning |
| 2008 | ICFP | SASyLF: an educational proof assistant for language theory. | Jonathan Aldrich, Robert J. Simmons, Key Shin |
| 2008 | ICLP | Dynamic Programming Algorithms as Products of Weighted Logic Programs. | Shay B. Cohen, Robert J. Simmons, Noah A. Smith |
| 2008 | ISSTA | Proofs from tests. | Nels E. Beckman, Aditya V. Nori, Sriram K. Rajamani, Robert J. Simmons |