Publications HAL

2023

Journal articles

titre
Differentially private speaker anonymization
auteur
Ali Shahin Shamsabadi, Brij Mohan Lal Srivastava, Aurélien Bellet, Nathalie Vauquier, Emmanuel Vincent, Mohamed Maouche, Marc Tommasi, Nicolas Papernot
article
Proceedings on Privacy Enhancing Technologies, 2023, 2023 (1), ⟨10.48550/arXiv.2202.11823⟩
Accès au bibtex
https://arxiv.org/pdf/2202.11823 BibTex

Conference papers

titre
Differential Privacy has Bounded Impact on Fairness in Classification
auteur
Paul Mangold, Michaël Perrot, Aurélien Bellet, Marc Tommasi
article
International Conference on Machine Learning, Jul 2023, Honolulu, United States
Accès au texte intégral et bibtex
https://hal.science/hal-03902203/file/paper.pdf BibTex
titre
High-Dimensional Private Empirical Risk Minimization by Greedy Coordinate Descent
auteur
Paul Mangold, Aurélien Bellet, Joseph Salmon, Marc Tommasi
article
AISTATS 2023 - International Conference on Artificial Intelligence and Statistics, Apr 2023, Valencia, Spain
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03714465/file/paper.pdf BibTex
titre
Refined Convergence and Topology Learning for Decentralized SGD with Heterogeneous Data
auteur
Batiste Le Bars, Aurélien Bellet, Marc Tommasi, Erick Lavoie, Anne-Marie Kermarrec
article
Proceedings of The 26th International Conference on Artificial Intelligence and Statistics (AISTATS 2023), 2023, Valencia, Spain, Spain
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03905091/file/2204.04452.pdf BibTex

2022

Journal articles

titre
Privacy and utility of x-vector based speaker anonymization
auteur
Brij Mohan Lal Srivastava, Mohamed Maouche, Md Sahidullah, Emmanuel Vincent, Aurélien Bellet, Marc Tommasi, Natalia Tomashenko, Xin Wang, Junichi Yamagishi
article
IEEE/ACM Transactions on Audio, Speech and Language Processing, 2022, ⟨10.1109/TASLP.2022.3190741⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03197376/file/design_choices_informed.pdf BibTex
titre
Collaborative Algorithms for Online Personalized Mean Estimation
auteur
Mahsa Asadi, Aurélien Bellet, Odalric-Ambrym Maillard, Marc Tommasi
article
Transactions on Machine Learning Research Journal, 2022
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03905917/file/tmlr.pdf BibTex

Conference papers

