| |
| 2009 | ||
|---|---|---|
| 2 | EE | Seth Fogarty, Moshe Y. Vardi: Büchi Complementation and Size-Change Termination. TACAS 2009: 16-30 |
| 2007 | ||
| 1 | EE | Seth Fogarty, Emir Pasalic, Jeremy G. Siek, Walid Taha: Concoqtion: indexed types now! PEPM 2007: 112-121 |
| 1 | Emir Pasalic | [1] |
| 2 | Jeremy G. Siek | [1] |
| 3 | Walid Taha | [1] |
| 4 | Moshe Y. Vardi | [2] |