Travelled to:
1 × Hungary
1 × Italy
2 × Germany
2 × Spain
Collaborated with:
J.Niehren A.Lemay F.Seynhaeve J.Carme R.Gilleron G.Laurence S.Staworko F.D.Comité R.Treinen A.Caron S.Tison A.Terlutte
Talks about:
tree (6) transduc (2) sequenti (2) automata (2) learn (2) word (2) constraint (1) structur (1) quantifi (1) undecid (1)
Person: Marc Tommasi
DBLP: Tommasi:Marc
Contributed to:
Wrote 7 papers:
- LATA-2014-LaurenceLNST #learning #transducer
- Learning Sequential Tree-to-Word Transducers (GL, AL, JN, SS, MT), pp. 490–502.
- LATA-2011-LaurenceLNST #normalisation #top-down #transducer
- Normalization of Sequential Top-Down Tree-to-Word Transducers (GL, AL, JN, SS, MT), pp. 354–365.
- RTA-2004-CarmeNT #automaton #query
- Querying Unranked Trees with Stepwise Tree Automata (JC, JN, MT), pp. 105–118.
- DLT-2003-CarmeGLTT #automaton #finite
- Residual Finite Tree Automata (JC, RG, AL, AT, MT), pp. 171–182.
- MLDM-2003-ComiteGT #learning #multi
- Learning Multi-label Alternating Decision Trees from Texts and Data (FDC, RG, MT), pp. 35–49.
- RTA-1999-CaronSTT #quantifier #satisfiability
- Deciding the Satisfiability of Quantifier free Formulae on One-Step Rewriting (ACC, FS, ST, MT), pp. 103–117.
- TAPSOFT-1997-SeynhaeveTT #constraints #decidability #grid
- Grid Structure and Undecidable Constraint Theories (FS, MT, RT), pp. 357–368.