A Lambek Automaton. - Tatyana Veksler; Nissim Francez (Log. J. IGPL, 2006)

Relative Equivalence in the Presence of Ambiguity. - Oshri Adler; Cindy Eisner; Tatyana Veksler (CAV, 2013)

Verifying Parallel Code After Refactoring Using Equivalence Checking. - Moria Abadi; Sharon Keidar-Barner; Dmitry Pidan; Tatyana Veksler (Int. J. Parallel Program., 2019)