David Hardin

24 papers and 75 indexed citations i.

David Hardin has authored 24 papers that have received a total of 75 indexed citations. This includes 16 papers in Artificial Intelligence, 13 papers in Computational Theory and Mathematics and 7 papers in Hardware and Architecture. The topics of these papers are Formal Methods in Verification (13 papers), Logic, programming, and type systems (10 papers) and Security and Verification in Computing (10 papers). David Hardin is often cited by papers focused on Formal Methods in Verification (13 papers), Logic, programming, and type systems (10 papers) and Security and Verification in Computing (10 papers) and collaborates with scholars based in United States and Australia. David Hardin's co-authors include Robby, Stephen A. Dyer, Jennifer Davis, Eric Mercer and Isaac Amundson and has published in prestigious journals such as SAE technical papers on CD-ROM/SAE technical paper series, Applied Spectroscopy and Journal of Raman Spectroscopy