César Muñoz

62 papers and 511 indexed citations i.

About

César Muñoz has authored 62 papers that have received a total of 511 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

In The Last Decade

Rankless by CCL
2025