Raanan Gewirtzman

	1994
2		Ilan Beer, Shoham Ben-David, Daniel Geist, Raanan Gewirtzman, Michael Yoeli: Methodology and System for Practical Formal Verification of Reactive Hardware. CAV 1994: 182-193
	1991
1		Esther Levin, Raanan Gewirtzman, Gideon F. Inbar: Neural network architecture for adaptive system modeling and control. Neural Networks 4(2): 185-191 (1991)

Coauthor Index

1	Ilan Beer	[2]
2	Shoham Ben-David	[2]
3	Daniel Geist	[2]
4	Gideon F. Inbar	[1]
5	Esther Levin	[1]
6	Michael Yoeli	[2]

Colors in the list of coauthors