Tatyana Veksler

Publication Activity (10 Years)

Years Active: 2006-2019
Publications (10 Years): 1

Top Topics

Relative Position

Interactive Dynamic Influence Diagrams

Parallel Implementation

Distributed Memory

Top Venues

Int. J. Parallel Program.

Publications

Moria Abadi, Sharon Keidar-Barner, Dmitry Pidan, Tatyana Veksler
Verifying Parallel Code After Refactoring Using Equivalence Checking. Int. J. Parallel Program. 47 (1) (2019)
Oshri Adler, Cindy Eisner, Tatyana Veksler
Relative Equivalence in the Presence of Ambiguity. CAV (2013)
Tatyana Veksler, Nissim Francez
A Lambek Automaton. Log. J. IGPL 14 (5) (2006)