Shalom, Welcome.
I'm a graduate student at the School of Computer Science , the Hebrew University,
under the supervision of Orna Kupferman,
also working with Orna Grumberg.
surke
cs.huji.ac.il
Publications
-
Variable Automata over Infinite Alphabets
Orna Grumberg, Orna Kupferman and Sarai Sheinvald, LATA 10
-
A Framework for Inherent Vacuity
Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy and Moshe Vardi, HVC 08
-
Finding Shortest Witnesses to the Nonemptiness of Automata on
Infinite Words
Orna Kupferman and Sarai Sheinvald-Faragy, CONCUR 06
A piece by Kishon concerning the wonders of computation.
