Gregg M. Townsend

8 papers and 151 indexed citations i.

Gregg M. Townsend has authored 8 papers that have received a total of 151 indexed citations. This includes 5 papers in Computer Networks and Communications, 4 papers in Artificial Intelligence and 4 papers in Information Systems. The topics of these papers are Advanced Malware Detection Techniques (3 papers), Formal Methods in Verification (2 papers) and Logic, programming, and type systems (2 papers). Gregg M. Townsend is often cited by papers focused on Advanced Malware Detection Techniques (3 papers), Formal Methods in Verification (2 papers) and Logic, programming, and type systems (2 papers) and collaborates with scholars based in United States and New Zealand. Gregg M. Townsend's co-authors include Todd A. Proebsting, Christian Collberg, Michael Stepp, William G. Griswold and Gregory R. Andrews and has published in prestigious journals such as Information and Software Technology, ACM Transactions on Programming Languages and Systems and Software Practice and Experience