| |
| 2008 | ||
|---|---|---|
| 2 | EE | Parosh Aziz Abdulla, Ahmed Bouajjani, Jonathan Cederberg, Frédéric Haziza, Ahmed Rezine: Monotonic Abstraction for Programs with Dynamic Memory Heaps. CAV 2008: 341-354 |
| 1 | EE | Parosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Frédéric Haziza, Ahmed Rezine: Parameterized Tree Systems. FORTE 2008: 69-83 |
| 1 | Parosh Aziz Abdulla | [1] [2] |
| 2 | Ahmed Bouajjani | [2] |
| 3 | Jonathan Cederberg | [2] |
| 4 | Giorgio Delzanno | [1] |
| 5 | Noomene Ben Henda | [1] |
| 6 | Ahmed Rezine | [1] [2] |