 | 2009 |
|---|
| 5 |       | 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) |
| 4 | | 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 | | Parosh Aziz Abdulla,
Ahmed Bouajjani,
Lukás Holík,
Lisa Kaati,
Tomás Vojnar:
Composed Bisimulation for Tree Automata.
CIAA 2008: 212-222 |
| 2 | | 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 | | Parosh Aziz Abdulla,
Ahmed Bouajjani,
Lukás Holík,
Lisa Kaati,
Tomás Vojnar:
Computing Simulations over Tree Automata.
TACAS 2008: 93-108 |
