Martin R. Neuhäußer
About
Martin R. Neuhäußer has authored 4 papers that have received a total of 20 indexed citations.
This includes 4 papers in Computational Theory and Mathematics, 2 papers in Software and 1 paper in Molecular Biology. The topics of these papers are Formal Methods in Verification (4 papers), Software Reliability and Analysis Research (2 papers) and VLSI and Analog Circuit Testing (1 paper). Martin R. Neuhäußer is often cited by papers focused on Formal Methods in Verification (4 papers), Software Reliability and Analysis Research (2 papers) and VLSI and Analog Circuit Testing (1 paper) and collaborates with scholars based in Germany. Martin R. Neuhäußer's co-authors include Erika Ábrahám, David Spieler, Joost-Pieter Katoen, Thomas Noll and Verena Wolf and has published in prestigious journals such as Information Systems Frontiers, International Journal on Software Tools for Technology Transfer and Formal Methods in System Design.
In The Last Decade
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Julie Mayo Lamberte Breakdown of academic impact, for papers by Terence C. Holland Breakdown of academic impact, for papers by E. Nagy Breakdown of academic impact, for papers by Styliani Gerakari Breakdown of academic impact, for papers by Jingyi Yang Breakdown of academic impact, for papers by Elina Steinerte Breakdown of academic impact, for papers by Eddy Kinganda-Lusamaki Breakdown of academic impact, for papers by Li Chung