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 |