| |
| 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 |
| 1 | Parosh Aziz Abdulla | [1] [3] |
| 2 | Ahmed Bouajjani | [1] [2] [3] |
| 3 | Peter Habermehl | [2] |
| 4 | Lisa Kaati | [1] [3] |
| 5 | Tayssir Touili | [2] |
| 6 | Tomás Vojnar | [1] [2] [3] |