Aharon Abadi

	2009
2		Aharon Abadi, Ran Ettinger, Yishai A. Feldman: Improving slice accuracy by compression of data and control flow paths. ESEC/SIGSOFT FSE 2009: 223-232
	2007
1		Aharon Abadi, Alexander Moshe Rabinovich, Mooly Sagiv: Decidable Fragments of Many-Sorted Logic. LPAR 2007: 17-31

Coauthor Index

1	Ran Ettinger	[2]
2	Yishai A. Feldman	[2]
3	Alexander Moshe Rabinovich (Alexander Rabinovich)	[1]
4	Shmuel Sagiv (Mooly Sagiv)	[1]

Colors in the list of coauthors