Travelled to:
1 × Hungary
1 × Taiwan
Collaborated with:
F.Otto M.Kutrib F.Mráz M.Plátek
Talks about:
automata (6) restart (3) stateless (2) pushdown (2) determin (2) two (2) preserv (1) correct (1) complex (1) versus (1)
Person: Hartmut Messerschmidt
DBLP: Messerschmidt:Hartmut
Contributed to:
Wrote 4 papers:
- AFL-2008-KutribMO #automaton #on the
- On Stateless Two-Pushdown Automata and Restarting Automata (MK, HM, FO), pp. 257–268.
- AFL-J-2008-KutribMO10 #automaton #on the
- On Stateless Two-Pushdown Automata and Restarting Automata (MK, HM, FO), pp. 781–798.
- LATA-2007-MesserschmidtO #automaton #nondeterminism #on the
- On Determinism Versus Non-Determinism for Restarting Automata (HM, FO), pp. 413–424.
- CIAA-2006-MesserschmidtMOP #complexity #correctness
- Correctness Preservation and Complexity of Simple RL-Automata (HM, FM, FO, MP), pp. 162–172.