BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kaati:Lisa

Contributed to:

CIAA 20082008
CIAA 20082009
TACAS 20082008
CIAA 20062006
CIAA 20062007
CIAA 20052005

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

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.