Christian Herde
About
Christian Herde has authored 6 papers that have received a total of 66 indexed citations.
This includes 4 papers in Computational Theory and Mathematics, 3 papers in Software and 2 papers in Computer Networks and Communications. The topics of these papers are Formal Methods in Verification (4 papers), Software Testing and Debugging Techniques (3 papers) and Model-Driven Software Engineering Techniques (3 papers). Christian Herde is often cited by papers focused on Formal Methods in Verification (4 papers), Software Testing and Debugging Techniques (3 papers) and Model-Driven Software Engineering Techniques (3 papers) and collaborates with scholars based in Germany and Denmark. Christian Herde's co-authors include Martin Fränzle, Erika Ábrahám, George Psihoyios, Bernd Becker and Ingo Stierand and has published in prestigious journals such as Journal of Logic and Computation, Formal Methods in System Design and Electronic Notes in Theoretical Computer Science
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by S. Hemmer Top journals papers by Anne O’Driscoll are published in Top fields papers by P. Assimakopoulos are about Top countries impacted by papers by Sachi Mizobuchi Top countries impacted by papers by México Top journals papers by Hui-Qi Low are published in Top authors papers by R. Meijer Drees are co-authored with Top countries impacted by papers by Laura Lukošienė