| 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 | |
| 1 | Ran Ettinger | |
| 2 | Yishai A. Feldman | |
| 3 | Alexander Moshe Rabinovich (Alexander Rabinovich) | |
| 4 | Shmuel Sagiv (Mooly Sagiv) | |
| 5 | Mati Shomrat |
Colors in the list of coauthors
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