Concepedia

Aaron Dutle

AD

10

Publications

321

Citations

10

H-Index

2014

Active since

Affiliations

Langley Research Center(Current)

National Institute of Aerospace

University of South Carolina

Ames Research Center

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

Top concepts

EngineeringComputer ScienceSystems EngineeringAutomationSpace EngineeringFormal VerificationFormal MethodsUnmanned Aerial SystemsUnmanned Aerial VehiclesVerification

Publications per year

2014–2022

10

Publications

10

DAIDALUS: Detect and Avoid Alerting Logic for Unmanned Systems

César Muñoz, Anthony Narkawicz, George Hagen et al. · 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) · 2015 · 102 citations · Full text

Daidalus Reference Implementation, Engineering, Aerospace Engineering +14

DAIDALUS: Detect and avoid alerting logic for unmanned systems

César Muñoz, Anthony Narkawicz, George Hagen et al. · 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) · 2015 · 68 citations

Performance Studies, Conference Presentation, Engineering +10

On realizations of a joint degree matrix

Éva Czabarka, Aaron Dutle, Péter L. Erdős et al. · Discrete Applied Mathematics · 2014 · 30 citations · Full text

Matrix Method, Joint Degree Matrix, Matrix Theory +1

Computing hypermatrix spectra with the Poisson product formula

Joshua Cooper, Aaron Dutle · Linear and Multilinear Algebra · 2014 · 24 citations

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 · 2015 · 21 citations

Decision Procedure, Formally-verified Decision Procedures, Engineering +9

Rows per page

1–5 of 10