Joe Gibbs Politz

11 papers and 70 indexed citations i.

Joe Gibbs Politz has authored 11 papers that have received a total of 70 indexed citations. This includes 8 papers in Artificial Intelligence, 4 papers in Hardware and Architecture and 3 papers in Information Systems. The topics of these papers are Logic, programming, and type systems (7 papers), Parallel Computing and Optimization Techniques (4 papers) and Security and Verification in Computing (4 papers). Joe Gibbs Politz is often cited by papers focused on Logic, programming, and type systems (7 papers), Parallel Computing and Optimization Techniques (4 papers) and Security and Verification in Computing (4 papers) and collaborates with scholars based in United States, Argentina and China. Joe Gibbs Politz's co-authors include Shriram Krishnamurthi, Arjun Guha, Kathi Fisler, Junsong Li and S. Baxter and has published in prestigious journals such as ACM SIGPLAN Notices and Journal of Computer Security.