Anthony Narkawicz

815 total citations
38 papers, 468 citations indexed

About

Anthony Narkawicz is a scholar working on Aerospace Engineering, Computational Theory and Mathematics and Artificial Intelligence. According to data from OpenAlex, Anthony Narkawicz has authored 38 papers receiving a total of 468 indexed citations (citations by other indexed papers that have themselves been cited), including 25 papers in Aerospace Engineering, 16 papers in Computational Theory and Mathematics and 9 papers in Artificial Intelligence. Recurrent topics in Anthony Narkawicz's work include Air Traffic Management and Optimization (24 papers), Formal Methods in Verification (14 papers) and Aerospace and Aviation Technology (11 papers). Anthony Narkawicz is often cited by papers focused on Air Traffic Management and Optimization (24 papers), Formal Methods in Verification (14 papers) and Aerospace and Aviation Technology (11 papers). Anthony Narkawicz collaborates with scholars based in United States, Germany and United Kingdom. Anthony Narkawicz's co-authors include César Muñoz, James P. Chamberlain, George Hagen, María Consiglio, Aaron Dutle, Gilles Dowek, Ricky W. Butler, Andrew Smith, Sean P. Kenny and Luis G. Crespo and has published in prestigious journals such as SHILAP Revista de lepidopterología, Lecture notes in computer science and Science of Computer Programming.

In The Last Decade

Anthony Narkawicz

37 papers receiving 442 citations

Peers

Anthony Narkawicz

CTM

Kelly J. Hayhurst United States

Russell A. Paielli United States

Sylvia Herbert United States

Zachary N. Sunberg United States

Mark Mote United States

Somil Bansal United States

Florian‐Michael Adolf Germany

Maxime Gariel United States

Kendra Lesser United States

Ashkan Jasour United States

Kelly J. Hayhurst United States

Anthony Narkawicz

133 ×0.5

30 ×0.3

CTM

48 ×0.5

40 ×0.4

Citations per year, relative to Anthony Narkawicz Anthony Narkawicz (= 1×) peers Kelly J. Hayhurst

Countries citing papers authored by Anthony Narkawicz

Since Specialization

Citations

This map shows the geographic impact of Anthony Narkawicz's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Anthony Narkawicz with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Anthony Narkawicz more than expected).

Fields of papers citing papers by Anthony Narkawicz

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Anthony Narkawicz. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Anthony Narkawicz. The network helps show where Anthony Narkawicz may publish in the future.

Co-authorship network of co-authors of Anthony Narkawicz

This figure shows the co-authorship network connecting the top 25 collaborators of Anthony Narkawicz. A scholar is included among the top collaborators of Anthony Narkawicz based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Anthony Narkawicz. Anthony Narkawicz is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

Narkawicz, Anthony, et al.. (2021). A Vision-based Solution to Estimating Time to Closest Point of Approach for Sense and Avoid. AIAA Scitech 2021 Forum. 4 indexed citations

Narkawicz, Anthony, César Muñoz, & Aaron Dutle. (2018). Sensor Uncertainty Mitigation and Dynamic Well Clear Volumes in DAIDALUS. 3 indexed citations

Narkawicz, Anthony, César Muñoz, & Aaron Dutle. (2018). Sensor Uncertainty Mitigation and Dynamic Well Clear Volumes in DAIDALUS. 1–8. 10 indexed citations

Narkawicz, Anthony, César Muñoz, & Aaron Dutle. (2017). The MINERVA Software Development Process. 93–108. 1 indexed citations

Narkawicz, Anthony & George Hagen. (2016). Algorithms for Collision Detection Between a Point and a Moving Polygon, with Applications to Aircraft Weather Avoidance. 16 indexed citations

Muñoz, César, et al.. (2016). Unmanned aircraft systems in the national airspace system. 3(3). 67–76. 14 indexed citations

Consiglio, María, et al.. (2016). ICAROUS: Integrated configurable algorithms for reliable operations of unmanned systems. NASA STI Repository (National Aeronautics and Space Administration). 1–5. 45 indexed citations

Muñoz, César, Anthony Narkawicz, George Hagen, et al.. (2015). DAIDALUS: Detect and Avoid Alerting Logic for Unmanned Systems. 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC). 70 indexed citations

Smith, Andrew, et al.. (2015). Kodiak: An Implementation Framework for Branch and Bound Algorithms. 2 indexed citations

10.

Narkawicz, Anthony, César Muñoz, & Aaron Dutle. (2015). Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm’s and Tarski’s Theorems. Journal of Automated Reasoning. 54(4). 285–326. 8 indexed citations

11.

Muñoz, César, et al.. (2014). A Family of Well-Clear Boundary Models for the Integration of UAS in the NAS. NASA STI Repository (National Aeronautics and Space Administration). 37 indexed citations

12.

Narkawicz, Anthony & César Muñoz. (2014). A Formally-Verified Decision Procedure for Univariate Polynomial Computation Based on Sturm's Theorem. NASA Technical Reports Server (NASA). 3 indexed citations

13.

Muñoz, César, Anthony Narkawicz, & James P. Chamberlain. (2013). A TCAS-II Resolution Advisory Detection Algorithm. AIAA Guidance, Navigation, and Control (GNC) Conference. 53 indexed citations

14.

Narkawicz, Anthony, Jürgen Garloff, Andrew Smith, & César Muñoz. (2012). Bounding the Range of a Rational Function over a Box. Reliable Computing. 17. 34–39. 8 indexed citations

15.

Narkawicz, Anthony & César Muñoz. (2012). Formal Verification of Conflict Detection Algorithms for Arbitrary Trajectories.. Reliable Computing. 17. 209–237. 6 indexed citations

16.

Narkawicz, Anthony, et al.. (2012). A Mathematical Analysis of Air Traffic Priority Rules. 12th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference and 14th AIAA/ISSMO Multidisciplinary Analysis and Optimization Conference. 2 indexed citations

17.

Narkawicz, Anthony, César Muñoz, & Gilles Dowek. (2011). Provably correct conflict prevention bands algorithms. Science of Computer Programming. 77(10-11). 1039–1057. 12 indexed citations

18.

Narkawicz, Anthony. (2011). A Formal Proof Of The Riesz Representation Theorem. SHILAP Revista de lepidopterología. 1 indexed citations

19.

Butler, Ricky W., et al.. (2010). How Formal Methods Impels Discovery: A Short History of an Air Traffic Management Project. 34–46. 3 indexed citations

20.

Muñoz, César, et al.. (2010). A Criteria Standard for Conflict Resolution: A Vision for Guaranteeing the Safety of Self-Separation in NextGen. 12 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact