Robby Lampert

According to our database, Robby Lampert authored at least 7 papers between 2006 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

On the Succinctness of Idioms for Concurrent Programming.

David Harel, Guy Katz, Robby Lampert, Assaf Marron, Gera Weiss

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2013

Rigorous approximated determinization of weighted automata.

Benjamin Aminof, Orna Kupferman, Robby Lampert

Theor. Comput. Sci., 2013

2011

Model-checking behavioral programs.

David Harel, Robby Lampert, Assaf Marron, Gera Weiss

Proceedings of the 11th International Conference on Embedded Software, 2011

Formal Analysis of Online Algorithms.

Benjamin Aminof, Orna Kupferman, Robby Lampert

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Reasoning about online algorithms with weighted automata.

Benjamin Aminof, Orna Kupferman, Robby Lampert

ACM Trans. Algorithms, 2010

2009

Weighted automata and their applications to formal verification (עם תקציר בעברית ושער נוסף: אוטומטים ממושקלים והשימוש בהם בתחום האימות הפורמלי.).

Robby Lampert

PhD thesis, 2009

2006

On the Construction of Fine Automata for Safety Properties.

Orna Kupferman, Robby Lampert

Proceedings of the Automated Technology for Verification and Analysis, 2006