Travelled to:1 × France
1 × Hungary
1 × Taiwan
1 × USA
Collaborated with:P.A.Abdulla J.Högberg A.Bouajjani L.Holík T.Vojnar J.Deneux M.Nilsson
Talks about:automata (6) tree (5) bisimul (4) minim (3) compos (2) determinist (1) alphabet (1) comput (1) simul (1) larg (1)
Person: Lisa Kaati
DBLP: Kaati:Lisa
Contributed to:
20082009
2008200620072005Wrote 6 papers:
- CIAA-2008-AbdullaBHKV #automaton #bisimulation
- Composed Bisimulation for Tree Automata (PAA, AB, LH, LK, TV), pp. 212–222.
- CIAA-J-2008-AbdullaBHKV09 #automaton #bisimulation
- Composed Bisimulation for Tree Automata (PAA, AB, LH, LK, TV), pp. 685–700.
- TACAS-2008-AbdullaBHKV #automaton #simulation
- Computing Simulations over Tree Automata (PAA, AB, LH, LK, TV), pp. 93–108.
- CIAA-2006-AbdullaKH #automaton #bisimulation
- Bisimulation Minimization of Tree Automata (PAA, LK, JH), pp. 173–185.
- CIAA-J-2006-AbdullaHK07 #automaton #bisimulation
- Bisimulation Minimization of Tree Automata (PAA, JH, LK), pp. 699–713.
- CIAA-2005-AbdullaDKN #automaton #nondeterminism #scalability
- Minimization of Non-deterministic Automata with Large Alphabets (PAA, JD, LK, MN), pp. 31–42.