Aharon Abadi

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2012
c4		Aharon Abadi, Ran Ettinger, Yishai A. Feldman: Fine Slicing - Theory and Applications for Computation Extraction. FASE 2012: 471-485
	2011
c3		Aharon Abadi, Ran Ettinger, Yishai A. Feldman, Mati Shomrat: Automatically fixing security vulnerabilities in Java code. OOPSLA Companion 2011: 3-4
	2010
j1		Aharon Abadi, Alexander Rabinovich, Mooly Sagiv: Decidable fragments of many-sorted logic. J. Symb. Comput. 45(2): 153-172 (2010)
	2009
c2		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
c1		Aharon Abadi, Alexander Moshe Rabinovich, Mooly Sagiv: Decidable Fragments of Many-Sorted Logic. LPAR 2007: 17-31

Coauthor Index

1	Ran Ettinger	[c4] [c3] [c2]
2	Yishai A. Feldman	[c4] [c3] [c2]
3	Alexander Moshe Rabinovich (Alexander Rabinovich)	[j1] [c1]
4	Shmuel Sagiv (Mooly Sagiv)	[j1] [c1]
5	Mati Shomrat	[c3]

Last update Fri May 24 14:04:14 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page