Travelled to:
1 × Czech Republic
1 × Finland
1 × Taiwan
Collaborated with:
J.Högberg A.Maletti K.Knight Xusen Yin
Talks about:
automata (3) tree (3) minimis (2) bisimul (2) weight (2) comprehens (1) backward (1) toolkit (1) tiburon (1) forward (1)
Person: Jonathan May
DBLP: May:Jonathan
Contributed to:
Wrote 4 papers:
- CIAA-2007-HogbergMM #automaton #bisimulation
- Backward and Forward Bisimulation Minimisation of Tree Automata (JH, AM, JM), pp. 109–121.
- DLT-2007-HogbergMM #automaton #bisimulation
- Bisimulation Minimisation for Weighted Tree Automata (JH, AM, JM), pp. 229–241.
- CIAA-2006-MayK #automaton #named #tool support
- Tiburon: A Weighted Tree Automata Toolkit (JM, KK), pp. 102–113.
- CoG-2019-YinM #game studies
- Comprehensible Context-driven Text Game Playing (XY, JM), pp. 1–8.