Tatyana Veksler

According to our database, Tatyana Veksler authored at least 3 papers between 2006 and 2019.

Collaborative distances:

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

2019

Verifying Parallel Code After Refactoring Using Equivalence Checking.

Moria Abadi, Sharon Keidar-Barner, Dmitry Pidan, Tatyana Veksler

Int. J. Parallel Program., 2019

2013

Relative Equivalence in the Presence of Ambiguity.

Oshri Adler, Cindy Eisner, Tatyana Veksler

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

2006

A Lambek Automaton.

Tatyana Veksler, Nissim Francez

Log. J. IGPL, 2006