MADELAINE - Florent



F110 ISIMA
florent.madelaine@uca.fr
n/a
Researcher teacher
Axe : Axis MAAD: Models and Algorithms of the Decision-making support
Themes : Algorithmics, Graphs, Complexity ,

Last publications in LIMOS

All the publications of Florent MADELAINE at LIMOS

Last publications in 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 - 2019
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
Florent Madelaine, Stéphane Secouard
Quantified Valued Constraint Satisfaction Problem
Principles and Practice of Constraint Programming - 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