Search the dblp DataBase

Publications of Author

1. Benjamin Aminof, Orna Kupferman
   On the Succinctness of Nondeterminism. [Citation Graph (0, 0)][DBLP]
   ATVA, 2006, pp:125-140 [Conf]
   
2. Benjamin Aminof, Thomas Ball, Orna Kupferman
   Reasoning About Systems with Transition Fairness. [Citation Graph (0, 0)][DBLP]
   LPAR, 2004, pp:194-208 [Conf]
   
3. Benjamin Aminof, Aniello Murano, Moshe Y. Vardi
   Pushdown Module Checking with Imperfect Information. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2007, pp:460-475 [Conf]
   
4. 
   µ-calculus Pushdown Module Checking with Imperfect State Information. [Citation Graph (, )][DBLP]
   
   
5. 
   On the Relative Succinctness of Nondeterministic Büchi and co-Büchi Word Automata. [Citation Graph (, )][DBLP]
   
   
6. 
   Reasoning about online algorithms with weighted automata. [Citation Graph (, )][DBLP]
   
   
7. 
   Improved Model Checking of Hierarchical Systems. [Citation Graph (, )][DBLP]