Alan Carle

13 papers and 446 indexed citations i.

About

Alan Carle has authored 13 papers that have received a total of 446 indexed citations. This includes 7 papers in Computational Theory and Mathematics, 4 papers in Numerical Analysis and 3 papers in Artificial Intelligence. The topics of these papers are Numerical methods for differential equations (4 papers), Formal Methods in Verification (3 papers) and Numerical Methods and Algorithms (3 papers). Alan Carle is often cited by papers focused on Numerical methods for differential equations (4 papers), Formal Methods in Verification (3 papers) and Numerical Methods and Algorithms (3 papers) and collaborates with scholars based in United States. Alan Carle's co-authors include Christian Bischof, Andreas Griewank, George F. Corliss, Mike Fagan and Lori Pollock and has published in prestigious journals such as IEEE Transactions on Software Engineering, SIAM Journal on Scientific Computing and Future Generation Computer Systems

In The Last Decade

Rankless by CCL
2025