Search the dblp DataBase
Pierre Flener :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Pierre Flener Achievements and Prospects of Program Synthesis. [Citation Graph (0, 0)][DBLP ] Computational Logic: Logic Programming and Beyond, 2002, pp:310-346 [Conf ] Magnus Ågren , Pierre Flener , Justin Pearson Incremental Algorithms for Local Search from Existential Second-Order Logic. [Citation Graph (0, 0)][DBLP ] CP, 2005, pp:47-61 [Conf ] Magnus Ågren , Pierre Flener , Justin Pearson Inferring Variable Conflicts for Local Search. [Citation Graph (0, 0)][DBLP ] CP, 2006, pp:665-669 [Conf ] Pierre Flener , Alan M. Frisch , Brahim Hnich , Zeynep Kiziltan , Ian Miguel , Justin Pearson , Toby Walsh Breaking Row and Column Symmetries in Matrix Models. [Citation Graph (0, 0)][DBLP ] CP, 2002, pp:462-476 [Conf ] Pierre Flener , Justin Pearson , Magnus Ågren Introducing ESRA, a Relational Language for Modelling Combinatorial Problems. [Citation Graph (0, 0)][DBLP ] CP, 2003, pp:971- [Conf ] Pierre Flener , Justin Pearson , Luis G. Reyna Financial Portfolio Optimisation. [Citation Graph (0, 0)][DBLP ] CP, 2004, pp:227-241 [Conf ] Pierre Flener , Justin Pearson , Meinolf Sellmann , Pascal Van Hentenryck Static and Dynamic Structural Symmetry Breaking. [Citation Graph (0, 0)][DBLP ] CP, 2006, pp:695-699 [Conf ] Magnus Ågren , Pierre Flener , Justin Pearson Set Variables and Local Search. [Citation Graph (0, 0)][DBLP ] CPAIOR, 2005, pp:19-33 [Conf ] Nicolas Beldiceanu , Pierre Flener , Xavier Lorca The tree Constraint. [Citation Graph (0, 0)][DBLP ] CPAIOR, 2005, pp:64-78 [Conf ] Pierre Flener , Yves Deville Synthesis of Composition and Discrimination Operators for Divide-and-Conquer Logic Programs. [Citation Graph (0, 0)][DBLP ] ICLP Workshop on Construction of Logic Programs, 1991, pp:67-96 [Conf ] Pascal Van Hentenryck , Pierre Flener , Justin Pearson , Magnus Ågren Tractable Symmetry Breaking for CSPs with Interchangeable Values. [Citation Graph (0, 0)][DBLP ] IJCAI, 2003, pp:277-284 [Conf ] Pierre Flener Inductive Logic Program Synthesis with DIALOGS. [Citation Graph (0, 0)][DBLP ] Inductive Logic Programming Workshop, 1996, pp:175-198 [Conf ] Esra Erdem , Pierre Flener A New Declarative Bias for ILP: Construction Modes. [Citation Graph (0, 0)][DBLP ] ILP Work-in-progress reports, 2000, pp:- [Conf ] Pierre Flener Realism in Project-Based Software Engineering Courses: Rewards, Risks, and Recommendations. [Citation Graph (0, 0)][DBLP ] ISCIS, 2006, pp:1031-1039 [Conf ] Brahim Hnich , Pierre Flener High-Level Reformulation of Constraint Programs. [Citation Graph (0, 0)][DBLP ] JFPLC, 2001, pp:75-90 [Conf ] Pierre Flener , Kung-Kiu Lau , Mario Ornaghi Correct-Schema-Guided Synthesis of Steadfast Programs. [Citation Graph (0, 0)][DBLP ] ASE, 1997, pp:153-0 [Conf ] Pierre Flener , Hamza Zidoum , Brahim Hnich Schema-Guided Synthesis of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] ASE, 1998, pp:168-176 [Conf ] Zeynep Kiziltan , Pierre Flener , Brahim Hnich Towards Inferring Labelling Heuristics for CSP Application Domains. [Citation Graph (0, 0)][DBLP ] KI/ÖGAI, 2001, pp:275-289 [Conf ] David A. Basin , Yves Deville , Pierre Flener , Andreas Hamfelt , Jørgen Fischer Nilsson Synthesis of Programs in Computational Logic. [Citation Graph (0, 0)][DBLP ] Program Development in Computational Logic, 2004, pp:30-65 [Conf ] Pierre Flener , Yves Deville Towards Stepwise, Schema-guided Synthesis of Logic Programms. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1991, pp:46-64 [Conf ] Pierre Flener , Yves Deville Logic Program Transformation through Generalization Schemata. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1995, pp:171-173 [Conf ] Pierre Flener , Kung-Kiu Lau , Mario Ornaghi On Correct Program Schemas. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1997, pp:128-147 [Conf ] Pierre Flener , Lubos Popelínsky On the Use of Inductive Reasoning in Program Synthesis: Prejudice and Prospects. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1994, pp:69-87 [Conf ] Pierre Flener , Justin Pearson , Magnus Ågren Introducing esra, a Relational Language for Modelling Combinatorial Problems. [Citation Graph (0, 0)][DBLP ] LOPSTR, 2003, pp:214-232 [Conf ] Halime Büyükyildiz , Pierre Flener Generalised Logic Program Transformation Schemas. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1997, pp:49-68 [Conf ] Hamza Zidoum , Pierre Flener , Brahim Hnich Schema-Guided Synthesis of CLP Programs. [Citation Graph (0, 0)][DBLP ] LOPSTR, 1998, pp:309-312 [Conf ] Pierre Flener , Yves Deville SYNAPSE- A System for Logic Program Synthesis from Incomplete Specifications. [Citation Graph (0, 0)][DBLP ] LPE, 1992, pp:9-15 [Conf ] Pierre Flener , Brahim Hnich , Zeynep Kiziltan A Meta-heuristic for Subset Problems. [Citation Graph (0, 0)][DBLP ] PADL, 2001, pp:274-287 [Conf ] Pierre Flener , Brahim Hnich , Zeynep Kiziltan Compiling High-Level Type Constructors in Constraint Programming. [Citation Graph (0, 0)][DBLP ] PADL, 2001, pp:229-244 [Conf ] Pascal Van Hentenryck , Pierre Flener , Justin Pearson , Magnus Ågren Compositional Derivation of Symmetries for Constraint Satisfaction. [Citation Graph (0, 0)][DBLP ] SARA, 2005, pp:234-247 [Conf ] Baudouin Le Charlier , Pierre Flener On the Desirable Link Between Theory and Practice in Abstract Interpretation (Extended Abstract). [Citation Graph (0, 0)][DBLP ] SAS, 1997, pp:379-387 [Conf ] Perry Alexander , Pierre Flener Guest Editorial: ASE 2000 Special Issue. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 2003, v:10, n:2, pp:119-120 [Journal ] Pierre Flener , Derek Partridge Inductive Programming. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 2001, v:8, n:2, pp:131-137 [Journal ] Pierre Flener , Serap Yilmaz Inductive Synthesis of Recursive Logic Programs: Achievements and Prospects. [Citation Graph (0, 0)][DBLP ] J. Log. Program., 1999, v:41, n:2-3, pp:141-195 [Journal ] Pierre Flener , Yves Deville Logic Program Synthesis from Incomplete Specifications. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 1993, v:15, n:5/6, pp:778-805 [Journal ] Pierre Flener , Kung-Kiu Lau , Wolfgang Bibel Foreword to the Special Issue on Schemas. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 2000, v:30, n:1, pp:1-3 [Journal ] Pierre Flener , Kung-Kiu Lau , Mario Ornaghi , Julian Richardson An Abstract Formalization of Correct Schemas for Program Synthesis. [Citation Graph (0, 0)][DBLP ] J. Symb. Comput., 2000, v:30, n:1, pp:93-127 [Journal ] Baudouin Le Charlier , Pierre Flener Specifications are necessarily informal or: Some more myths of formal methods. [Citation Graph (0, 0)][DBLP ] Journal of Systems and Software, 1998, v:40, n:3, pp:275-296 [Journal ] Pierre Flener , Justin Pearson , Luis G. Reyna , Olof Sivertsson Design of Financial CDO Squared Transactions Using Constraint Programming. [Citation Graph (0, 0)][DBLP ] Constraints, 2007, v:12, n:2, pp:179-205 [Journal ] Magnus Ågren , Pierre Flener , Justin Pearson Generic Incremental Algorithms for Local Search. [Citation Graph (0, 0)][DBLP ] Constraints, 2007, v:12, n:3, pp:293-324 [Journal ] On Matrices, Automata, and Double Counting. [Citation Graph (, )][DBLP ] Solving Necklace Constraint Problems. [Citation Graph (, )][DBLP ] An introduction to inductive programming. [Citation Graph (, )][DBLP ] Static and dynamic structural symmetry breaking. [Citation Graph (, )][DBLP ] Combining Tree Partitioning, Precedence, and Incomparability Constraints. [Citation Graph (, )][DBLP ] Dynamic structural symmetry breaking for constraint satisfaction problems. [Citation Graph (, )][DBLP ] Dynamic Demand-Capacity Balancing for Air Traffic Management Using Constraint-Based Local Search: First Results [Citation Graph (, )][DBLP ] Toward an automaton Constraint for Local Search [Citation Graph (, )][DBLP ] Search in 0.007secs, Finished in 0.009secs