Dennis Griffith
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2011–2015
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | FOSSACS | Polarized Substructural Session Types. | Frank Pfenning, Dennis Griffith |
| 2011 | PLDI | Garbage collection for monitoring parametric properties. | Dongyun Jin, Patrick O'Neil Meredith, Dennis Griffith, Grigore Rosu |
| 2011 | SMC | Toward a multi-method approach to formalizing human-automation interaction and human-human communications. | Ellen J. Bass, Matthew L. Bolton, Karen M. Feigh, Dennis Griffith, Elsa L. Gunter, William Mansky, John M. Rushby |