| * | 2009 |
|---|
| 4 | EE | 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 |
|---|
| 3 | EE | Parosh Aziz Abdulla,
Ahmed Bouajjani,
Lukás Holík,
Lisa Kaati,
Tomás Vojnar:
Composed Bisimulation for Tree Automata.
CIAA 2008: 212-222 |
| 2 | EE | Ahmed Bouajjani,
Peter Habermehl,
Lukás Holík,
Tayssir Touili,
Tomás Vojnar:
Antichain-Based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata.
CIAA 2008: 57-67 |
| 1 | EE | Parosh Aziz Abdulla,
Ahmed Bouajjani,
Lukás Holík,
Lisa Kaati,
Tomás Vojnar:
Computing Simulations over Tree Automata.
TACAS 2008: 93-108 |
