 | 2009 |
|---|
| 7 |       | Parosh Aziz Abdulla,
Lukás Holík,
Lisa Kaati,
Tomás Vojnar:
A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata.
Electr. Notes Theor. Comput. Sci. 251: 27-48 (2009) |
| 6 | | Parosh Aziz Abdulla,
Ahmed Bouajjani,
Lukás Holík,
Lisa Kaati,
Tomás Vojnar:
Composed Bisimulation for Tree Automata.
Int. J. Found. Comput. Sci. 20(4): 685-700 (2009) |
| 2008 |
|---|
| 5 | | Parosh Aziz Abdulla,
Ahmed Bouajjani,
Lukás Holík,
Lisa Kaati,
Tomás Vojnar:
Composed Bisimulation for Tree Automata.
CIAA 2008: 212-222 |
| 4 | | 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 | | 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 | | Parosh Aziz Abdulla,
Lisa Kaati,
Johanna Högberg:
Bisimulation Minimization of Tree Automata.
CIAA 2006: 173-185 |
| 2005 |
|---|
| 1 | | Parosh Aziz Abdulla,
Johann Deneux,
Lisa Kaati,
Marcus Nilsson:
Minimization of Non-deterministic Automata with Large Alphabets.
CIAA 2005: 31-42 |
