Aaron Dutle - Concepedia

Author

Aaron Dutle

Langley Research Center ORCID

Also Known As

Aaron Dutle, Aaron M. Dutle, Dutle, Aaron, Dutle, Aaron M., NFM 2018 Newport News, Va., NFM 2021 Online

Publications

493

Citations

H-Index

Concepts

All Affiliations

Langley Research Center National Institute of Aerospace University of South Carolina Ames Research Center

About

Aaron Dutle is an author at Langley Research Center specializing in engineering, computer science, and systems engineering.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	7	7	256
2	Computer Engineering	2	2	27
3	Arts	1	1	68
4	Education	1	1	16
5	Communication	1	1	68

Aaron Dutle

Publications

321

Citations

H-Index

Page 1

	Year	Citations
DAIDALUS: Detect and Avoid Alerting Logic for Unmanned Systems César Muñoz, Anthony Narkawicz, George Hagen, 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) Daidalus Reference ImplementationEngineeringAerospace EngineeringUnmanned SystemAutomation	2015	102
DAIDALUS: Detect and avoid alerting logic for unmanned systems César Muñoz, Anthony Narkawicz, George Hagen, 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) Performance StudiesConference PresentationEngineeringUnmanned SystemsAutomation	2015	68
On realizations of a joint degree matrix Éva Czabarka, Aaron Dutle, Péter L. Erdős, Discrete Applied Mathematics Matrix MethodJoint Degree MatrixMatrix TheoryMatrix Analysis	2014	30
Computing hypermatrix spectra with the Poisson product formula Joshua Cooper, Aaron Dutle Linear and Multilinear Algebra	2014	24
Formally-Verified Decision Procedures for Univariate Polynomial Computation Based on Sturm’s and Tarski’s Theorems Anthony Narkawicz, César Muñoz, Aaron Dutle Journal of Automated Reasoning Decision ProcedureFormally-verified Decision ProceduresEngineeringComputational Complexity TheoryValidated Numerics	2015	21
Unmanned aircraft systems in the national airspace system César Muñoz, Aaron Dutle, Anthony Narkawicz, ACM SIGLOG News Unmanned Aircraft ControlAircraft SystemsEngineeringAerial RoboticsAerospace Engineering	2016	20
A compositional proof framework for FRETish requirements Esther Conrad, Laura Titolo, Dimitra Giannakopoulou, EngineeringVerificationSoftware EngineeringAutomated ProofFretish Language	2022	18
Sensor Uncertainty Mitigation and Dynamic Well Clear Volumes in DAIDALUS Anthony Narkawicz, César Muñoz, Aaron Dutle Environmental MonitoringEngineeringMeasurementEducationUnmanned Vehicle	2018	16
Formal analysis of the compact positionreporting algorithm Aaron Dutle, Mariano M. Moscato, Laura Titolo, Formal Aspects of Computing	2020	11
From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project Aaron Dutle, César Muñoz, Esther Conrad, Electronic Proceedings in Theoretical Computer Science EngineeringField RoboticsVerificationSoftware EngineeringAutonomous Systems	2020	11

Page 1