Pierre Flener

Citado por

	Total	Desde 2020
Citas	2538	392
Índice h	28	12
Índice i10	64	13

140

105

199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202511 7 21 18 15 47 41 41 33 58 43 71 101 79 115 124 99 113 88 92 92 105 103 87 117 127 122 105 108 71 76 60 71 6

Acceso público

Ver todo

29 artículos

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Justin PearsonIT Department, Uppsala University, SwedenDirección de correo verificada de it.uu.se
Nicolas BeldiceanuFull professor, IMT Atlantique, LS2N-CNRS, FranceDirección de correo verificada de mines-nantes.fr
Mats CarlssonRISE Research Institutes of SwedenDirección de correo verificada de ri.se
Alan M FrischUniversity of YorkDirección de correo verificada de york.ac.uk
Ian MiguelUniversity of St AndrewsDirección de correo verificada de st-andrews.ac.uk
Jean-Noël MonetteTacton Systems ABDirección de correo verificada de it.uu.se
Pascal Van HentenryckGeorgia Institute of TechnologyDirección de correo verificada de isye.gatech.edu
Yves DevilleProfessor of Computer Science, Université catholique de Louvain, ICTEAM, EPLDirección de correo verificada de uclouvain.be
Maria Andreina Francisco RodriguezAssistant Professor in Artificial Intelligence, Uppsala UniversityDirección de correo verificada de it.uu.se
Gustav BjördalComputing Science, Uppsala UniversityDirección de correo verificada de it.uu.se
Xavier LorcaFull Professor, IMT Mines AlbiDirección de correo verificada de mines-albi.fr
Ute SchmidProfessor of Cognitive Systems, University of BambergDirección de correo verificada de uni-bamberg.de
Farshid Hassani BijarboonehPrincipal Engineer at KingDirección de correo verificada de ust.hk
Peter StuckeyFaculty of Information Technology, Monash UniversityDirección de correo verificada de monash.edu
Helmut SimonisInsight Centre for Data Analytics, University College CorkDirección de correo verificada de insight-centre.org
Ekaterina ArafailovaIMT AtlantiqueDirección de correo verificada de imt-atlantique.fr
Julian RichardsonBlue PrismDirección de correo verificada de blueprism.com
Guido TackAssociate Professor, Monash UniversityDirección de correo verificada de monash.edu
Edith C. H. NgaiAssociate Professor, Dept. of Electrical and Electronic Engineering, The University of Hong KongDirección de correo verificada de eee.hku.hk
Toni ManciniComputer Science Department, Sapienza University of Rome, ItalyDirección de correo verificada de di.uniroma1.it

Seguir

Pierre Flener

Professor of Computing Science, Uppsala University, Sweden

Dirección de correo verificada de it.uu.se - Página principal

Combinatorial Optimisation Constraint Programming Artificial Intelligence Algorithm Design


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	296	2002
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	101	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	101*	2007
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	100	2004
Inductive synthesis of recursive logic programs: Achievements and prospects P Flener, S Yilmaz The Journal of Logic Programming 41 (2-3), 141-195, 1999	87	1999
Logic Program Synthesis from Incomplete Information P Flener Springer, 1995	87*	1995
The tree constraint N Beldiceanu, P Flener, X Lorca Integration of AI and OR Techniques in Constraint Programming for …, 2005	86	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	77	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	72	2001
An introduction to inductive programming P Flener, U Schmid Artificial Intelligence Review 29, 45-62, 2008	61	2008
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	60	2003
Inductive logic program synthesis with DIALOGS P Flener Inductive Logic Programming (ILP 1996), 175-198 @ LNAI 1314, 1997	54	1997
Logic program synthesis from incomplete specifications P Flener, Y Deville Journal of Symbolic Computation 15 (5-6), 775-805, 1993	54	1993
Automatic airspace sectorisation: A survey P Flener, J Pearson arXiv preprint arXiv:1311.0653, 2013	51	2013
Inductive programming P Flener, D Partridge Automated Software Engineering 8 (2), 131-137, 2001	48	2001
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	48	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	47	2002
A constraint-based local search backend for MiniZinc G Björdal, JN Monette, P Flener, J Pearson Constraints 20, 325-345, 2015	46	2015
On the reification of global constraints N Beldiceanu, M Carlsson, P Flener, J Pearson Constraints 18, 1-6, 2013	40	2013
Achievements and prospects of program synthesis P Flener Computational logic: Logic programming and beyond, 1-43, 2002	38	2002

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores