James B. Saxe

24 papers and 2.6k indexed citations i.

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 Interconnection Networks and Systems (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 Interconnection Networks and Systems (5 papers) and collaborates with scholars based in United States and Germany. James B. Saxe's co-authors include Jon Bentley, Greg Nelson, Charles E. Leiserson, K. Rustan M. Leino and Cormac Flanagan and has published in prestigious journals such as Communications of the ACM, Journal of the ACM and ACM Transactions on Mathematical Software.