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 fields papers by Meiying Leng are about Top authors papers by Laura A. Cooley are co-authored with Top authors papers by Sophie Jarriault are co-authored with Top fields papers by Souradeep Gupta are about Top countries impacted by papers by Susheel Gundewar Top fields papers by J P Griffin are about Top fields papers by Yijie Gao are about Top authors papers by Rolando Grave de Peralta are co-authored with