CATS: A Complete Air Traffic Simulator, 16th DASC. AIAA/IEEE Digital Avionics Systems Conference. Reflections to the Future. Proceedings, 1997. ,
DOI : 10.1109/DASC.1997.637271
URL : https://hal.archives-ouvertes.fr/hal-00937713
Atm: 20 ans d'effort et perspectives, Symposium de l'Académie Nationale de l'Air et de l'Espace : vers l'automatisation du, 2003. ,
Strategic research agenda 2 (SRA 2) Technical report, Advisory Council for Aeronautics Research in Europe, 2004. ,
Speed uncertainty and speed regulation in conflict detection and resolution in air traffic control, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-01021734
Application de la programmation par contraintes à des problèmes de gestion du trafic aérien, 2002. ,
FaCiLe: a Functional Constraint Library, Colloquium on Implementation of Constraint and LOgic Programming Systems CICLOPS'01 (Workshop of CP'01), 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-00938018
Graph coloring for air traffic flow management . In CPAIOR'02: Fourth Internation Workshop on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimisation Problems, pp.133-147, 2002. ,
URL : https://hal.archives-ouvertes.fr/hal-00938022
Slot allocation with constraint programming: Models and results, International Air Traffic Management R&D Seminar ATM- 2001, Santa Fe (NM), 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-00938015
Basic CFMU Handbook -General & CFMU Systems, 2000. ,
Innovative slot allocation (ISA), 1997. ,
Air-traffic complexity resolution in multi-sector planning using constraint programming Failures in the automation of air traffic control, Proceedings of ATM'07, the 7th USA Colloque de l'AAA, 2005. ,
Optimal resolution of en route conflicts, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-00938232
Selection and Evaluation of Air Traffic Complexity Metrics, 2006 ieee/aiaa 25TH Digital Avionics Systems Conference, 2007. ,
DOI : 10.1109/DASC.2006.313710
URL : https://hal.archives-ouvertes.fr/hal-00938180
Détection et résolution de conflits aériens : modélisations et analyse, Thèse doctorat informatique de l'Ecole Polytechnique, 2002. ,
Airspace sectorization by constraint programming, RIVF'03, 2003. ,