Pierre Flener

2009
44	EE	Magnus Ågren, Pierre Flener, Justin Pearson: Revisiting constraint-directed search. Inf. Comput. 207(3): 438-457 (2009)
2008
43	EE	Pierre Flener, Justin Pearson: Solving Necklace Constraint Problems. ECAI 2008: 520-524
42	EE	Nicolas Beldiceanu, Pierre Flener, Xavier Lorca: Combining Tree Partitioning, Precedence, and Incomparability Constraints. Constraints 13(4): 459-489 (2008)
2007
41	EE	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	EE	Magnus Ågren, Pierre Flener, Justin Pearson: Generic Incremental Algorithms for Local Search. Constraints 12(3): 293-324 (2007)
2006
39	EE	Magnus Ågren, Pierre Flener, Justin Pearson: Inferring Variable Conflicts for Local Search. CP 2006: 665-669
38	EE	Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck: Static and Dynamic Structural Symmetry Breaking. CP 2006: 695-699
37	EE	Pierre Flener: Realism in Project-Based Software Engineering Courses: Rewards, Risks, and Recommendations. ISCIS 2006: 1031-1039
2005
36	EE	Magnus Ågren, Pierre Flener, Justin Pearson: Incremental Algorithms for Local Search from Existential Second-Order Logic. CP 2005: 47-61
35	EE	Magnus Ågren, Pierre Flener, Justin Pearson: Set Variables and Local Search. CPAIOR 2005: 19-33
34	EE	Nicolas Beldiceanu, Pierre Flener, Xavier Lorca: The tree Constraint. CPAIOR 2005: 64-78
33	EE	Pascal Van Hentenryck, Pierre Flener, Justin Pearson, Magnus Ågren: Compositional Derivation of Symmetries for Constraint Satisfaction. SARA 2005: 234-247
2004
32	EE	Pierre Flener, Justin Pearson, Luis G. Reyna: Financial Portfolio Optimisation. CP 2004: 227-241
31	EE	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	EE	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	EE	Pierre Flener, Justin Pearson, Magnus Ågren: Introducing esra, a Relational Language for Modelling Combinatorial Problems. LOPSTR 2003: 214-232
27	EE	Perry Alexander, Pierre Flener: Guest Editorial: ASE 2000 Special Issue. Autom. Softw. Eng. 10(2): 119-120 (2003)
2002
26	EE	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	EE	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	EE	Zeynep Kiziltan, Pierre Flener, Brahim Hnich: Towards Inferring Labelling Heuristics for CSP Application Domains. KI/ÖGAI 2001: 275-289
22	EE	Pierre Flener, Brahim Hnich, Zeynep Kiziltan: Compiling High-Level Type Constructors in Constraint Programming. PADL 2001: 229-244
21	EE	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	EE	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	EE	Pierre Flener, Hamza Zidoum, Brahim Hnich: Schema-Guided Synthesis of Constraint Logic Programs. ASE 1998: 168-176
14	EE	Hamza Zidoum, Pierre Flener, Brahim Hnich: Schema-Guided Synthesis of CLP Programs. LOPSTR 1998: 309-312
13	EE	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	EE	Pierre Flener, Kung-Kiu Lau, Mario Ornaghi: Correct-Schema-Guided Synthesis of Steadfast Programs. ASE 1997: 153-
11	EE	Pierre Flener, Kung-Kiu Lau, Mario Ornaghi: On Correct Program Schemas. LOPSTR 1997: 128-147
10	EE	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] [44]
2	Perry Alexander	[27]
3	David A. Basin	[31]
4	Nicolas Beldiceanu	[34] [42]
5	Wolfgang Bibel	[18]
6	Halime Büyükyildiz	[10]
7	Baudouin Le Charlier	[9] [13]
8	Yves Deville	[2] [3] [4] [5] [7] [31]
9	Esra Erdem	[19]
10	Alan M. Frisch	[26]
11	Andreas Hamfelt	[31]
12	Pascal Van Hentenryck	[29] [33] [38]
13	Brahim Hnich	[14] [15] [21] [22] [23] [24] [26]
14	Zeynep Kiziltan	[21] [22] [23] [26]
15	Kung-Kiu Lau	[11] [12] [17] [18]
16	Xavier Lorca	[34] [42]
17	Ian Miguel	[26]
18	Jørgen Fischer Nilsson	[31]
19	Mario Ornaghi	[11] [12] [17]
20	Derek Partridge	[20]
21	Justin Pearson	[26] [28] [29] [30] [32] [33] [35] [36] [38] [39] [40] [41] [43] [44]
22	Lubos Popelínsky	[6]
23	Luis G. Reyna	[32] [41]
24	Julian Richardson	[17]
25	Meinolf Sellmann	[38]
26	Olof Sivertsson	[41]
27	Toby Walsh	[26]
28	Serap Yilmaz	[16]
29	Hamza Zidoum	[14] [15]

Colors in the list of coauthors