 | 2009 |
| 6 |  | Benjamin Aminof,
Orna Kupferman,
Robby Lampert:
Reasoning about online algorithms with weighted automata.
SODA 2009: 835-844 |
| 2008 |
| 5 |  | Benjamin Aminof,
Axel Legay,
Aniello Murano,
Olivier Serre:
µ-calculus Pushdown Module Checking with Imperfect State Information.
IFIP TCS 2008: 333-348 |
| 4 |  | Benjamin Aminof,
Orna Kupferman,
Omer Lev:
On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata.
LPAR 2008: 183-197 |
| 2007 |
| 3 |  | Benjamin Aminof,
Aniello Murano,
Moshe Y. Vardi:
Pushdown Module Checking with Imperfect Information.
CONCUR 2007: 460-475 |
| 2006 |
| 2 |  | Benjamin Aminof,
Orna Kupferman:
On the Succinctness of Nondeterminism.
ATVA 2006: 125-140 |
| 2004 |
| 1 |  | Benjamin Aminof,
Thomas Ball,
Orna Kupferman:
Reasoning About Systems with Transition Fairness.
LPAR 2004: 194-208 |