Thomas Kropf
Active 1990–2024
- Affiliations
- University of TübingenRobert Bosch (Germany)Karlsruhe Institute of TechnologyRobert Bosch (Netherlands)This corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
- Also published as
- Thomas Kröpf
- 122
- Papers
- 1,508
- Citations
- 17
- h-index
- 33
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
Fields
- Computer Science91.5%
- Engineering5.7%
- Business, Management and Accounting1%
- Decision Sciences0.5%
- Social Sciences0.3%
- Agricultural and Biological Sciences0.2%
- Other0.8%
Topics
- Formal Methods in Verification27.5%
- Embedded Systems Design Techniques12.5%
- VLSI and Analog Circuit Testing10.4%
- Software Testing and Debugging Techniques8.8%
- Logic, programming, and type systems7.8%
- Model-Driven Software Engineering Techniques5.9%
- Other27%
Frequent coauthors
- Jürgen Ruf57
- Wolfgang Rosenstiel46
- Klaus Schneider 000122
- Ramayya Kumar18
- Patrick Heckeler14
- Roland Weiss 000212
- Djones Lettnin10
- Jörg Behrend10
- Dirk W. Hoffmann9
- Stefan Huster9
- Hanno Eichelberger8
- Jo Laufenberg8
- Roland Weiß8
- Joachim Gerlach7
- Oliver Bringmann 00017
- Pradeep Kumar Nalla7
- Sebastian Burg7
- Prakash Mohan Peranandam6
- Oliver F. Haberl5
- Stefan Lämmermann5
- J. Behrend4
- Carsten Sinz3
- Florian Merz 00013
- Hendrik Post3
All papers
Loading papers…
