Robby Lampert

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 0

Top Topics

Chinese Language

Knowledge Compilation

Finite Automata

Top Venues

Theor. Comput. Sci.

Publications

David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss
On the Succinctness of Idioms for Concurrent Programming. CONCUR (2015)
Benjamin Aminof, Orna Kupferman, Robby Lampert
Rigorous approximated determinization of weighted automata. Theor. Comput. Sci. 480 (2013)
Benjamin Aminof, Orna Kupferman, Robby Lampert
Formal Analysis of Online Algorithms. ATVA (2011)
David Harel, Robby Lampert, Assaf Marron, Gera Weiss
Model-checking behavioral programs. EMSOFT (2011)
Benjamin Aminof, Orna Kupferman, Robby Lampert
Rigorous Approximated Determinization of Weighted Automata. LICS (2011)
Benjamin Aminof, Orna Kupferman, Robby Lampert
Reasoning about online algorithms with weighted automata. ACM Trans. Algorithms 6 (2) (2010)
Benjamin Aminof, Orna Kupferman, Robby Lampert
Reasoning about online algorithms with weighted automata. SODA (2009)
Orna Kupferman, Robby Lampert
On the Construction of Fine Automata for Safety Properties. ATVA (2006)