On the Construction of Fine Automata for Safety Properties. - Orna Kupferman; Robby Lampert (ATVA, 2006)

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

Reasoning about online algorithms with weighted automata. - Benjamin Aminof; Orna Kupferman; Robby Lampert (ACM Trans. Algorithms, 2010)

Formal Analysis of Online Algorithms. - Benjamin Aminof; Orna Kupferman; Robby Lampert (ATVA, 2011)

Model-checking behavioral programs. - David Harel; Robby Lampert; Assaf Marron; Gera Weiss (EMSOFT, 2011)

Rigorous approximated determinization of weighted automata. - Benjamin Aminof; Orna Kupferman; Robby Lampert (Theor. Comput. Sci., 2013)

On the Succinctness of Idioms for Concurrent Programming. - David Harel; Guy Katz; Robby Lampert; Assaf Marron; Gera Weiss (CONCUR, 2015)