Aaron Dutle

16 papers and 394 indexed citations i.

Aaron Dutle has authored 16 papers that have received a total of 394 indexed citations. This includes 10 papers in Computational Theory and Mathematics, 4 papers in Aerospace Engineering and 3 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (4 papers), Matrix Theory and Algorithms (3 papers) and Air Traffic Management and Optimization (3 papers). Aaron Dutle is often cited by papers focused on Formal Methods in Verification (4 papers), Matrix Theory and Algorithms (3 papers) and Air Traffic Management and Optimization (3 papers) and collaborates with scholars based in United States, France and Hungary. Aaron Dutle's co-authors include Anthony Narkawicz, César Muñoz, Joshua Cooper, George Hagen and María Consiglio and has published in prestigious journals such as American Mathematical Monthly, Linear Algebra and its Applications and Lecture notes in computer science.