Pierre Flener

Cited by

	All	Since 2016
Citations	2148	517
h-index	27	13
i10-index	57	20

120

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920206 6 22 18 18 59 43 38 38 57 43 72 105 72 109 109 104 104 82 103 82 101 97 86 112 116 106 88 94

Co-authors

Justin PearsonIT Department, Uppsala University, SwedenVerified email at it.uu.se
Nicolas BeldiceanuFull professor, IMT Atlantique, LS2N-CNRS, FranceVerified email at mines-nantes.fr
Alan M FrischUniversity of YorkVerified email at york.ac.uk
Ian MiguelUniversity of St AndrewsVerified email at st-andrews.ac.uk
Mats CarlssonRISE Research Institutes of SwedenVerified email at ri.se
Pascal Van HentenryckGeorgia Institute of TechnologyVerified email at isye.gatech.edu
Jean-Noël MonetteTacton Systems ABVerified email at it.uu.se
Yves DevilleProfessor of Computer Science, Université catholique de Louvain, ICTEAM, EPLVerified email at uclouvain.be
Maria Andreina Francisco RodriguezPostdoctoral Researcher, Uppsala UniversityVerified email at farmbio.uu.se
Xavier LorcaFull Professor, IMT Mines AlbiVerified email at mines-albi.fr
Gustav BjördalPhD student in Computing Science, Uppsala UniversityVerified email at it.uu.se
Farshid Hassani BijarboonehSenior Developer at KingVerified email at ust.hk
Julian RichardsonBlue PrismVerified email at blueprism.com
Ute SchmidProfessor for Applied Computer Science/Cognitive Systems, Universitaet BambergVerified email at uni-bamberg.de
Ekaterina ArafailovaIMT AtlantiqueVerified email at imt-atlantique.fr
Helmut SimonisInsight Centre for Data Analytics, University College CorkVerified email at insight-centre.org
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Edith C. H. NgaiAssociate Professor, Dept. of Electrical and Electronic Engineering, The University of Hong KongVerified email at eee.hku.hk
Baudouin Le CharlierUniversité catholique de LouvainVerified email at uclouvain.be
Guido TackAssociate Professor, Monash UniversityVerified email at monash.edu

Pierre Flener

Professor of Computing Science, Uppsala University, Sweden

Verified email at it.uu.se - Homepage

Combinatorial Optimisation Constraint Programming Artificial Intelligence Algorithm Design


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Breaking row and column symmetries in matrix models P Flener, A Frisch, B Hnich, Z Kiziltan, I Miguel, J Pearson, T Walsh Principles and Practice of Constraint Programming (CP 2002), 462-476 @ LNCS 2470, 2002	259	2002
Introducing ESRA, a relational language for modelling combinatorial problems P Flener, J Pearson, M Ågren Logic Based Program Synthesis and Transformation (Post-Proceedings of LOPSTR …, 2004	94	2004
Logic Program Synthesis from Incomplete Information P Flener Springer, 1995	87*	1995
Air-traffic complexity resolution in multi-sector planning P Flener, J Pearson, M Ågren, C Garcia-Avello, M Celiktin, S Dissing Journal of Air Transport Management 13 (6), 323-328, 2007	82	2007
Air-traffic complexity resolution in multi-sector planning using constraint programming P Flener, J Pearson, M Agren, C Garcia-Avello, M Celiktin, S Dissing Air Traffic Management R&D Seminar (ATM 2007), 2007	82*	2007
Inductive synthesis of recursive logic programs: Achievements and prospects P Flener, S Yilmaz The Journal of Logic Programming 41 (2-3), 141-195, 1999	81	1999
The tree constraint N Beldiceanu, P Flener, X Lorca Integration of AI and OR Techniques in Constraint Programming for …, 2005	74	2005
Matrix modelling P Flener, AM Frisch, B Hnich, Z Kızıltan, I Miguel, T Walsh CP 2001 Workshop on Modelling and Problem Formulation (Formul 2001), 2001	62	2001
Synthesis of programs in computational logic D Basin, Y Deville, P Flener, A Hamfelt, J Fischer Nilsson Program Development in Computational Logic, 30-65 @ LNCS 3049, 2004	61	2004
Tractable symmetry breaking for CSPs with interchangeable values P Van Hentenryck, P Flener, J Pearson, M Agren International Joint Conference on Artificial Intelligence (IJCAI 2003) 18 …, 2003	53	2003
Logic program synthesis from incomplete specifications P Flener, Y Deville J. Symb. Comput. 15 (5/6), 778-805, 1993	51	1993
Inductive logic program synthesis with DIALOGS P Flener Inductive Logic Programming (ILP 1996), 175-198 @ LNAI 1314, 1997	45	1997
Matrix modelling: Exploiting common patterns in constraint programming P Flener, AM Frisch, B Hnich, Z Kiziltan, I Miguel, T Walsh CP 2002 International Workshop on Reformulating Constraint Satisfaction …, 2002	44	2002
Automatic airspace sectorisation: A survey P Flener, J Pearson arXiv preprint arXiv:1311.0653, 2013	42	2013
Specifications are necessarily informal or: Some more myths of formal methods B Le Charlier, P Flener Journal of Systems and Software 40 (3), 275-296, 1998	42	1998
An abstract formalization of correct schemas for program synthesis P Flener, KK Lau, M Ornaghi, J Richardson Journal of Symbolic Computation 30 (1), 93-127, 2000	36	2000
On correct program schemas P Flener, KK Lau, M Ornaghi Logic Program Synthesis and Transformation (Post-Proceedings of LOPSTR 1997 …, 1998	36	1998
On the reification of global constraints N Beldiceanu, M Carlsson, P Flener, J Pearson Constraints 18 (1), 1-6, 2013	35	2013
Static and dynamic structural symmetry breaking P Flener, J Pearson, M Sellmann, P Van Hentenryck Principles and Practice of Constraint Programming (CP 2006), 695-699 @ LNCS 4204, 2006	35	2006
A constraint-based local search backend for MiniZinc G Björdal, JN Monette, P Flener, J Pearson Constraints 20 (3), 325-345, 2015	34	2015

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors