Marc Tommasi
8
Documents
Présentation
Professor in Computer Science at [Lille university](https://www.univ-lille.fr/). I am a member of [CRIStAL](https://www.cristal.univ-lille.fr/?rubrique9) lab. I am the leader of the [Magnet Team](https://team.inria.fr/magnet).
My research interests are machine learning, structured prediction for trees and graphs. I have also studied tree automata and set constraints.
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 8
- 4
- 3
- 1
- 1
- 1
- 4
- 2
- 1
- 1
Réduction de la non-linéarité des morphismes d'arbres Recognizable tree-languages and non-linear morphismsTheoretical Computer Science, 2002, 281 (1-2), pp.219-233. ⟨10.1016/S0304-3975(02)00014-2⟩
Article dans une revue
hal-02193763v1
|
|
Grid structures and undecidable constraint theoriesTheoretical Computer Science, 2001, 258 (1-2), pp.453-490. ⟨10.1016/S0304-3975(00)00032-3⟩
Article dans une revue
hal-02193758v1
|
|
Set constraints and automataInformation and Computation, 1999, 149 (1), pp.1--41
Article dans une revue
inria-00538886v1
|
Deciding the Satisfiability of Quantifier free Formulae on One-Step RewritingRewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings, 1999, Unknown, Unknown Region. pp.103--117, ⟨10.1007/3-540-48685-2_9⟩
Communication dans un congrès
hal-01820502v1
|
|
Homomorphisms and concurrent term rewritingFCT 1999 - International Symposium on Fundamentals of Computation Theory, Aug 1999, Iasi, Romania. pp.475-487, ⟨10.1007/3-540-48321-7_40⟩
Communication dans un congrès
hal-02193779v1
|
|
Some new Decidability Results on Positive and Negative Set ConstraintsProceedings of First International Conference on Constraints in Computational Logics, CCL'94, 1994, Munich, Germany. pp.336--351
Communication dans un congrès
inria-00538880v1
|
|
Solving Systems of Set Constraints using Tree AutomataProceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93, 1993, Würzburg, Germany. pp.505--514
Communication dans un congrès
inria-00538878v1
|
|
Solving Systems of Set Constraints with Negated Subset RelationshipsProceedings of the $34^th$ Symposium on Foundations of Computer Science, FOCS'93, 1993, Palo Alto California, United States. pp.372--380
Communication dans un congrès
inria-00538879v1
|