| 2005 |
|---|
| 6 | EE | Dan Kenigsberg,
Tal Mor,
Gil Ratsaby:
Quantum Advantage without Entanglement
CoRR abs/quant-ph/0511272: (2005) |
| 2003 |
|---|
| 5 | | Orit Edelstein,
Eitan Farchi,
Evgeny Goldin,
Yarden Nir,
Gil Ratsaby,
Shmuel Ur:
Framework for testing multi-threaded Java programs.
Concurrency and Computation: Practice and Experience 15(3-5): 485-499 (2003) |
| 2002 |
|---|
| 4 | EE | Gil Ratsaby,
Baruch Sterin,
Shmuel Ur:
Improvements in Coverability Analysis.
FME 2002: 41-56 |
| 3 | EE | Orit Edelstein,
Eitan Farchi,
Yarden Nir,
Gil Ratsaby,
Shmuel Ur:
Multithreaded Java program test generation.
IBM Systems Journal 41(1): 111-125 (2002) |
| 2001 |
|---|
| 2 | EE | Gil Ratsaby,
Shmuel Ur,
Yaron Wolfsthal:
Coverability Analysis Using Symbolic Model Checking.
CHARME 2001: 155-160 |
| 1 | EE | Orit Edelstein,
Eitan Farchi,
Yarden Nir,
Gil Ratsaby,
Shmuel Ur:
Multithreaded Java program test generation.
Java Grande 2001: 181 |
