Robby Lampert
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2006–2015
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | CONCUR | On the Succinctness of Idioms for Concurrent Programming. | David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss |
| 2011 | ATVA | Formal Analysis of Online Algorithms. | Benjamin Aminof, Orna Kupferman, Robby Lampert |
| 2011 | EMSOFT | Model-checking behavioral programs. | David Harel, Robby Lampert, Assaf Marron, Gera Weiss |
| 2011 | LICS | Rigorous Approximated Determinization of Weighted Automata. | Benjamin Aminof, Orna Kupferman, Robby Lampert |
| 2009 | SODA | Reasoning about online algorithms with weighted automata. | Benjamin Aminof, Orna Kupferman, Robby Lampert |
| 2006 | ATVA | On the Construction of Fine Automata for Safety Properties. | Orna Kupferman, Robby Lampert |