Cats, a complete air traffic simulator, Proceedings of DASC97, 1997. ,
URL : https://hal.archives-ouvertes.fr/hal-00937713
An experimental study of atm capacity, Proceedings of Europe-USA conference on Air Traffic Management, 1997. ,
URL : https://hal.archives-ouvertes.fr/hal-00937705
Global optimizations using interval analysis. Dekker, pp.0-8247, 1992. ,
Automated En Route Air Traffic Control Algorithmic Specifications: Flight Plan Conflict Probe Automated planning function for AERA3: Manoeuver Option Manager, 1989. ,
A mathematical formulation for planning automated aircraft separation for AERA3, 1989. ,
Probabilités, analyse des données et statistique, 1990. ,