Pierre Flener

Air-traffic complexity resolution in multi-sector planning

Pierre Flener, Justin Pearson, Magnus S. Ågren et al. · Journal of Air Transport Management · 2007 · 58 citations · Full text

Planning, Operations Management, Transportation Planning +10

Inductive synthesis of recursive logic programs: achievements and prospects

Pierre Flener, Serap Yıilmaz · The Journal of Logic Programming · 1999 · 52 citations

Computing, Computer Science, Algorithms +13

Tractable symmetry breaking for CSPs with interchangeable values

Pascal Van Hentenryck, Pierre Flener, Justin Pearson et al. · 2003 · 46 citations

Computing, Computer Science, Algorithms +12

An introduction to inductive programming

Pierre Flener, Ute Schmid · Artificial Intelligence Review · 2008 · 32 citations

Computing, Computer Science, Mathematics +6

Specifications are necessarily informal or: Some more myths of formal methods

Baudouin Le Charlier, Pierre Flener · Journal of Systems and Software · 1998 · 29 citations

Computing, Computer Science, Formal Methods +7