dblp.uni-trier.dewww.uni-trier.de

Pierre Flener Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
50EEFarshid Hassani Bijarbooneh, Pierre Flener, Justin Pearson: Dynamic Demand-Capacity Balancing for Air Traffic Management Using Constraint-Based Local Search: First Results CoRR abs/0910.1239: (2009)
49EEJun He, Pierre Flener, Justin Pearson: Toward an automaton Constraint for Local Search CoRR abs/0910.1266: (2009)
48EEPierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren: Dynamic structural symmetry breaking for constraint satisfaction problems. Constraints 14(4): 506-538 (2009)
47EEPierre Flener, Mats Carlsson, Christian Schulte: Constraint Programming in Sweden. IEEE Intelligent Systems 24(2): 87-89 (2009)
46EEMagnus Ågren, Pierre Flener, Justin Pearson: Revisiting constraint-directed search. Inf. Comput. 207(3): 438-457 (2009)
45EEPierre Flener, Justin Pearson: Solving necklace constraint problems. J. Algorithms 64(2-3): 61-73 (2009)
2008
44EEPierre Flener, Justin Pearson: Solving Necklace Constraint Problems. ECAI 2008: 520-524
43EEPierre Flener, Ute Schmid: An introduction to inductive programming. Artif. Intell. Rev. 29(1): 45-62 (2008)
42EENicolas Beldiceanu, Pierre Flener, Xavier Lorca: Combining Tree Partitioning, Precedence, and Incomparability Constraints. Constraints 13(4): 459-489 (2008)
2007
41EEPierre Flener, Justin Pearson, Luis G. Reyna, Olof Sivertsson: Design of Financial CDO Squared Transactions Using Constraint Programming. Constraints 12(2): 179-205 (2007)
40EEMagnus Ågren, Pierre Flener, Justin Pearson: Generic Incremental Algorithms for Local Search. Constraints 12(3): 293-324 (2007)
2006
39EEMagnus Ågren, Pierre Flener, Justin Pearson: Inferring Variable Conflicts for Local Search. CP 2006: 665-669
38EEPierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck: Static and Dynamic Structural Symmetry Breaking. CP 2006: 695-699
37EEPierre Flener: Realism in Project-Based Software Engineering Courses: Rewards, Risks, and Recommendations. ISCIS 2006: 1031-1039
2005
36EEMagnus Ågren, Pierre Flener, Justin Pearson: Incremental Algorithms for Local Search from Existential Second-Order Logic. CP 2005: 47-61
35EEMagnus Ågren, Pierre Flener, Justin Pearson: Set Variables and Local Search. CPAIOR 2005: 19-33
34EENicolas Beldiceanu, Pierre Flener, Xavier Lorca: The tree Constraint. CPAIOR 2005: 64-78
33EEPascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren: Compositional Derivation of Symmetries for Constraint Satisfaction. SARA 2005: 234-247
2004
32EEPierre Flener, Justin Pearson, Luis G. Reyna: Financial Portfolio Optimisation. CP 2004: 227-241
31EEDavid A. Basin, Yves Deville, Pierre Flener, Andreas Hamfelt, Jørgen Fischer Nilsson: Synthesis of Programs in Computational Logic. Program Development in Computational Logic 2004: 30-65
2003
30EEPierre Flener, Justin Pearson, Magnus Ågren: Introducing ESRA, a Relational Language for Modelling Combinatorial Problems. CP 2003: 971
29 Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren: Tractable Symmetry Breaking for CSPs with Interchangeable Values. IJCAI 2003: 277-284
28EEPierre Flener, Justin Pearson, Magnus Ågren: Introducing esra, a Relational Language for Modelling Combinatorial Problems. LOPSTR 2003: 214-232
27EEPerry Alexander, Pierre Flener: Guest Editorial: ASE 2000 Special Issue. Autom. Softw. Eng. 10(2): 119-120 (2003)
2002
26EEPierre Flener, Alan M. Frisch, Brahim Hnich, Zeynep Kiziltan, Ian Miguel, Justin Pearson, Toby Walsh: Breaking Row and Column Symmetries in Matrix Models. CP 2002: 462-476
25EEPierre Flener: Achievements and Prospects of Program Synthesis. Computational Logic: Logic Programming and Beyond 2002: 310-346
2001
24 Brahim Hnich, Pierre Flener: High-Level Reformulation of Constraint Programs. JFPLC 2001: 75-90
23EEZeynep Kiziltan, Pierre Flener, Brahim Hnich: Towards Inferring Labelling Heuristics for CSP Application Domains. KI/ÖGAI 2001: 275-289
22EEPierre Flener, Brahim Hnich, Zeynep Kiziltan: Compiling High-Level Type Constructors in Constraint Programming. PADL 2001: 229-244
21EEPierre Flener, Brahim Hnich, Zeynep Kiziltan: A Meta-heuristic for Subset Problems. PADL 2001: 274-287
20 Pierre Flener, Derek Partridge: Inductive Programming. Autom. Softw. Eng. 8(2): 131-137 (2001)
2000
19EEEsra Erdem, Pierre Flener: A New Declarative Bias for ILP: Construction Modes. ILP Work-in-progress reports 2000
18 Pierre Flener, Kung-Kiu Lau, Wolfgang Bibel: Foreword to the Special Issue on Schemas. J. Symb. Comput. 30(1): 1-3 (2000)
17 Pierre Flener, Kung-Kiu Lau, Mario Ornaghi, Julian Richardson: An Abstract Formalization of Correct Schemas for Program Synthesis. J. Symb. Comput. 30(1): 93-127 (2000)
1999
16 Pierre Flener, Serap Yilmaz: Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects. J. Log. Program. 41(2-3): 141-195 (1999)
1998
15EEPierre Flener, Hamza Zidoum, Brahim Hnich: Schema-Guided Synthesis of Constraint Logic Programs. ASE 1998: 168-176
14EEHamza Zidoum, Pierre Flener, Brahim Hnich: Schema-Guided Synthesis of CLP Programs. LOPSTR 1998: 309-312
13EEBaudouin Le Charlier, Pierre Flener: Specifications are necessarily informal or: Some more myths of formal methods. Journal of Systems and Software 40(3): 275-296 (1998)
1997
12EEPierre Flener, Kung-Kiu Lau, Mario Ornaghi: Correct-Schema-Guided Synthesis of Steadfast Programs. ASE 1997: 153-
11EEPierre Flener, Kung-Kiu Lau, Mario Ornaghi: On Correct Program Schemas. LOPSTR 1997: 128-147
10EEHalime Büyükyildiz, Pierre Flener: Generalised Logic Program Transformation Schemas. LOPSTR 1997: 49-68
9 Baudouin Le Charlier, Pierre Flener: On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract). SAS 1997: 379-387
1996
8 Pierre Flener: Inductive Logic Program Synthesis with DIALOGS. Inductive Logic Programming Workshop 1996: 175-198
1995
7 Pierre Flener, Yves Deville: Logic Program Transformation through Generalization Schemata. LOPSTR 1995: 171-173
1994
6 Pierre Flener, Lubos Popelínsky: On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects. LOPSTR 1994: 69-87
1993
5 Pierre Flener, Yves Deville: Logic Program Synthesis from Incomplete Specifications. J. Symb. Comput. 15(5/6): 778-805 (1993)
1992
4 Pierre Flener, Yves Deville: SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications. LPE 1992: 9-15
1991
3 Pierre Flener, Yves Deville: Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs. ICLP Workshop on Construction of Logic Programs 1991: 67-96
2 Pierre Flener, Yves Deville: Towards Stepwise, Schema-guided Synthesis of Logic Programms. LOPSTR 1991: 46-64
1990
1 Pierre Flener: Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings Springer 1990

