Thomas Kröpf
About
Thomas Kröpf has authored 38 papers that have received a total of 261 indexed citations.
This includes 24 papers in Computational Theory and Mathematics, 21 papers in Hardware and Architecture and 11 papers in Software. The topics of these papers are Formal Methods in Verification (24 papers), Embedded Systems Design Techniques (12 papers) and Software Testing and Debugging Techniques (10 papers). Thomas Kröpf is often cited by papers focused on Formal Methods in Verification (24 papers), Embedded Systems Design Techniques (12 papers) and Software Testing and Debugging Techniques (10 papers) and collaborates with scholars based in Germany, France and Brazil. Thomas Kröpf's co-authors include Wolfgang Rosenstiel, Jürgen Ruf, Lars Hedrich, Dirk W. Hoffmann and Roland Weiß and has published in prestigious journals such as Lecture notes in computer science, IEEE Software and IEEE Transactions on Very Large Scale Integration (VLSI) Systems
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by V. S. Voitsenya are co-authored with Top authors papers by Julie D Bandral are co-authored with Top journals papers by Bekir Keskin are published in Top countries impacted by papers by Sergey Khaitov Top authors papers by Roberta Cocci Grifoni are co-authored with Top journals papers by Bilge Gültepe are published in Top journals papers by José Augusto Albuquerque dos Santos are published in Top journals papers by Weijia Huang are published in