 | 2012 |
| 6 |  | Seth Fogarty,
Moshe Y. Vardi:
Büchi Complementation and Size-Change Termination
Logical Methods in Computer Science 8(1): (2012) |
| 2011 |
| 5 |  | Seth Fogarty,
Orna Kupferman,
Moshe Y. Vardi,
Thomas Wilke:
Unifying Büchi Complementation Constructions.
CSL 2011: 248-263 |
| 2010 |
| 4 |  | Ming-Hsien Tsai,
Seth Fogarty,
Moshe Y. Vardi,
Yih-Kuen Tsay:
State of Büchi Complementation.
CIAA 2010: 261-271 |
| 3 |  | Seth Fogarty,
Moshe Y. Vardi:
Efficient Büchi Universality Checking.
TACAS 2010: 205-220 |
| 2009 |
| 2 |  | Seth Fogarty,
Moshe Y. Vardi:
Büchi Complementation and Size-Change Termination.
TACAS 2009: 16-30 |
| 2007 |
| 1 |  | Seth Fogarty,
Emir Pasalic,
Jeremy G. Siek,
Walid Taha:
Concoqtion: indexed types now!
PEPM 2007: 112-121 |