César Muñoz

62 papers and 519 indexed citations i.

César Muñoz has authored 62 papers that have received a total of 519 indexed citations. This includes 25 papers in Aerospace Engineering, 24 papers in Artificial Intelligence and 23 papers in Computational Theory and Mathematics. The topics of these papers are Air Traffic Management and Optimization (25 papers), Formal Methods in Verification (19 papers) and Aerospace and Aviation Technology (12 papers). César Muñoz is often cited by papers focused on Air Traffic Management and Optimization (25 papers), Formal Methods in Verification (19 papers) and Aerospace and Aviation Technology (12 papers) and collaborates with scholars based in United States, France and Brazil. César Muñoz's co-authors include Anthony Narkawicz, María Consiglio, James P. Chamberlain, Aaron Dutle and Gilles Dowek and has published in prestigious journals such as IEEE Transactions on Computers, Theoretical Computer Science and Journal of Aircraft.