Anthony Narkawicz

24 papers and 271 indexed citations i.

Anthony Narkawicz has authored 24 papers that have received a total of 271 indexed citations. This includes 16 papers in Aerospace Engineering, 8 papers in Computational Theory and Mathematics and 7 papers in Artificial Intelligence. The topics of these papers are Air Traffic Management and Optimization (15 papers), Aerospace and Aviation Technology (9 papers) and Formal Methods in Verification (7 papers). Anthony Narkawicz is often cited by papers focused on Air Traffic Management and Optimization (15 papers), Aerospace and Aviation Technology (9 papers) and Formal Methods in Verification (7 papers) and collaborates with scholars based in United States, Germany and France. Anthony Narkawicz's co-authors include César Muñoz, James P. Chamberlain, María Consiglio, Aaron Dutle and George Hagen and has published in prestigious journals such as Lecture notes in computer science, Science of Computer Programming and Journal of Automated Reasoning.