Mats P. E. Heimdahl

80 papers and 1.5k indexed citations i.

About

Mats P. E. Heimdahl has authored 80 papers that have received a total of 1.5k indexed citations. This includes 65 papers in Software, 40 papers in Computational Theory and Mathematics and 18 papers in Information Systems. The topics of these papers are Software Testing and Debugging Techniques (50 papers), Software Reliability and Analysis Research (43 papers) and Formal Methods in Verification (40 papers). Mats P. E. Heimdahl is often cited by papers focused on Software Testing and Debugging Techniques (50 papers), Software Reliability and Analysis Research (43 papers) and Formal Methods in Verification (40 papers) and collaborates with scholars based in United States, South Korea and Canada. Mats P. E. Heimdahl's co-authors include Michael W. Whalen, Matt Staats, Sanjai Rayadurgam, Gregory Gay and Nancy G. Leveson and has published in prestigious journals such as Journal of Lightwave Technology, IEEE Transactions on Software Engineering and Computer

In The Last Decade

Rankless by CCL
2025