Matthew A. Hammer

15 papers and 122 indexed citations i.

Matthew A. Hammer has authored 15 papers that have received a total of 122 indexed citations. This includes 10 papers in Artificial Intelligence, 8 papers in Hardware and Architecture and 3 papers in Biomedical Engineering. The topics of these papers are Parallel Computing and Optimization Techniques (8 papers), Logic, programming, and type systems (7 papers) and Security and Verification in Computing (5 papers). Matthew A. Hammer is often cited by papers focused on Parallel Computing and Optimization Techniques (8 papers), Logic, programming, and type systems (7 papers) and Security and Verification in Computing (5 papers) and collaborates with scholars based in United States, Germany and Canada. Matthew A. Hammer's co-authors include Michael Hicks, Jana Dunfield, Oksana Sirenko and Umut A. Acar and has published in prestigious journals such as ACM SIGPLAN Notices, SLAS DISCOVERY and Assay and Drug Development Technologies.