Gil Ratsaby

	2005
6		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		Gil Ratsaby, Baruch Sterin, Shmuel Ur: Improvements in Coverability Analysis. FME 2002: 41-56
3		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		Gil Ratsaby, Shmuel Ur, Yaron Wolfsthal: Coverability Analysis Using Symbolic Model Checking. CHARME 2001: 155-160
1		Orit Edelstein, Eitan Farchi, Yarden Nir, Gil Ratsaby, Shmuel Ur: Multithreaded Java program test generation. Java Grande 2001: 181

Coauthor Index

1	Orit Edelstein	[1] [3] [5]
2	Eitan Farchi	[1] [3] [5]
3	Evgeny Goldin	[5]
4	Dan Kenigsberg	[6]
5	Tal Mor	[6]
6	Yarden Nir-Buchbinder (Yarden Nir)	[1] [3] [5]
7	Baruch Sterin	[4]
8	Shmuel Ur	[1] [2] [3] [4] [5]
9	Yaron Wolfsthal (Yaron Wolfstahl)	[2]

Colors in the list of coauthors