Effect of Fin-Guided Fuel Injection on Scramjet Performance
AN INDEPENDENT AND COORDINATED CRITERION FOR KINEMATIC AIRCRAFT MANEUVERS (AIAA 2014-2859)
Conflict Detection and Resolution for 1,2,... N Aircraft
A Mathematical Analysis of Conflict Prevention Information
A FAMILY OF WELL-CLEAR BOUNDARY MODELS FOR THE INTEGRATION OF UAS IN THE NAS (AIAA 2014-2412)
A TCAS-II Resolution Advisory Detection Algorithm (AIAA 2013-4622)
FORMAL VERIFICATION OF SAFETY BUFFERS FOR STATE-BASED CONFLICT DETECTION AND RESOLUTION
A MATHEMATICAL ANALYSIS OF AIR TRAFFIC PRIORITY RULES
Conflict Prevention and Separation Assurance in Small Aircraft Transportation Systems