Arnd Hartmanns
About
Arnd Hartmanns has authored 25 papers that have received a total of 148 indexed citations.
This includes 21 papers in Computational Theory and Mathematics, 14 papers in Software and 6 papers in Control and Systems Engineering. The topics of these papers are Formal Methods in Verification (21 papers), Software Reliability and Analysis Research (12 papers) and Software Testing and Debugging Techniques (6 papers). Arnd Hartmanns is often cited by papers focused on Formal Methods in Verification (21 papers), Software Reliability and Analysis Research (12 papers) and Software Testing and Debugging Techniques (6 papers) and collaborates with scholars based in Germany, The Netherlands and Argentina. Arnd Hartmanns's co-authors include Holger Hermanns, Anne Remke, Alessandro Abate, Sofie Haesaert and Pedro R. D’Argenio and has published in prestigious journals such as Science of Computer Programming, ACM Transactions on Modeling and Computer Simulation and Journal of Automated Reasoning
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Jakub Łącki Top fields papers by Sharon Achinstein are about Top fields papers by Zbigniew Król are about Top journals papers by Clifford P. Harbour are published in Top authors papers by Grzegorz Karoń are co-authored with Top fields papers by Iman El Sayed are about Top countries impacted by papers by Reinhart Kößler Top countries impacted by papers by Tuomo Tikkanen