| | |
- CSB - MetaPress - Google - Bing - Yahoo
Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo
| 6 |       | Benjamin Aminof, Orna Kupferman, Robby Lampert: Formal Analysis of Online Algorithms. ATVA 2011: 213-227 |
| 4 | | Benjamin Aminof, Orna Kupferman, Robby Lampert: Rigorous Approximated Determinization of Weighted Automata. LICS 2011: 345-354 |
| 3 | | Benjamin Aminof, Orna Kupferman, Robby Lampert: Reasoning about online algorithms with weighted automata. ACM Transactions on Algorithms 6(2): (2010) |
| 2 | | Benjamin Aminof, Orna Kupferman, Robby Lampert: Reasoning about online algorithms with weighted automata. SODA 2009: 835-844 |
| 1 | | Orna Kupferman, Robby Lampert: On the Construction of Fine Automata for Safety Properties. ATVA 2006: 110-124 |
Selection of 5 from 6 records - Robby Lampert has 5 coauthors
Last update 2012-02-18 CET by the DBLP Team —
Content released under the ODC-BY 1.0 license — See also our legal information page