Robby Lampert

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2009

2 Benjamin Aminof, Orna Kupferman, Robby Lampert: Reasoning about online algorithms with weighted automata. SODA 2009: 835-844

2006

1 Orna Kupferman, Robby Lampert: On the Construction of Fine Automata for Safety Properties. ATVA 2006: 110-124

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

Coauthor Index

1 Benjamin Aminof [2]

2 Orna Kupferman [1] [2]