| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jun He, Pierre Flener, Justin Pearson |
An automaton Constraint for Local Search.  |
Fundam. Inform.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Ute Schmid |
Inductive Programming. |
Encyclopedia of Machine Learning |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Ute Schmid |
Programming by Demonstration. |
Encyclopedia of Machine Learning |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Ute Schmid |
Trace-Based Programming. |
Encyclopedia of Machine Learning |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Beldiceanu, Mats Carlsson, Pierre Flener, Justin Pearson |
On Matrices, Automata, and Double Counting. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Sundequist Blomdahl, Pierre Flener, Justin Pearson |
Contingency Plans for Air Traffic Management. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren |
Dynamic structural symmetry breaking for constraint satisfaction problems. |
Constraints |
2009 |
DBLP DOI BibTeX RDF |
Dominance detection, CSP, Tractability, Symmetry breaking |
| 1 | Magnus Ågren, Pierre Flener, Justin Pearson |
Revisiting constraint-directed search. |
Inf. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Justin Pearson |
Solving necklace constraint problems. |
J. Algorithms |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jun He, Pierre Flener, Justin Pearson |
Toward an automaton Constraint for Local Search |
LSCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Farshid Hassani Bijarbooneh, Pierre Flener, Justin Pearson |
Dynamic Demand-Capacity Balancing for Air Traffic Management Using Constraint-Based Local Search: First Results |
LSCS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Mats Carlsson, Christian Schulte |
Constraint Programming in Sweden. |
IEEE Intelligent Systems |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Justin Pearson, Meinolf Sellmann |
Static and dynamic structural symmetry breaking. |
Ann. Math. Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Beldiceanu, Pierre Flener, Xavier Lorca |
Combining Tree Partitioning, Precedence, and Incomparability Constraints. |
Constraints |
2008 |
DBLP DOI BibTeX RDF |
Digraph partitioning, Tree constraint, Incomparability constraint, Ordered disjoint paths problem, Phylogenetic supertree problem, Filtering, Tree, Global constraint, Precedence constraint, Hamiltonian path problem |
| 1 | Pierre Flener, Ute Schmid |
An introduction to inductive programming. |
Artif. Intell. Rev. |
2008 |
DBLP DOI BibTeX RDF |
Inductive programming, Machine learning |
| 1 | Pierre Flener, Justin Pearson |
Solving Necklace Constraint Problems. |
ECAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Magnus Ågren, Pierre Flener, Justin Pearson |
Generic Incremental Algorithms for Local Search. |
Constraints |
2007 |
DBLP DOI BibTeX RDF |
Monadic existential second-order logic, Local search, Global constraint |
| 1 | Pierre Flener, Justin Pearson, Luis G. Reyna, Olof Sivertsson |
Design of Financial CDO Squared Transactions Using Constraint Programming. |
Constraints |
2007 |
DBLP DOI BibTeX RDF |
Financial mathematics, Credit derivatives, Collateralised debt obligation (CDO), CDO squared, Portfolio design (PD), Optimal portfolio design (OPD), Balanced incomplete block design (BIBD), Embedding, Constraint programming |
| 1 | Pierre Flener |
Realism in Project-Based Software Engineering Courses: Rewards, Risks, and Recommendations. |
ISCIS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck |
Static and Dynamic Structural Symmetry Breaking. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Magnus Ågren, Pierre Flener, Justin Pearson |
Inferring Variable Conflicts for Local Search. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren |
Compositional Derivation of Symmetries for Constraint Satisfaction. |
SARA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Magnus Ågren, Pierre Flener, Justin Pearson |
Set Variables and Local Search. |
CPAIOR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Beldiceanu, Pierre Flener, Xavier Lorca |
The tree Constraint. |
CPAIOR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Magnus Ågren, Pierre Flener, Justin Pearson |
Incremental Algorithms for Local Search from Existential Second-Order Logic. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | David A. Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson |
Synthesis of Programs in Computational Logic. |
Program Development in Computational Logic |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Justin Pearson, Luis G. Reyna |
Financial Portfolio Optimisation. |
CP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Perry Alexander, Pierre Flener |
Guest Editorial: ASE 2000 Special Issue. |
Autom. Softw. Eng. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren |
Tractable Symmetry Breaking for CSPs with Interchangeable Values. |
IJCAI |
2003 |
DBLP BibTeX RDF |
|
| 1 | Pierre Flener, Justin Pearson, Magnus Ågren |
Introducing esra, a Relational Language for Modelling Combinatorial Problems. |
LOPSTR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Justin Pearson, Magnus Ågren |
Introducing ESRA, a Relational Language for Modelling Combinatorial Problems. |
CP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener |
Achievements and Prospects of Program Synthesis. |
Computational Logic: Logic Programming and Beyond |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh |
Breaking Row and Column Symmetries in Matrix Models. |
CP |
2002 |
DBLP BibTeX RDF |
|
| 1 | Pierre Flener, Derek Partridge |
Inductive Programming. |
Autom. Softw. Eng. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Brahim Hnich, Zeynep Kiziltan |
A Meta-heuristic for Subset Problems. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Brahim Hnich, Zeynep Kiziltan |
Compiling High-Level Type Constructors in Constraint Programming. |
PADL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Brahim Hnich, Pierre Flener |
High-Level Reformulation of Constraint Programs. |
JFPLC |
2001 |
DBLP BibTeX RDF |
|
| 1 | Zeynep Kiziltan, Pierre Flener, Brahim Hnich |
Towards Inferring Labelling Heuristics for CSP Application Domains. |
KI/ÖGAI |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, Julian Richardson |
An Abstract Formalization of Correct Schemas for Program Synthesis. |
J. Symb. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Kung-Kiu Lau, Wolfgang Bibel |
Foreword to the Special Issue on Schemas. |
J. Symb. Comput. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Esra Erdem, Pierre Flener |
A New Declarative Bias for ILP: Construction Modes. |
ILP Work-in-progress reports |
2000 |
DBLP BibTeX RDF |
|
| 1 | Pierre Flener, Serap Yilmaz |
Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects. |
J. Log. Program. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Baudouin Le Charlier, Pierre Flener |
Specifications are necessarily informal or: Some more myths of formal methods. |
Journal of Systems and Software |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Hamza Zidoum, Brahim Hnich |
Schema-Guided Synthesis of Constraint Logic Programs. (PDF / PS) |
ASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamza Zidoum, Pierre Flener, Brahim Hnich |
Schema-Guided Synthesis of CLP Programs. |
LOPSTR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Kung-Kiu Lau, Mario Ornaghi |
Correct-Schema-Guided Synthesis of Steadfast Programs. (PDF / PS) |
ASE |
1997 |
DBLP DOI BibTeX RDF |
steadfast programs, semi-automated software development, schema correctness, structured program design principles, hierarchical program synthesis, syntactic representation, higher-order expressions, informal knowledge capture, program schema formalisation, open first-order logical theory, open logic program, logic programming, program synthesis, domain knowledge |
| 1 | Baudouin Le Charlier, Pierre Flener |
On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract). |
SAS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Kung-Kiu Lau, Mario Ornaghi |
On Correct Program Schemas. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Halime Büyükyildiz, Pierre Flener |
Generalised Logic Program Transformation Schemas. |
LOPSTR |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener |
Inductive Logic Program Synthesis with DIALOGS. |
Inductive Logic Programming Workshop |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Yves Deville |
Logic Program Transformation through Generalization Schemata. |
LOPSTR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Lubos Popelínsky |
On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects. |
LOPSTR |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Yves Deville |
Logic Program Synthesis from Incomplete Specifications. |
J. Symb. Comput. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Yves Deville |
SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications. |
LPE |
1992 |
DBLP BibTeX RDF |
|
| 1 | Pierre Flener, Yves Deville |
Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs. |
ICLP Workshop on Construction of Logic Programs |
1991 |
DBLP BibTeX RDF |
|
| 1 | Pierre Flener, Yves Deville |
Towards Stepwise, Schema-guided Synthesis of Logic Programms. |
LOPSTR |
1991 |
DBLP BibTeX RDF |
|
| 1 | Pierre Flener (eds.) |
Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings |
LOPSTR |
1990 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")