Edit Profile (opens in new tab) Madelaine, Florent R. Compute Distance To: Compute Author ID: madelaine.florent-r Published as: Madelaine, Florent; Madelaine, Florent R. External Links: MGP Documents Indexed: 20 Publications since 2003 Co-Authors: 12 Co-Authors with 18 Joint Publications 322 Co-Co-Authors all top 5 Co-Authors 2 single-authored 10 Martin, Barnaby D. 4 Stewart, Iain A. 2 Bodirsky, Manuel 2 Mottet, Antoine 2 Stacho, Juraj 1 Beaudou, Laurent 1 Chen, Hubie 1 Dantchev, Stefan Stoyanov 1 Feder, Tomás 1 Foucaud, Florent 1 Nourine, Lhouari 1 Richard, Gaétan all top 5 Serials 3 SIAM Journal on Computing 2 Logical Methods in Computer Science 1 Discrete Mathematics 1 Ars Combinatoria 1 Theoretical Computer Science 1 SIAM Journal on Discrete Mathematics 1 ACM Transactions on Computational Logic all top 5 Fields 19 Computer science (68-XX) 11 Mathematical logic and foundations (03-XX) 5 Combinatorics (05-XX) 2 General algebraic systems (08-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Operations research, mathematical programming (90-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 13 Publications have been cited 51 times in 42 Documents Cited by ▼ Year ▼ Improved upper and lower bounds on the feedback vertex numbers of grids and butterflies. Zbl 1154.05055Madelaine, Florent R.; Stewart, Iain A. 9 2008 Dichotomies for classes of homomorphism problems involving unary functions. Zbl 1070.68133Feder, Tomás; Madelaine, Florent; Stewart, Iain A. 7 2004 Towards a trichotomy for quantified \(H\)-coloring. Zbl 1145.68436Martin, Barnaby; Madelaine, Florent 6 2006 A universal-algebraic proof of the complexity dichotomy for monotone monadic SNP. Zbl 1452.03084Bodirsky, Manuel; Madelaine, Florent; Mottet, Antoine 5 2018 Constraint satisfaction, logic and forbidden patterns. Zbl 1142.68035Madelaine, Florent; Stewart, Iain A. 5 2007 Constraint satisfaction with counting quantifiers. Zbl 1392.68206Martin, Barnaby; Madelaine, Florent; Stacho, Juraj 4 2015 From complexity to algebra and back: digraph classes, collapsibility, and the PGP. Zbl 1401.68115Carvalho, Catarina; Madelaine, Florent; Martin, Barnaby 3 2015 The complexity of positive first-order logic without equality. Zbl 1351.68119Madelaine, Florent; Martin, Barnaby 3 2012 Universal structures and the logic of forbidden patterns. Zbl 1163.68019Madelaine, Florent R. 2 2009 Constraint satisfaction with counting quantifiers. Zbl 1360.68514Madelaine, Florent; Martin, Barnaby; Stacho, Juraj 2 2012 Quantified constraints and containment problems. Zbl 1448.68248Chen, Hubie; Madelaine, Florent R.; Martin, Barnaby 2 2015 QCSP on partially reflexive cycles – the wavy line of tractability. Zbl 1381.68099Madelaine, Florent; Martin, Barnaby 2 2013 On the complexity of the model checking problem. Zbl 1393.68078Madelaine, Florent R.; Martin, Barnaby D. 1 2018 A universal-algebraic proof of the complexity dichotomy for monotone monadic SNP. Zbl 1452.03084Bodirsky, Manuel; Madelaine, Florent; Mottet, Antoine 5 2018 On the complexity of the model checking problem. Zbl 1393.68078Madelaine, Florent R.; Martin, Barnaby D. 1 2018 Constraint satisfaction with counting quantifiers. Zbl 1392.68206Martin, Barnaby; Madelaine, Florent; Stacho, Juraj 4 2015 From complexity to algebra and back: digraph classes, collapsibility, and the PGP. Zbl 1401.68115Carvalho, Catarina; Madelaine, Florent; Martin, Barnaby 3 2015 Quantified constraints and containment problems. Zbl 1448.68248Chen, Hubie; Madelaine, Florent R.; Martin, Barnaby 2 2015 QCSP on partially reflexive cycles – the wavy line of tractability. Zbl 1381.68099Madelaine, Florent; Martin, Barnaby 2 2013 The complexity of positive first-order logic without equality. Zbl 1351.68119Madelaine, Florent; Martin, Barnaby 3 2012 Constraint satisfaction with counting quantifiers. Zbl 1360.68514Madelaine, Florent; Martin, Barnaby; Stacho, Juraj 2 2012 Universal structures and the logic of forbidden patterns. Zbl 1163.68019Madelaine, Florent R. 2 2009 Improved upper and lower bounds on the feedback vertex numbers of grids and butterflies. Zbl 1154.05055Madelaine, Florent R.; Stewart, Iain A. 9 2008 Constraint satisfaction, logic and forbidden patterns. Zbl 1142.68035Madelaine, Florent; Stewart, Iain A. 5 2007 Towards a trichotomy for quantified \(H\)-coloring. Zbl 1145.68436Martin, Barnaby; Madelaine, Florent 6 2006 Dichotomies for classes of homomorphism problems involving unary functions. Zbl 1070.68133Feder, Tomás; Madelaine, Florent; Stewart, Iain A. 7 2004 all cited Publications top 5 cited Publications all top 5 Cited by 58 Authors 12 Martin, Barnaby D. 4 Liu, Tian 4 Madelaine, Florent R. 4 Xu, Ke 3 Bodirsky, Manuel 3 Bulatov, Andrei A. 3 Chen, Hubie 3 Fu, Hunglin 3 Hell, Pavol 3 Mottet, Antoine 3 Nešetřil, Jaroslav 3 Pinsker, Michael 3 Pongrácz, András 2 Glaßer, Christian 2 Jeavons, Peter G. 2 Jiang, Wei 2 Jonsson, Peter A. 2 Kuo, Jyhmin 2 Lien, Min-Yun 2 Lu, Min 2 Lu, Zhao 2 Wrona, Michał 2 Wu, Baoyindureng 2 Zádori, László 2 Zhuk, Dmitriy N. 1 Baader, Franz 1 Börner, Ferdinand 1 Cohen, David A. 1 Cooper, Martin C. 1 Dalmau, Víictor 1 Dapić, Petar 1 Feder, Tomás 1 Feier, Cristina 1 Finger, Marcelo 1 Gillibert, Pierre 1 Huang, Jing 1 Idziak, Paweł M. 1 Jonušas, Julius 1 Kawałek, Piotr 1 Kompatscher, Michael 1 Krokhin, Andrei A. 1 Krzaczkowski, Jacek 1 Kuusisto, Antti 1 Larose, Benoit 1 Lutz, Carsten 1 Marković, Petar 1 Olšák, Miroslav 1 Opršal, Jakub 1 Rafiey, Arash 1 Ren, Tienan 1 Rydval, Jakub 1 Shih, Chie-Huai 1 Stacho, Juraj 1 Wang, Chaoyi 1 Willard, Ross 1 Yuan, Lili 1 Zhao, Biao 1 Živný, Stanislav all top 5 Cited in 16 Serials 4 SIAM Journal on Computing 4 Theoretical Computer Science 2 Information Processing Letters 2 Algebra Universalis 2 Information and Computation 2 International Journal of Algebra and Computation 2 ACM Transactions on Computational Logic 2 Discrete Mathematics, Algorithms and Applications 2 Computer Science Review 1 Journal of Combinatorial Theory. Series A 1 The Journal of Symbolic Logic 1 Transactions of the American Mathematical Society 1 SIAM Journal on Discrete Mathematics 1 Discrete Dynamics in Nature and Society 1 Contributions to Discrete Mathematics 1 Logical Methods in Computer Science all top 5 Cited in 7 Fields 31 Computer science (68-XX) 14 Combinatorics (05-XX) 13 Mathematical logic and foundations (03-XX) 10 General algebraic systems (08-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 1 Group theory and generalizations (20-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year