Sarai Sheinvald-Faragy

	2008
2		Dana Fisman, Orna Kupferman, Sarai Sheinvald-Faragy, Moshe Y. Vardi: A Framework for Inherent Vacuity. Haifa Verification Conference 2008: 7-22
	2006
1		Orna Kupferman, Sarai Sheinvald-Faragy: Finding Shortest Witnesses to the Nonemptiness of Automata on Infinite Words. CONCUR 2006: 492-508

Coauthor Index

1	Dana Fisman	[2]
2	Orna Kupferman	[1] [2]
3	Moshe Y. Vardi	[2]