Travelled to:1 × Canada
1 × Taiwan
Collaborated with:P.Reynier J.Talbot
Talks about:pushdown (3) automata (3) visibl (3) trim (2) multipl (1) bounded (1) finit (1)
Person: Mathieu Caralp
DBLP: Caralp:Mathieu
Contributed to:
20132015
2012Wrote 3 papers:
- CIAA-2013-CaralpRT #automaton
- Trimming Visibly Pushdown Automata (MC, PAR, JMT), pp. 84–96.
- CIAA-J-2013-CaralpRT15 #automaton
- Trimming visibly pushdown automata (MC, PAR, JMT), pp. 13–29.
- DLT-2012-CaralpRT #automaton #bound #multi
- Visibly Pushdown Automata with Multiplicities: Finiteness and K-Boundedness (MC, PAR, JMT), pp. 226–238.