titre
FLamby: Datasets and Benchmarks for Cross-Silo Federated Learning in Realistic Healthcare Settings
auteur
Jean Ogier Du Terrail, Samy-Safwan Ayed, Edwige Cyffers, Felix Grimberg, Chaoyang He, Regis Loeb, Paul Mangold, Tanguy Marchand, Othmane Marfoq, Erum Mushtaq, Boris Muzellec, Constantin Philippenko, Santiago Silva, Maria Teleńczuk, Shadi Albarqouni, Salman Avestimehr, Aurélien Bellet, Aymeric Dieuleveut, Martin Jaggi, Sai Praneeth Karimireddy, Marco Lorenzi, Giovanni Neglia, Marc Tommasi, Mathieu Andreux
article
NeurIPS 2022 - Thirty-sixth Conference on Neural Information Processing Systems, Nov 2022, New Orleans, United States
Accès au bibtex
https://arxiv.org/pdf/2210.04620 BibTex
titre
Enhancing speech privacy with slicing
auteur
Mohamed Maouche, Brij Mohan Lal Srivastava, Nathalie Vauquier, Aurélien Bellet, Marc Tommasi, Emmanuel Vincent
article
Interspeech 2022 - Human and Humanizing Speech Technology, Sep 2022, Incheon, South Korea
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03369137/file/maouche_IS2022.pdf BibTex
titre
Differentially Private Coordinate Descent for Composite Empirical Risk Minimization
auteur
Paul Mangold, Aurélien Bellet, Joseph Salmon, Marc Tommasi
article
ICML 2022 - 39th International Conference on Machine Learning, Jul 2022, Baltimore, United States. pp.14948-14978
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03424974/file/paper.pdf BibTex
titre
Extraction d'informations liées au locuteur depuis un modèle acoustique personnalisé
auteur
Salima Mdhaffar, Jean-François A Bonastre, Marc Tommasi, Natalia Tomashenko, Yannick Estève
article
JEP 2022, Jun 2022, île de Noirmoutier, France
Accès au texte intégral et bibtex
https://hal.science/hal-03706944/file/Extraction%20d%E2%80%99informations%20lie%CC%81es%20au%20locuteur%20depuis%20un%20mode%CC%80le%20acoustique%20personnalise%CC%81.pdf BibTex
titre
On speaker verification from the neural network footprint of personalized acoustic models
auteur
Natalia Tomashenko, Salima Mdhaffar, Marc Tommasi, Yannick Estève, Jean-François Bonastre
article
Journées d'Études sur la Parole - JEP2022, Jun 2022, Île de Noirmoutier, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03626964/file/FL_JEP_2022-HAL.pdf BibTex
titre
Retrieving Speaker Information from Personalized Acoustic Models for Speech Recognition
auteur
Salima Mdhaffar, Jean-François Bonastre, Marc Tommasi, Natalia Tomashenko, Yannick Estève
article
IEEE ICASSP 2022, 2022, Singapour, Singapore
Accès au texte intégral et bibtex
https://hal.science/hal-03539741/file/ICASSP_2022_SpeakerAnalysisInfoPrivacyVF.pdf BibTex
titre
Privacy attacks for automatic speech recognition acoustic models in a federated learning framework
auteur
Natalia Tomashenko, Salima Mdhaffar, Marc Tommasi, Yannick Estève, Jean-François Bonastre
article
ICASSP 2022, 2022, Singapour, Singapore
Accès au texte intégral et bibtex
https://hal.science/hal-03539742/file/FL_icassp2022_c.pdf BibTex

2021

Journal articles

titre
Enabling voice-based apps with European values
auteur
Akira Campbell, Thomas Kleinbauer, Marc Tommasi, Emmanuel Vincent
article
ERCIM News, 2021, 126, pp.38-39
Accès au bibtex
BibTex

Conference papers

titre
Study on Acoustic Model Personalization in a Context of Collaborative Learning Constrained by Privacy Preservation
auteur
Salima Mdhaffar, Marc Tommasi, Yannick Estève
article
SPECOM 2021 - 23rd International Conference on Speech and Computer, Sep 2021, St Petersburg, Russia. pp.426 - 436, ⟨10.1007/978-3-030-87802-3_39⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03369206/file/Personalization___SPECOM_21-4.pdf BibTex

2020

Journal articles

titre
Skill Rating for Multiplayer Games Introducing Hypernode Graphs and their Spectral Theory
auteur
Thomas Ricatte, Rémi Gilleron, Marc Tommasi
article
Journal of Machine Learning Research, 2020, 21, pp.1 - 18
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02566930/file/13-561.pdf BibTex

Conference papers

titre
Design Choices for X-vector Based Speaker Anonymization
auteur
Brij Mohan Lal Srivastava, Natalia Tomashenko, Xin Wang, Emmanuel Vincent, Junichi Yamagishi, Mohamed Maouche, Aurélien Bellet, Marc Tommasi
article
INTERSPEECH 2020, International Speech Communication Association (ISCA), Oct 2020, Shanghai, China
Accès au texte intégral et bibtex
https://hal.science/hal-02610447/file/design_choices_cameraready.pdf BibTex
titre
A comparative study of speech anonymization metrics
auteur
Mohamed Maouche, Brij Mohan Lal Srivastava, Nathalie Vauquier, Aurélien Bellet, Marc Tommasi, Emmanuel Vincent
article
INTERSPEECH 2020, Oct 2020, Shanghai, China
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02907918/file/anonymization_metrics_IS2020.pdf BibTex
titre
Fully Decentralized Joint Learning of Personalized Models and Collaboration Graphs
auteur
Valentina Zantedeschi, Aurélien Bellet, Marc Tommasi
article
AISTATS 2020 - The 23rd International Conference on Artificial Intelligence and Statistics, Aug 2020, Palerme / Virtual, Italy
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03100057/file/aistats20_graph.pdf BibTex
titre
Evaluating Voice Conversion-based Privacy Protection against Informed Attackers
auteur
Brij Mohan Lal Srivastava, Nathalie Vauquier, Md Sahidullah, Aurélien Bellet, Marc Tommasi, Emmanuel Vincent
article
ICASSP 2020 - 45th International Conference on Acoustics, Speech, and Signal Processing, IEEE Signal Processing Society, May 2020, Barcelona, Spain. pp.2802-2806
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02355115/file/ppvc_final.pdf BibTex

2019

Conference papers

titre
Privacy-Preserving Adversarial Representation Learning in ASR: Reality or Illusion?
auteur
Brij Mohan Lal Srivastava, Aurélien Bellet, Marc Tommasi, Emmanuel Vincent
article
INTERSPEECH 2019 - 20th Annual Conference of the International Speech Communication Association, Sep 2019, Graz, Austria
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02166434/file/srivastava_IS19.pdf BibTex

Reports

titre
Fully Decentralized Joint Learning of Personalized Models and Collaboration Graphs
auteur
Valentina Zantedeschi, Aurélien Bellet, Marc Tommasi
article
[Research Report] Inria. 2019
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02166433/file/1901.08460.pdf BibTex

2018

Conference papers

titre
Communication-Efficient Decentralized Boosting while Discovering the Collaboration Graph
auteur
Valentina Zantedeschi, Aurélien Bellet, Marc Tommasi
article
NeurIPS 2018 - Workshop on Machine Learning on the Phone and other Consumer Devices, 2nd Workshop on Machine Learning on the Phone and other Consumer Devices (MLPCD 2), Dec 2018, Montréal, Canada
Accès au bibtex
BibTex
titre
Personalized and Private Peer-to-Peer Machine Learning
auteur
Aurélien Bellet, Rachid Guerraoui, Mahsa Taziki, Marc Tommasi
article
AISTATS 2018 - 21st International Conference on Artificial Intelligence and Statistics, Apr 2018, Lanzarote, Spain. pp.1-20
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01745796/file/aistats18_supp.pdf BibTex

2017

Journal articles

titre
Whole-brain high-resolution structural connectome: inter-subject validation and application to the anatomical segmentation of the striatum
auteur
Pierre Besson, Nicolas Carrière, Sarah Kathleen Bandt, Marc Tommasi, Xavier Leclerc, Philippe Derambure, Renaud Lopes, Louise Tyvaert
article
Brain Topography: a Journal of Cerebral Function and Dynamics, 2017, 30 (3), pp.291-302. ⟨10.1007/s10548-017-0548-0⟩
Accès au bibtex
BibTex

Conference papers

titre
Personalized and Private Peer-to-Peer Machine Learning
auteur
Aurélien Bellet, Rachid Guerraoui, Mahsa Taziki, Marc Tommasi
article
NIPS 2017 - Workshop on Machine Learning on the Phone and other Consumer Devices, Dec 2017, Long Beach, United States
Accès au bibtex
BibTex
titre
Decentralized Collaborative Learning of Personalized Models over Networks
auteur
Paul Vanhaesebrouck, Aurélien Bellet, Marc Tommasi
article
International Conference on Artificial Intelligence and Statistics (AISTATS), Apr 2017, Fort Lauderdale, Florida., United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01533182/file/supplementary.pdf BibTex

Reports

titre
Fast and Differentially Private Algorithms for Decentralized Collaborative Machine Learning
auteur
Aurélien Bellet, Rachid Guerraoui, Mahsa Taziki, Marc Tommasi
article
[Research Report] INRIA Lille. 2017, pp.1-18
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01665410/file/Decentralized_Personalized_CD_Privacy.pdf BibTex

2016

Reports

titre
Decentralized Collaborative Learning of Personalized Models over Networks
auteur
Paul Vanhaesebrouck, Aurélien Bellet, Marc Tommasi
article
[Research Report] INRIA Lille. 2016
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01383544/file/main_arXiv.pdf BibTex

2015

Other publications

titre
Sequential Tree-to-Word Transducers: Normalization, Minimization, and Learning
auteur
Grégoire Laurence, Aurélien Lemay, Joachim Niehren, Slawomir Staworko, Marc Tommasi
article
2015
Accès au bibtex
BibTex
titre
L’apprentissage automatique : le diable n’est pas dans l’algorithme
auteur
Philippe Preux, Marc Tommasi, Thierry Viéville, Colin de La Higuera
article
2015
Accès au bibtex
BibTex

Reports

titre
Hypernode Graphs for Learning from Binary Relations between Groups in Networks
auteur
Thomas Ricatte, Rémi Gilleron, Marc Tommasi
article
[Research Report] INRIA Lille. 2015
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01247103/file/main.pdf BibTex

2014

Conference papers

titre
Fast Gaussian Pairwise Constrained Spectral Clustering
auteur
David Chatel, Pascal Denis, Marc Tommasi
article
ECML/PKDD - 7th European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 2014, Nancy, France. pp.242 - 257, ⟨10.1007/978-3-662-44848-9_16⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01017269/file/fgpwc.pdf BibTex
titre
Hypernode Graphs for Spectral Learning on Binary Relations over Sets
auteur
Thomas Ricatte, Rémi Gilleron, Marc Tommasi
article
ECML/PKDD - 7th European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Sep 2014, Nancy, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01017025/file/Hypernode_Graphs_for_Spectral_Learning_on_Binary_Relations_over_Sets.pdf BibTex
titre
Hypernode Graphs for Spectral Learning on Binary Relations over Sets
auteur
Thomas Ricatte, Rémi Gilleron, Marc Tommasi
article
Conférence Francophone sur l'Apprentissage Automatique (Cap 2014), Jul 2014, Saint-Etienne, France. ⟨10.1007/978-3-662-44851-9_42⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01104618/file/cap2014_v1.pdf BibTex
titre
Clustering Spectral avec Contraintes de Paires réglées par Noyaux Gaussiens
auteur
David Chatel, Pascal Denis, Marc Tommasi
article
CAP 2014, Jul 2014, Saint-Etienne, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01105339/file/fgpwc.pdf BibTex
titre
Learning Sequential Tree-to-Word Transducers
auteur
Grégoire Laurence, Aurélien Lemay, Joachim Niehren, Slawomir Staworko, Marc Tommasi
article
8th International Conference on Language and Automata Theory and Applications, Mar 2014, Madrid, Spain
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00912969/file/main.pdf BibTex

Poster communications

titre
Hypernode Graphs for Learning from Binary Relations between Groups in Networks
auteur
Thomas Ricatte, Rémi Gilleron, Marc Tommasi
article
Networks: From Graphs to Rich Data, NIPS Workshop., Dec 2014, Montreal, Canada. , 2014
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01088036/file/main.pdf BibTex

2013

Conference papers

titre
Learning from Multiple Graphs using a Sigmoid Kernel
auteur
Thomas Ricatte, Gemma C. Garriga, Rémi Gilleron, Marc Tommasi
article
The 12th International Conference on Machine Learning and Applications (ICMLA'13), Dec 2013, Miami, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00913237/file/main.pdf BibTex

Reports

titre
A Spectral Framework for a Class of Undirected Hypergraphs
auteur
Thomas Ricatte, Gemma C. Garriga, Rémi Gilleron, Marc Tommasi
article
[Research Report] 2013
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00914286/file/main.pdf BibTex

Preprints, Working Papers, ...

titre
Probability Estimation over Large-Scale Random Networks via the Fiedler Delta Statistic
auteur
Antonino Freno, Mikaela Keller, Marc Tommasi
article
2013
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00922432/file/FRF.pdf BibTex

2012

Conference papers

titre
Fiedler Random Fields: A Large-Scale Spectral Approach to Statistical Network Modeling
auteur
Antonino Freno, Mikaela Keller, Marc Tommasi
article
Neural Information Processing Systems (NIPS), Dec 2012, Lake Tahoe, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00750345/file/extended_paper.pdf BibTex
titre
Spectral Estimation of Conditional Random Graph Models for Large-Scale Network data
auteur
Antonino Freno, Mikaela Keller, Gemma C. Garriga, Marc Tommasi
article
UAI 2012 - 28th Conference on Uncertainty in Artificial Intelligence, 2012, Avalon, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00714446/file/CRGs.pdf BibTex

2011

Conference papers

titre
Normalization of Sequential Top-Down Tree-to-Word Transducers
auteur
Grégoire Laurence, Aurélien Lemay, Joachim Niehren, Slawomir Staworko, Marc Tommasi
article
5th International Conference on Language Automata Theory and Appliciations, May 2011, Tarragona, Spain
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00566291/file/lata-final.pdf BibTex

Book sections

titre
Champs Markoviens Conditionnels pour l'extraction d'information
auteur
Isabelle Tellier, Marc Tommasi
article
Eric Gaussier and François Yvon. Modèles probabilistes pour l'accès à l'information textuelle, Hermès, pp.223-267, 2011
Accès au bibtex
BibTex

2010

Reports

titre
Series, Weighted Automata, Probabilistic Automata and Probability Distributions for Unranked Trees.
auteur
Édouard Gilbert, Rémi Gilleron, Marc Tommasi
article
[Research Report] RR-7200, INRIA. 2010, pp.23
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00455955/file/RR-7200.pdf BibTex

2008

Conference papers

titre
Automatic Wrapper Induction from Hidden-Web Sources with Domain Knowledge
auteur
Marc Tommasi, Rémi Gilleron, Pierre Senellart, Avin Mittal, Daniel Muschick
article
International Workshop on Web information and data managment, Oct 2008, Napa, United States. pp.9-16
Accès au bibtex
BibTex
titre
Relevant Representations for the Inference of Rational Stochastic Tree Languages
auteur
François Denis, Edouard Gilbert, Amaury Habrard, Faïssal Ouardi, Marc Tommasi
article
International Colloquium on Grammatical Inference, 2008, St Malo, France. pp.57-70
Accès au texte intégral et bibtex
https://hal.science/hal-00293511/file/RelevantRepRSTL.pdf BibTex

Books

titre
Tree Automata Techniques and Applications
auteur
Hubert Comon, Max Dauchet, Rémi Gilleron, Florent Jacquemard, Denis Lugiez, Christof Löding, Sophie Tison, Marc Tommasi
article
pp.262, 2008
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03367725/file/tata.pdf BibTex

Reports

titre
Conditional Random Fields for XML Applications
auteur
Rémi Gilleron, Florent Jousse, Marc Tommasi, Isabelle Tellier
article
[Research Report] RR-6738, INRIA. 2008
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00342279/file/RR-6738.pdf BibTex

2007

Conference papers

titre
On Probability Distributions for Trees: Representations, Inference and Learning
auteur
François Denis, Amaury Habrard, Rémi Gilleron, Marc Tommasi, Édouard Gilbert
article
NIPS Workshop on Representations and Inference on Probability Distributions, Dec 2007, Whistler, Canada
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00294636/file/nips07.pdf BibTex

2006

Conference papers

titre
Interactive Tuples Extraction from Semi-Structured Data
auteur
Rémi Gilleron, Patrick Marty, Fabien Torre, Marc Tommasi
article
Web Intelligence, Dec 2006, Hong Kong, China
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00581253/file/WI2006.pdf BibTex
titre
XML Document Transformation with Conditional Random Fields
auteur
Rémi Gilleron, Florent Jousse, Isabelle Tellier, Marc Tommasi
article
INEX 2006, Dec 2006, Dagstuhl, Germany
Accès au bibtex
BibTex
titre
Conditional Random Fields for XML Trees
auteur
Florent Jousse, Rémi Gilleron, Isabelle Tellier, Marc Tommasi
article
Workshop on Mining and Learning in Graphs, Sep 2006, Berlin, Germany
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00118761/file/jousse_MLG06.pdf BibTex
titre
Champs Conditionnels Aléatoires pour l'Annotation d'Arbres
auteur
Florent Jousse, Rémi Gilleron, Isabelle Tellier, Marc Tommasi
article
CAp 2006, May 2006, Trégastel, France
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00117014/file/jousse.pdf BibTex

Habilitation à diriger des recherches

titre
Structures arborescentes et apprentissage automatique
auteur
Marc Tommasi
article
Autre [cs.OH]. Université Charles de Gaulle - Lille III, 2006
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00117063/file/main.pdf BibTex

2004

Conference papers

titre
Querying Unranked Trees with Stepwise Tree Automata
auteur
Julien Carme, Joachim Niehren, Marc Tommasi
article
19th International Conference on Rewriting Techniques and Applications, 2004, Aachen, Georgia. pp.105--118
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00536529/file/stepwise.pdf BibTex

2003

Conference papers

titre
Residual Finite Tree Automata
auteur
Julien Carme, Rémi Gilleron, Marc Tommasi, Alain Terlutte, Aurélien Lemay
article
7th International Conference on Developments in Language Theory, Jul 2003, Szeged, Hungary, Hungary. pp.171 -- 182
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00091272/file/dlt03.pdf BibTex
titre
Learning Multi-label Alternating Decision Trees from Texts and Data
auteur
Françesco de Comite, Rémi Gilleron, Marc Tommasi
article
International Conference on Machine Learning and Data Mining, 2003, Leipzig, Georgia. pp.35-49
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00536733/file/mldm03.pdf BibTex

2002

Journal articles

titre
Réduction de la non-linéarité des morphismes d'arbres Recognizable tree-languages and non-linear morphisms
auteur
Max Dauchet, Sophie Tison, Marc Tommasi
article
Theoretical Computer Science, 2002, 281 (1-2), pp.219-233. ⟨10.1016/S0304-3975(02)00014-2⟩
Accès au bibtex
BibTex

Conference papers

titre
Text Classification from Positive and Unlabeled Examples
auteur
François Denis, Rémi Gilleron, Marc Tommasi
article
Proceedings of the 9th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU'02, 2002, Grenoble, France. pp.1927--1934
Accès au bibtex
BibTex

2001

Journal articles

titre
Grid structures and undecidable constraint theories
auteur
Franck Seynhaeve, Sophie Tison, Marc Tommasi, Ralf Treinen
article
Theoretical Computer Science, 2001, 258 (1-2), pp.453-490. ⟨10.1016/S0304-3975(00)00032-3⟩
Accès au bibtex
BibTex

1999

Journal articles

titre
Set constraints and automata
auteur
Rémi Gilleron, Sophie Tison, Marc Tommasi
article
Information and Computation, 1999, 149 (1), pp.1--41
Accès au bibtex
BibTex

Conference papers

titre
Homomorphisms and concurrent term rewriting
auteur
Franck Seynhaeve, Sophie Tison, Marc Tommasi
article
FCT 1999 - International Symposium on Fundamentals of Computation Theory, Aug 1999, Iasi, Romania. pp.475-487, ⟨10.1007/3-540-48321-7_40⟩
Accès au bibtex
BibTex
titre
Deciding the Satisfiability of Quantifier free Formulae on One-Step Rewriting
auteur
Anne-Cécile Caron, Franck Seynhaeve, Sophie Tison, Marc Tommasi
article
Rewriting 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⟩
Accès au bibtex
BibTex

1994

Conference papers

titre
Some new Decidability Results on Positive and Negative Set Constraints
auteur
Rémi Gilleron, Sophie Tison, Marc Tommasi
article
Proceedings of First International Conference on Constraints in Computational Logics, CCL'94, 1994, Munich, Germany. pp.336--351
Accès au bibtex
BibTex

1993

Conference papers

titre
Solving Systems of Set Constraints using Tree Automata
auteur
Rémi Gilleron, Sophie Tison, Marc Tommasi
article
Proceedings of the 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS'93, 1993, Würzburg, Germany. pp.505--514
Accès au bibtex
BibTex
titre
Solving Systems of Set Constraints with Negated Subset Relationships
auteur
Rémi Gilleron, Sophie Tison, Marc Tommasi
article
Proceedings of the $34^th$ Symposium on Foundations of Computer Science, FOCS'93, 1993, Palo Alto California, United States. pp.372--380
Accès au bibtex
BibTex