Bernd Grobauer
About
Bernd Grobauer has authored 10 papers that have received a total of 328 indexed citations.
This includes 9 papers in Artificial Intelligence, 7 papers in Computational Theory and Mathematics and 6 papers in Software. The topics of these papers are Formal Methods in Verification (7 papers), Logic, programming, and type systems (7 papers) and Software Testing and Debugging Techniques (5 papers). Bernd Grobauer is often cited by papers focused on Formal Methods in Verification (7 papers), Logic, programming, and type systems (7 papers) and Software Testing and Debugging Techniques (5 papers) and collaborates with scholars based in Denmark, United States and Germany. Bernd Grobauer's co-authors include Olivier Danvy, Zhe Yang, Zhe Yang, Julia Lawall and Julia L. Lawall and has published in prestigious journals such as ACM SIGPLAN Notices, IEEE Security & Privacy and New Generation Computing
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Motoi Okuda Top authors papers by Peer Fehling are co-authored with Top authors papers by Jennifer Malm are co-authored with Top countries impacted by papers by Peter C. McCarthy Top journals papers by Frank Frantzen are published in Top countries impacted by papers by Renata Suter Top countries impacted by papers by Erica K. Towle Top journals papers by Daniel Siuda are published in