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 United Kingdom. Mats P. E. Heimdahl's co-authors include Michael W. Whalen, Matt Staats, Sanjai Rayadurgam, Nancy G. Leveson and Ajitha Rajan and has published in prestigious journals such as Journal of Lightwave Technology, IEEE Transactions on Software Engineering and Computer.

In The Last Decade

Fields of papers published by Mats P. E. Heimdahl

Since Specialization
EngineeringComputer SciencePhysics and AstronomyMathematicsEarth and Planetary SciencesEnergyEnvironmental ScienceMaterials ScienceChemical EngineeringChemistryAgricultural and Biological SciencesVeterinaryDecision SciencesArts and HumanitiesBusiness, Management and AccountingSocial SciencesPsychologyEconomics, Econometrics and FinanceHealth ProfessionsDentistryMedicineBiochemistry, Genetics and Molecular BiologyNeuroscienceNursingImmunology and MicrobiologyPharmacology, Toxicology and Pharmaceutics

Countries citing papers authored by Mats P. E. Heimdahl

Since Specialization
Citations
Rankless by CCL
2025