César Muñoz
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
Explore authors with similar magnitude of impact
Top authors papers by M. J. Patil are co-authored with Top authors papers by Wataru Kobayashi are co-authored with Top fields papers by Myeon Choe are about Top countries impacted by papers by Weihua Chen Top fields papers by San‐Mou Jeng are about Top fields papers by Tianyu Zhang are about Top countries impacted by papers by Benjamin R. Anderson Top journals papers by S. N. Jena are published in