| 2007 | ||
|---|---|---|
| 3 | EE | Benjamin Aminof, Aniello Murano, Moshe Y. Vardi: Pushdown Module Checking with Imperfect Information. CONCUR 2007: 460-475 |
| 2006 | ||
| 2 | EE | Benjamin Aminof, Orna Kupferman: On the Succinctness of Nondeterminism. ATVA 2006: 125-140 |
| 2004 | ||
| 1 | EE | Benjamin Aminof, Thomas Ball, Orna Kupferman: Reasoning About Systems with Transition Fairness. LPAR 2004: 194-208 |
| 1 | Thomas Ball | [1] |
| 2 | Orna Kupferman | [1] [2] |
| 3 | Aniello Murano | [3] |
| 4 | Moshe Y. Vardi | [3] |