Mark D. Aagaard

31 papers and 200 indexed citations i.

Mark D. Aagaard has authored 31 papers that have received a total of 200 indexed citations. This includes 18 papers in Artificial Intelligence, 17 papers in Computational Theory and Mathematics and 14 papers in Electrical and Electronic Engineering. The topics of these papers are Formal Methods in Verification (14 papers), Coding theory and cryptography (9 papers) and Cryptographic Implementations and Security (9 papers). Mark D. Aagaard is often cited by papers focused on Formal Methods in Verification (14 papers), Coding theory and cryptography (9 papers) and Cryptographic Implementations and Security (9 papers) and collaborates with scholars based in Canada, United States and United Kingdom. Mark D. Aagaard's co-authors include Robert B. Jones, Guang Gong, Miriam Leeser, Kalikinkar Mandal and Xinxin Fan and has published in prestigious journals such as IEEE Transactions on Software Engineering, IEEE Transactions on Computers and IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems