MADELAINE - Florent



F110 ISIMA
florent.madelaine@uca.fr
n/a
Enseignant chercheur
Axe MAAD : Modèles et Algorithmes de l’Aide à la Décision
Thème(s) : Algorithmique, Graphes, Complexité

Dernière(s) publication(s) au LIMOS :

Toutes les publications de Florent MADELAINE au LIMOS

Dernière(s) publication(s) au LIMOS :
2019
COMM 		Laurent Beaudou, Florent Foucaud, Florent Madelaine, Lhouari Nourine, Gaétan Richard
Complexity of Conjunctive Regular Path Query Homomorphisms
Conference on Computability in Europe (CiE 2019) - 2019		 Informatique/Base de données
2018
COMM 		Florent Madelaine, Stéphane Secouard
Quantified Valued Constraint Satisfaction Problem
Principles and Practice of Constraint Programming CP 2018 - 2018		 Informatique/Logique en informatique
2018
COMM 		Florent Madelaine, Barnaby Martin
Consistency for Counting Quantifiers
International Symposium on Mathematical Foundations of Computer Science - 2018		 Informatique/Logique en informatique
2018
COMM 		Manuel Bodirsky, Florent Madelaine, Antoine Mottet
A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP
the 33rd Annual ACM/IEEE Symposium - 2018		 Informatique/Logique en informatique
2017
ART 		Florent Madelaine, Barnaby Martin
On the complexity of the model checking problem
SIAM Journal on Computing - 2017 		Informatique/Logique en informatique