dblp.uni-trier.dewww.uni-trier.de

Benjamin Aminof

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1Thomas Ball [1]
2Orna Kupferman [1] [2] [4] [6]
3Robby Lampert [6]
4Axel Legay [5]
5Omer Lev [4]
6Aniello Murano [3] [5]
7Olivier Serre [5]
8Moshe Y. Vardi [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)