1. Formal specification and analysis of take-off procedure using VDM-SL;Complex Adaptive Systems Modeling;2016-02-15
2. Safety Control Management at Airport Taxiing to Take-Off Procedure;Arabian Journal for Science and Engineering;2014-06-20
3. Model predictive control approach to global air collision avoidance;Aircraft Engineering and Aerospace Technology;2008-10-17
4. Trajectory Optimization by Canoncial Dynamic Proramming;55th International Astronautical Congress of the International Astronautical Federation, the International Academy of Astronautics, and the International Institute of Space Law;2004-10-04