| |
other persons with the same name:
| 2007 | ||
|---|---|---|
| 2 | EE | Ariel Cohen, John W. O'Leary, Amir Pnueli, Mark R. Tuttle, Lenore D. Zuck: Verifying Correctness of Transactional Memories. FMCAD 2007: 37-44 |
| 2006 | ||
| 1 | EE | Ittai Balaban, Ariel Cohen, Amir Pnueli: Ranking Abstraction of Recursive Programs. VMCAI 2006: 267-281 |
| 1 | Ittai Balaban | [1] |
| 2 | John W. O'Leary | [2] |
| 3 | Amir Pnueli | [1] [2] |
| 4 | Mark R. Tuttle | [2] |
| 5 | Lenore D. Zuck | [2] |