James B. Saxe
About
James B. Saxe has authored 24 papers that have received a total of 2.6k indexed citations.
This includes 10 papers in Artificial Intelligence, 10 papers in Computer Networks and Communications and 8 papers in Computational Theory and Mathematics. The topics of these papers are Software Testing and Debugging Techniques (6 papers), Algorithms and Data Compression (5 papers) and Formal Methods in Verification (5 papers). James B. Saxe is often cited by papers focused on Software Testing and Debugging Techniques (6 papers), Algorithms and Data Compression (5 papers) and Formal Methods in Verification (5 papers) and collaborates with scholars based in United States and Germany. James B. Saxe's co-authors include Jon Bentley, Greg Nelson, K. Rustan M. Leino, Cormac Flanagan and Charles E. Leiserson and has published in prestigious journals such as Communications of the ACM, Journal of the ACM and ACM Transactions on Mathematical Software
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by C. W. Clenshaw Top fields papers by Goro Inaba are about Top countries impacted by papers by Christopher N. Vlangos Top fields papers by A. Schneider are about Top fields papers by Debbie Yaver are about Top fields papers by Giuliana Salani are about Top fields papers by Nicolas X. Tritsch are about Top fields papers by Steven L. McIntire are about