 | 2012 |
|---|
| 11 |       | Benjamin Aminof,
Orna Kupferman,
Aniello Murano:
Improved model checking of hierarchical systems.
Inf. Comput. 210: 68-86 (2012) |
| 2011 |
|---|
| 10 | | Benjamin Aminof,
Orna Kupferman,
Robby Lampert:
Formal Analysis of Online Algorithms.
ATVA 2011: 213-227 |
| 9 | | Benjamin Aminof,
Orna Kupferman,
Robby Lampert:
Rigorous Approximated Determinization of Weighted Automata.
LICS 2011: 345-354 |
| 2010 |
|---|
| 8 | | Benjamin Aminof,
Orna Kupferman,
Aniello Murano:
Improved Model Checking of Hierarchical Systems.
VMCAI 2010: 61-77 |
| 7 | | Benjamin Aminof,
Orna Kupferman,
Robby Lampert:
Reasoning about online algorithms with weighted automata.
ACM Transactions on Algorithms 6(2): (2010) |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page