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), Security and Verification in Computing (4 papers) and Parallel Computing and Optimization Techniques (4 papers). Joe Gibbs Politz is often cited by papers focused on Logic, programming, and type systems (7 papers), Security and Verification in Computing (4 papers) and Parallel Computing and Optimization Techniques (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 K. Ann Renninger and has published in prestigious journals such as ACM SIGPLAN Notices and Journal of Computer Security.