Gil Ratsaby

Publication Activity (10 Years)

Years Active: 2001-2006
Publications (10 Years): 0

Publications

Dan Kenigsberg, Tal Mor, Gil Ratsaby
Quantum advantage without entanglement. Quantum Inf. Comput. 6 (7) (2006)
Dan Kenigsberg, Tal Mor, Gil Ratsaby
Quantum Advantage without Entanglement CoRR (2005)
Orit Edelstein, Eitan Farchi, Evgeny Goldin, Yarden Nir, Gil Ratsaby, Shmuel Ur
Framework for testing multi-threaded Java programs. Concurr. Comput. Pract. Exp. 15 (3-5) (2003)
Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur
Multithreaded Java program test generation. IBM Syst. J. 41 (1) (2002)
Gil Ratsaby, Baruch Sterin, Shmuel Ur
Improvements in Coverability Analysis. FME (2002)
Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur
Multithreaded Java program test generation. Java Grande (2001)
Gil Ratsaby, Shmuel Ur, Yaron Wolfsthal
Coverability Analysis Using Symbolic Model Checking. CHARME (2001)