Aaron Tomb

5 papers and 59 indexed citations i.

Aaron Tomb has authored 5 papers that have received a total of 59 indexed citations. This includes 5 papers in Artificial Intelligence, 2 papers in Information Systems and 2 papers in Signal Processing. The topics of these papers are Security and Verification in Computing (3 papers), Logic, programming, and type systems (3 papers) and Software Testing and Debugging Techniques (2 papers). Aaron Tomb is often cited by papers focused on Security and Verification in Computing (3 papers), Logic, programming, and type systems (3 papers) and Software Testing and Debugging Techniques (2 papers) and collaborates with scholars based in United States. Aaron Tomb's co-authors include Cormac Flanagan, Cormac Flanagan, Andrei Ştefănescu, Steve Zdancewic and David Herman and has published in prestigious journals such as IEEE Security & Privacy and Proceedings of the ACM on Programming Languages