| |
| 2007 | ||
|---|---|---|
| 3 | EE | Peter Habermehl, Radu Iosif, Adam Rogalewicz, Tomás Vojnar: Proving Termination of Tree Manipulating Programs. ATVA 2007: 145-161 |
| 2006 | ||
| 2 | EE | Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar: Abstract Regular Tree Model Checking of Complex Dynamic Data Structures. SAS 2006: 52-70 |
| 1 | EE | Ahmed Bouajjani, Peter Habermehl, Adam Rogalewicz, Tomás Vojnar: Abstract Regular Tree Model Checking. Electr. Notes Theor. Comput. Sci. 149(1): 37-48 (2006) |
| 1 | Ahmed Bouajjani | [1] [2] |
| 2 | Peter Habermehl | [1] [2] [3] |
| 3 | Radu Iosif | [3] |
| 4 | Tomás Vojnar | [1] [2] [3] |