Carlos Pacheco
About
Carlos Pacheco has authored 3 papers that have received a total of 538 indexed citations.
This includes 2 papers in Software, 1 paper in Artificial Intelligence and 1 paper in Computer Networks and Communications. The topics of these papers are Software Testing and Debugging Techniques (2 papers), Software Reliability and Analysis Research (2 papers) and Formal Methods in Verification (1 paper). Carlos Pacheco is often cited by papers focused on Software Testing and Debugging Techniques (2 papers), Software Reliability and Analysis Research (2 papers) and Formal Methods in Verification (1 paper) and collaborates with scholars based in United States and Hong Kong. Carlos Pacheco's co-authors include Michael D. Ernst, Jeff Perkins, Frank P. Sherwood, Saman Amarasinghe and Yoav Zibin and has published in prestigious journals such as Science of Computer Programming
In The Last Decade
Explore authors with similar magnitude of impact
Top fields papers by Katie M Menssen are about Top journals papers by Yingtian Zou are published in Top journals papers by Shigenobu MORI are published in Top authors papers by Jane Sampson are co-authored with Top countries impacted by papers by Rupesh Kanchi Ravi Top authors papers by Paula J. Spitzler are co-authored with Top journals papers by M. Ji are published in Top countries impacted by papers by Andrea Guerra