Coauthor Index

1Magnus Ågren [28] [29] [30] [33] [35] [36] [39] [40] [46] [48]
2Perry Alexander [27]
3David A. Basin [31]
4Nicolas Beldiceanu [34] [42]
5Wolfgang Bibel [18]
6Farshid Hassani Bijarbooneh [50]
7Halime Büyükyildiz [10]
8Mats Carlsson [47]
9Baudouin Le Charlier [9] [13]
10Yves Deville [2] [3] [4] [5] [7] [31]
11Esra Erdem [19]
12Alan M. Frisch [26]
13Andreas Hamfelt [31]
14Jun He [49]
15Pascal Van Hentenryck [29] [33] [38] [48]
16Brahim Hnich [14] [15] [21] [22] [23] [24] [26]
17Zeynep Kiziltan [21] [22] [23] [26]
18Kung-Kiu Lau [11] [12] [17] [18]
19Xavier Lorca [34] [42]
20Ian Miguel [26]
21Jørgen Fischer Nilsson [31]
22Mario Ornaghi [11] [12] [17]
23Derek Partridge [20]
24Justin Pearson [26] [28] [29] [30] [32] [33] [35] [36] [38] [39] [40] [41] [44] [45] [46] [48] [49] [50]
25Lubos Popelínsky [6]
26Luis G. Reyna [32] [41]
27Julian Richardson [17]
28Ute Schmid [43]
29Christian Schulte [47]
30Meinolf Sellmann [38] [48]
31Olof Sivertsson [41]
32Toby Walsh [26]
33Serap Yilmaz [16]
34Hamza Zidoum [14] [15]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)