| 2008 |
|---|
| 5 | EE | Parosh Aziz Abdulla,
Ahmed Bouajjani,
Lukás Holík,
Lisa Kaati,
Tomás Vojnar:
Composed Bisimulation for Tree Automata.
CIAA 2008: 212-222 |
| 4 | EE | Parosh Aziz Abdulla,
Ahmed Bouajjani,
Lukás Holík,
Lisa Kaati,
Tomás Vojnar:
Computing Simulations over Tree Automata.
TACAS 2008: 93-108 |
| 2007 |
|---|
| 3 | EE | Parosh Aziz Abdulla,
Johanna Högberg,
Lisa Kaati:
Bisimulation Minimization of Tree Automata.
Int. J. Found. Comput. Sci. 18(4): 699-713 (2007) |
| 2006 |
|---|
| 2 | EE | Parosh Aziz Abdulla,
Lisa Kaati,
Johanna Högberg:
Bisimulation Minimization of Tree Automata.
CIAA 2006: 173-185 |
| 2005 |
|---|
| 1 | EE | Parosh Aziz Abdulla,
Johann Deneux,
Lisa Kaati,
Marcus Nilsson:
Minimization of Non-deterministic Automata with Large Alphabets.
CIAA 2005: 31-42 |
