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