MADELAINE - Florent

Toutes les publications (8)
Date/Type Titre/URL/journal Domaines Notes SJR/Core Cit. GScholar
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/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 CP 2018 - 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
2015
COMM
Catarina Carvalho, Florent Madelaine, Barnaby Daniel Martin
From complexity to algebra and back: digraph classes, collapsibility and the PGP
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science - 2015
Informatique/Logique en informatique
2013
UNDEFINED
Hubie Chen, Florent Madelaine, Barnaby Martin
Quantified Constraints and Containment Problems
Informatique/Logique en informatique
2012
HDR
Florent Madelaine
Mémoire d'habilitation à diriger des recherches
Informatique/Intelligence artificielle