2009 |
6 | EE | Benjamin Aminof,
Orna Kupferman,
Robby Lampert:
Reasoning about online algorithms with weighted automata.
SODA 2009: 835-844 |
2008 |
5 | EE | Benjamin Aminof,
Axel Legay,
Aniello Murano,
Olivier Serre:
µ-calculus Pushdown Module Checking with Imperfect State Information.
IFIP TCS 2008: 333-348 |
4 | EE | 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 | 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 |