Oshri Adler

Publication Activity (10 Years)

Years Active: 2013-2014
Publications (10 Years): 0

Top Topics

Interactive Dynamic Influence Diagrams

Predicate Logic

Relative Position

Logical Framework

Top Venues

Publications

Oshri Adler, Eli Arbel, Ilia Averbouch, Ilan Beer, Inna Grijnevitch
Facilitating timing debug by logic path correspondence. DATE (2014)
Oshri Adler, Cindy Eisner, Tatyana Veksler
Relative Equivalence in the Presence of Ambiguity. CAV (2013)