Travelled to:
1 × Hungary
1 × Portugal
Collaborated with:
I.Klimann A.Bouillard M.Picantin S.Lombardy C.Prieur
Talks about:
automaton (2) group (2) implement (1) sequenti (1) generat (1) comput (1) ambigu (1) trace (1) finit (1) decid (1)
Person: Jean Mairesse
DBLP: Mairesse:Jean
Contributed to:
Wrote 3 papers:
- CIAA-2012-KlimannMP #automaton #implementation
- Implementing Computations in Automaton (Semi)groups (IK, JM, MP), pp. 240–252.
- DLT-2003-BouillardM #generative
- Generating Series of the Trace Group (AB, JM), pp. 159–170.
- DLT-2003-KlimannLMP #ambiguity #automaton
- Deciding the Sequentiality of a Finitely Ambiguous Max-Plus Automaton (IK, SL, JM, CP), pp. 373–385.