Seth Fogarty
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2007–2018
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CGO | dsmodels: A Little Language for Dynamical Systems. | Charles Stein, Seth Fogarty |
| 2011 | CSL | Unifying Bchi Complementation Constructions. | Seth Fogarty, Orna Kupferman, Moshe Y. Vardi, Thomas Wilke |
| 2010 | TACAS | Efficient Bchi Universality Checking. | Seth Fogarty, Moshe Y. Vardi |
| 2009 | TACAS | Bchi Complementation and Size-Change Termination. | Seth Fogarty, Moshe Y. Vardi |
| 2007 | PEPM | Concoqtion: indexed types now! | Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha |