Pierre Flener

Cited by

	All	Since 2017
Citations	2328	542
h-index	27	13
i10-index	61	22

140

105

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202210 7 22 18 16 58 45 36 37 63 41 66 106 73 114 116 102 103 89 96 82 104 105 84 124 122 112 95 105 65 43

Public access

View all

28 articles

0 articles

available

not available

Based on funding mandates

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
Jean-Noël MonetteTacton Systems ABVerified email at it.uu.se
Pascal Van HentenryckGeorgia Institute of TechnologyVerified email at isye.gatech.edu
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ördalComputing Science, Uppsala UniversityVerified email at it.uu.se
Ute SchmidProfessor for Applied Computer Science/Cognitive Systems, Universitaet BambergVerified email at uni-bamberg.de
Farshid Hassani BijarboonehPrincipal Engineer at KingVerified email at ust.hk
Ekaterina ArafailovaIMT AtlantiqueVerified email at imt-atlantique.fr
Helmut SimonisInsight Centre for Data Analytics, University College CorkVerified email at insight-centre.org
Julian RichardsonBlue PrismVerified email at blueprism.com
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
Guido TackAssociate Professor, Monash UniversityVerified email at monash.edu
Baudouin Le CharlierUniversité catholique de LouvainVerified email at uclouvain.be

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	271	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	96	2004
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	90	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	90*	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	86	1999
Logic Program Synthesis from Incomplete Information P Flener Springer, 1995	85*	1995
The tree constraint N Beldiceanu, P Flener, X Lorca Integration of AI and OR Techniques in Constraint Programming for …, 2005	80	2005
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	69	2004
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	66	2001
Logic program synthesis from incomplete specifications P Flener, Y Deville Journal of Symbolic Computation 15 (5-6), 775-805, 1993	54	1993
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	52	2003
Inductive logic program synthesis with DIALOGS P Flener Inductive Logic Programming (ILP 1996), 175-198 @ LNAI 1314, 1997	52	1997
An introduction to inductive programming P Flener, U Schmid Artificial Intelligence Review 29 (1), 45-62, 2008	45	2008
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	44	1998
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	43	2002
Automatic airspace sectorisation: A survey P Flener, J Pearson arXiv preprint arXiv:1311.0653, 2013	42	2013
A constraint-based local search backend for MiniZinc G Björdal, JN Monette, P Flener, J Pearson Constraints 20 (3), 325-345, 2015	41	2015
Achievements and prospects of program synthesis P Flener Computational logic: Logic programming and beyond, 1-43, 2002	39	2002
On the reification of global constraints N Beldiceanu, M Carlsson, P Flener, J Pearson Constraints 18 (1), 1-6, 2013	38	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	37	2006

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

Follow

Cited by

Co-authors