The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pierre Flener: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pierre Flener
    Achievements and Prospects of Program Synthesis. [Citation Graph (0, 0)][DBLP]
    Computational Logic: Logic Programming and Beyond, 2002, pp:310-346 [Conf]
  2. 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]
  3. Magnus Ågren, Pierre Flener, Justin Pearson
    Inferring Variable Conflicts for Local Search. [Citation Graph (0, 0)][DBLP]
    CP, 2006, pp:665-669 [Conf]
  4. 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]
  5. 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]
  6. Pierre Flener, Justin Pearson, Luis G. Reyna
    Financial Portfolio Optimisation. [Citation Graph (0, 0)][DBLP]
    CP, 2004, pp:227-241 [Conf]
  7. 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]
  8. Magnus Ågren, Pierre Flener, Justin Pearson
    Set Variables and Local Search. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2005, pp:19-33 [Conf]
  9. Nicolas Beldiceanu, Pierre Flener, Xavier Lorca
    The tree Constraint. [Citation Graph (0, 0)][DBLP]
    CPAIOR, 2005, pp:64-78 [Conf]
  10. 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]
  11. 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]
  12. Pierre Flener
    Inductive Logic Program Synthesis with DIALOGS. [Citation Graph (0, 0)][DBLP]
    Inductive Logic Programming Workshop, 1996, pp:175-198 [Conf]
  13. 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]
  14. Pierre Flener
    Realism in Project-Based Software Engineering Courses: Rewards, Risks, and Recommendations. [Citation Graph (0, 0)][DBLP]
    ISCIS, 2006, pp:1031-1039 [Conf]
  15. Brahim Hnich, Pierre Flener
    High-Level Reformulation of Constraint Programs. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2001, pp:75-90 [Conf]
  16. 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]
  17. Pierre Flener, Hamza Zidoum, Brahim Hnich
    Schema-Guided Synthesis of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:168-176 [Conf]
  18. 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]
  19. 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]
  20. Pierre Flener, Yves Deville
    Towards Stepwise, Schema-guided Synthesis of Logic Programms. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1991, pp:46-64 [Conf]
  21. Pierre Flener, Yves Deville
    Logic Program Transformation through Generalization Schemata. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1995, pp:171-173 [Conf]
  22. Pierre Flener, Kung-Kiu Lau, Mario Ornaghi
    On Correct Program Schemas. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1997, pp:128-147 [Conf]
  23. 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]
  24. 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]
  25. Halime Büyükyildiz, Pierre Flener
    Generalised Logic Program Transformation Schemas. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1997, pp:49-68 [Conf]
  26. Hamza Zidoum, Pierre Flener, Brahim Hnich
    Schema-Guided Synthesis of CLP Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1998, pp:309-312 [Conf]
  27. 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]
  28. Pierre Flener, Brahim Hnich, Zeynep Kiziltan
    A Meta-heuristic for Subset Problems. [Citation Graph (0, 0)][DBLP]
    PADL, 2001, pp:274-287 [Conf]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. Pierre Flener, Derek Partridge
    Inductive Programming. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2001, v:8, n:2, pp:131-137 [Journal]
  34. 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]
  35. 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]
  36. 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]
  37. 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]
  38. 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]
  39. 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]
  40. 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]

  41. On Matrices, Automata, and Double Counting. [Citation Graph (, )][DBLP]


  42. Solving Necklace Constraint Problems. [Citation Graph (, )][DBLP]


  43. An introduction to inductive programming. [Citation Graph (, )][DBLP]


  44. Static and dynamic structural symmetry breaking. [Citation Graph (, )][DBLP]


  45. Combining Tree Partitioning, Precedence, and Incomparability Constraints. [Citation Graph (, )][DBLP]


  46. Dynamic structural symmetry breaking for constraint satisfaction problems. [Citation Graph (, )][DBLP]


  47. Dynamic Demand-Capacity Balancing for Air Traffic Management Using Constraint-Based Local Search: First Results [Citation Graph (, )][DBLP]


  48. Toward an automaton Constraint for Local Search [Citation Graph (, )][DBLP]


Search in 0.037secs, Finished in 0.041secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002