Lisa Kaati


Om
Länkar
Kontakt

Publications

- 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.

Teaching

Distribuerade informationssystem, VT-03
Process algebra, VT-03
Informationsteknologi, sommar-03
Informationsteknologi, HT-03
Informationsteknolog, sommar -04
Distribuerade informationssystem, VT-04
Process algebra, VT-04
Process algebra, VT-05
Informationsteknologi, sommar-06

Contact

OBS! My current position is at the Swedish Defence Research Agency (FOI).
e-mail: lisa.kaati@it.uu.se
phone: 018-471 10 53