|
- P.A. Abdulla, L. Holik, L. Kaati, and T. Vojnar. A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata.
Manuscript 2008.
|
|
- P.A. Abdulla, A. Bouajjani, L. Holik, L. Kaati, and T. Vojnar.
Composed Bisimulation for Tree Automata.
In Proc. of 13th International Conference on Implementation and Application of Automata, LNCS 5148:212-222 (2008).
CIAA 08 Best Paper Award.
Extended version.
|
|
- P.A. Abdulla, A. Bouajjani, L. Holik, L. Kaati, and T. Vojnar.
Computing Simulations over Tree Automata: Efficient Techniques for Reducing Tree Automata (extended version). In Proc. of 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems -TACAS'08, LNCS 4963:93-108 (2008).
Extended version.
|
|
- Parosh Aziz Abdulla, Johanna Högberg, and Lisa Kaati.
Bisimulation Minimization of Tree Automata. In Proc. CIAA'06, The 11th International Conference on Implementation and Application of Automata,
LNCS 4095:173-185 (2006).
CIAA 06 Best Paper Award.
Extended version.
|
|
- Parosh Aziz Abdulla, Johann Deneux, Lisa Kaati, and Marcus Nilsson.
Minimization of Non-Deterministic Automata with Large Alphabets. Proc. CIAA'05, 10th International Conference on Implementation and Application of Automata, LNCS 3845:31-42 (2005).
Extended version.
|