Pierre Flener

	2009
50		Farshid 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)
49		Jun He, Pierre Flener, Justin Pearson: Toward an automaton Constraint for Local Search CoRR abs/0910.1266: (2009)
48		Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren: Dynamic structural symmetry breaking for constraint satisfaction problems. Constraints 14(4): 506-538 (2009)
47		Pierre Flener, Mats Carlsson, Christian Schulte: Constraint Programming in Sweden. IEEE Intelligent Systems 24(2): 87-89 (2009)
46		Magnus Ågren, Pierre Flener, Justin Pearson: Revisiting constraint-directed search. Inf. Comput. 207(3): 438-457 (2009)
45		Pierre Flener, Justin Pearson: Solving necklace constraint problems. J. Algorithms 64(2-3): 61-73 (2009)
	2008
44		Pierre Flener, Justin Pearson: Solving Necklace Constraint Problems. ECAI 2008: 520-524
43		Pierre Flener, Ute Schmid: An introduction to inductive programming. Artif. Intell. Rev. 29(1): 45-62 (2008)
42		Nicolas Beldiceanu, Pierre Flener, Xavier Lorca: Combining Tree Partitioning, Precedence, and Incomparability Constraints. Constraints 13(4): 459-489 (2008)
	2007
41		Pierre Flener, Justin Pearson, Luis G. Reyna, Olof Sivertsson: Design of Financial CDO Squared Transactions Using Constraint Programming. Constraints 12(2): 179-205 (2007)
40		Magnus Ågren, Pierre Flener, Justin Pearson: Generic Incremental Algorithms for Local Search. Constraints 12(3): 293-324 (2007)
	2006
39		Magnus Ågren, Pierre Flener, Justin Pearson: Inferring Variable Conflicts for Local Search. CP 2006: 665-669
38		Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck: Static and Dynamic Structural Symmetry Breaking. CP 2006: 695-699
37		Pierre Flener: Realism in Project-Based Software Engineering Courses: Rewards, Risks, and Recommendations. ISCIS 2006: 1031-1039
	2005
36		Magnus Ågren, Pierre Flener, Justin Pearson: Incremental Algorithms for Local Search from Existential Second-Order Logic. CP 2005: 47-61
35		Magnus Ågren, Pierre Flener, Justin Pearson: Set Variables and Local Search. CPAIOR 2005: 19-33
34		Nicolas Beldiceanu, Pierre Flener, Xavier Lorca: The tree Constraint. CPAIOR 2005: 64-78
33		Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren: Compositional Derivation of Symmetries for Constraint Satisfaction. SARA 2005: 234-247
	2004
32		Pierre Flener, Justin Pearson, Luis G. Reyna: Financial Portfolio Optimisation. CP 2004: 227-241
31		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: 30-65
	2003
30		Pierre 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
28		Pierre Flener, Justin Pearson, Magnus Ågren: Introducing esra, a Relational Language for Modelling Combinatorial Problems. LOPSTR 2003: 214-232
27		Perry Alexander, Pierre Flener: Guest Editorial: ASE 2000 Special Issue. Autom. Softw. Eng. 10(2): 119-120 (2003)
	2002
26		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: 462-476
25		Pierre 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
23		Zeynep Kiziltan, Pierre Flener, Brahim Hnich: Towards Inferring Labelling Heuristics for CSP Application Domains. KI/ÖGAI 2001: 275-289
22		Pierre Flener, Brahim Hnich, Zeynep Kiziltan: Compiling High-Level Type Constructors in Constraint Programming. PADL 2001: 229-244
21		Pierre 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
19		Esra 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
15		Pierre Flener, Hamza Zidoum, Brahim Hnich: Schema-Guided Synthesis of Constraint Logic Programs. ASE 1998: 168-176
14		Hamza Zidoum, Pierre Flener, Brahim Hnich: Schema-Guided Synthesis of CLP Programs. LOPSTR 1998: 309-312
13		Baudouin 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
12		Pierre Flener, Kung-Kiu Lau, Mario Ornaghi: Correct-Schema-Guided Synthesis of Steadfast Programs. ASE 1997: 153-
11		Pierre Flener, Kung-Kiu Lau, Mario Ornaghi: On Correct Program Schemas. LOPSTR 1997: 128-147
10		Halime 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

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

Colors in the list of coauthors