Robby Lampert (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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 2 from 2 records - Robby Lampert has 2 coauthors

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