Author of the publication

An architecture to automate UAS operations in non-segregated airspace.

, , , , , and . ATACCS, page 5-14. IRIT Press Toulouse, France / ACM DL, (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Synthesis of Speed-Independent Circuits from STG-Unfolding Segment., , , , and . DAC, page 16-21. ACM Press, (1997)A taxonomy of UAS separation maneuvers and their automated execution., , , , and . ATACCS, page 1-11. IRIT Press Toulouse, France / ACM DL, (2012)A structural encoding technique for the synthesis of asynchronous circuits., , and . Fundam. Informaticae, 50 (2): 135-154 (2002)A Case Study for the Verification of Complex Timed Circuits: IPCMOS., , , and . DATE, page 44-51. IEEE Computer Society, (2002)Hierarchical gate-level verification of speed-independent circuits., , and . ASYNC, page 128-137. IEEE Computer Society, (1995)A new look at the conditions for the synthesis of speed-independent circuits., , and . Great Lakes Symposium on VLSI, page 230-. IEEE Computer Society, (1995)Efficient Encoding Schemes for Symbolic Analysis of Petri Nets., and . DATE, page 790-795. IEEE Computer Society, (1998)Depart and approach procedures for UAS in a VFR environment., , , , , and . ATACCS, page 23-32. IRIT Press Toulouse, France / ACM DL, (2011)Decision Support System for Hot Spot Detection., , , , , and . Intelligent Environments, volume 2 of Ambient Intelligence and Smart Environments, page 277-284. IOS Press, (2009)A rudimentary machine: experiences in the design of a pedagogic computer., , and . WCAE@ISCA, page 7. ACM, (1998)