Pierre Flener

Cited by

	All	Since 2016
Citations	2217	567
h-index	27	14
i10-index	59	22

120

1992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020216 6 22 18 16 55 45 37 37 59 40 73 102 75 108 115 104 102 80 99 89 105 99 87 118 116 105 90 99 39

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
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ördalComputing 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	265	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	93	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	85	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	85*	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	85	1999
Logic Program Synthesis from Incomplete Information P Flener Springer, 1995	83*	1995
The tree constraint N Beldiceanu, P Flener, X Lorca Integration of AI and OR Techniques in Constraint Programming for …, 2005	76	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	66	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	64	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	53	2003
Inductive logic program synthesis with DIALOGS P Flener Inductive Logic Programming (ILP 1996), 175-198 @ LNAI 1314, 1997	49	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	45	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	41	1998
A constraint-based local search backend for MiniZinc G Björdal, JN Monette, P Flener, J Pearson Constraints 20 (3), 325-345, 2015	36	2015
On the reification of global constraints N Beldiceanu, M Carlsson, P Flener, J Pearson Constraints 18 (1), 1-6, 2013	36	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	36	2006
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
An introduction to inductive programming P Flener, U Schmid Artificial Intelligence Review 29 (1), 45-62, 2008	35	2008

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 this author

Cited by

Co-authors