| |
| * | 2009 | |
|---|---|---|
| 2 | EE | 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 | EE | Aharon Abadi, Alexander Moshe Rabinovich, Mooly Sagiv: Decidable Fragments of Many-Sorted Logic. LPAR 2007: 17-31 |
| 1 | Ran Ettinger | [2] |
| 2 | Yishai A. Feldman | [2] |
| 3 | Alexander Moshe Rabinovich (Alexander Rabinovich) | [1] |
| 4 | Shmuel Sagiv (Mooly Sagiv) | [1] |