| |
| 2008 | ||
|---|---|---|
| 2 | EE | Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi: A Framework for Inherent Vacuity. Haifa Verification Conference 2008: 7-22 |
| 2006 | ||
| 1 | EE | Orna Kupferman, Sarai Sheinvald-Faragy: Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words. CONCUR 2006: 492-508 |
| 1 | Dana Fisman | [2] |
| 2 | Orna Kupferman | [1] [2] |
| 3 | Moshe Y. Vardi | [2] |