Thomas Kropf
1990–2024 年に発表
- 所属
- University of TübingenRobert Bosch (Germany)Karlsruhe Institute of TechnologyRobert Bosch (Netherlands)このコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- 別表記
- Thomas Kröpf
- 122
- 論文数
- 1,508
- 被引用数
- 17
- h 指数
- 33
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science91.5%
- Engineering5.7%
- Business, Management and Accounting1%
- Decision Sciences0.5%
- Social Sciences0.3%
- Agricultural and Biological Sciences0.2%
- その他0.8%
トピック
- 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%
- その他27%
よく組む共著者
- 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
全論文
論文を読み込んでいます…
