| |
| 2009 | ||
|---|---|---|
| 2 | EE | Benjamin Aminof, Orna Kupferman, Robby Lampert: Reasoning about online algorithms with weighted automata. SODA 2009: 835-844 |
| 2006 | ||
| 1 | EE | Orna Kupferman, Robby Lampert: On the Construction of Fine Automata for Safety Properties. ATVA 2006: 110-124 |
| 1 | Benjamin Aminof | [2] |
| 2 | Orna Kupferman | [1] [2] |