John McLean

17 papers and 317 indexed citations i.

John McLean has authored 17 papers that have received a total of 317 indexed citations. This includes 13 papers in Artificial Intelligence, 8 papers in Signal Processing and 6 papers in Information Systems. The topics of these papers are Security and Verification in Computing (9 papers), Advanced Malware Detection Techniques (8 papers) and Formal Methods in Verification (4 papers). John McLean is often cited by papers focused on Security and Verification in Computing (9 papers), Advanced Malware Detection Techniques (8 papers) and Formal Methods in Verification (4 papers) and collaborates with scholars based in United States and United Kingdom. John McLean's co-authors include Constance Heitmeyer, Carl E. Landwehr, John Dixon, David Lorge Parnas and Myla Archer and has published in prestigious journals such as Journal of the ACM, IEEE Transactions on Software Engineering and Computer.