Aaron Dutle

497 total citations
22 papers, 223 citations indexed

About

Aaron Dutle is a scholar working on Computational Theory and Mathematics, Aerospace Engineering and Artificial Intelligence. According to data from OpenAlex, Aaron Dutle has authored 22 papers receiving a total of 223 indexed citations (citations by other indexed papers that have themselves been cited), including 12 papers in Computational Theory and Mathematics, 8 papers in Aerospace Engineering and 7 papers in Artificial Intelligence. Recurrent topics in Aaron Dutle's work include Formal Methods in Verification (7 papers), Air Traffic Management and Optimization (6 papers) and Software Reliability and Analysis Research (4 papers). Aaron Dutle is often cited by papers focused on Formal Methods in Verification (7 papers), Air Traffic Management and Optimization (6 papers) and Software Reliability and Analysis Research (4 papers). Aaron Dutle collaborates with scholars based in United States, Hungary and France. Aaron Dutle's co-authors include César Muñoz, Anthony Narkawicz, George Hagen, James P. Chamberlain, María Consiglio, Joshua Cooper, Éva Czabarka, István Miklós, Péter L. Erdős and Dimitra Giannakopoulou and has published in prestigious journals such as Lecture notes in computer science, Discrete Applied Mathematics and Journal of Automated Reasoning.

In The Last Decade

Aaron Dutle

22 papers receiving 214 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name	h						Papers	Cites
Aaron Dutle United States	7	108	67	55	44	33	22	223
Abraham P. Vinod United States	10	49 0.5×	61 0.9×	55 1.0×	15 0.3×	6 0.2×	51	233
Paul S. Miner United States	8	29 0.3×	53 0.8×	32 0.6×	9 0.2×	14 0.4×	26	207
Forest Fisher United States	11	64 0.6×	15 0.2×	163 3.0×	6 0.1×	8 0.2×	34	301
Adam Sweet United States	8	35 0.3×	26 0.4×	147 2.7×	6 0.1×	7 0.2×	24	271
Haoyang Yang China	8	102 0.9×	78 1.2×	49 0.9×	7 0.2×	4 0.1×	24	293
Shakiba Yaghoubi United States	11	6 0.1×	114 1.7×	93 1.7×	43 1.0×	7 0.2×	21	238
Héctor Palacios Spain	9	54 0.5×	59 0.9×	263 4.8×	5 0.1×	3 0.1×	13	365
Eun-Young Kang Denmark	9	37 0.3×	84 1.3×	34 0.6×	2 0.0×	5 0.2×	54	256
Elad M. Schiller Sweden	10	20 0.2×	28 0.4×	40 0.7×	24 0.5×	3 0.1×	56	379
Hengjun Zhao China	9	13 0.1×	44 0.7×	48 0.9×	6 0.1×	3 0.1×	31	265

Countries citing papers authored by Aaron Dutle

Since Specialization

Citations

This map shows the geographic impact of Aaron Dutle'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 Aaron Dutle with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Aaron Dutle more than expected).

Fields of papers citing papers by Aaron Dutle

Since Specialization

Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Aaron Dutle. 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 Aaron Dutle. The network helps show where Aaron Dutle may publish in the future.

Co-authorship network of co-authors of Aaron Dutle

This figure shows the co-authorship network connecting the top 25 collaborators of Aaron Dutle. A scholar is included among the top collaborators of Aaron Dutle 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 Aaron Dutle. Aaron Dutle 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

White, Lauren M., et al.. (2024). A Verification Framework for Runtime Assurance of Autonomous UAS. 1–8. 1 indexed citations

White, Lauren M., et al.. (2024). Embedding Differential Dynamic Logic in PVS. Electronic Proceedings in Theoretical Computer Science. 402. 43–62. 1 indexed citations

Giannakopoulou, Dimitra, et al.. (2022). A compositional proof framework for FRETish requirements. 68–81. 1 indexed citations

Dutle, Aaron, et al.. (2021). NASA Formal Methods. Lecture notes in computer science. 2 indexed citations

Dutle, Aaron, et al.. (2020). Formal analysis of the compact positionreporting algorithm. Formal Aspects of Computing. 33(1). 65–86. 6 indexed citations

Dutle, Aaron, César Muñoz, Alwyn E. Goodloe, et al.. (2020). From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project. Electronic Proceedings in Theoretical Computer Science. 329. 23–30. 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

Dutle, Aaron, et al.. (2018). NASA Formal Methods. Lecture notes in computer science. 4 indexed citations

10.

Narkawicz, Anthony, César Muñoz, & Aaron Dutle. (2018). The MINERVA Software Development Process. NASA STI Repository (National Aeronautics and Space Administration). 5. 93–76. 3 indexed citations

11.

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

12.

Vincent, Michael J., et al.. (2017). Unmanned Aircraft Systems Minimum Operations Performance Standards End-to-End Verification and Validation (E2-V2) Simulation. NASA Technical Reports Server (NASA). 3 indexed citations

13.

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

14.

Czabarka, Éva, Aaron Dutle, Travis Johnston, & Łászló A. Székely. (2015). Abelian groups yield many large families for the diamond problem. European Journal of Mathematics. 1(2). 320–328. 1 indexed citations

15.

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

16.

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

17.

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). 1–18. 53 indexed citations

18.

Czabarka, Éva, Aaron Dutle, Péter L. Erdős, & István Miklós. (2014). On realizations of a joint degree matrix. Discrete Applied Mathematics. 181. 283–288. 13 indexed citations

19.

Cooper, Joshua & Aaron Dutle. (2014). Computing hypermatrix spectra with the Poisson product formula. Linear and Multilinear Algebra. 63(5). 956–970. 14 indexed citations

20.

Dutle, Aaron. (2012). Spectra of hypergraphs. arXiv (Cornell University). 4 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