Thomas Hune
1998–2001 年に発表
- 12
- 論文数
- 1,024
- 被引用数
- 10
- h 指数
- 10
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
- 1 年分(被引用 2 件)は表示していません(最初の論文より前の日付)
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science92.2%
- Engineering5.1%
- Decision Sciences1.1%
- Business, Management and Accounting0.9%
- Biochemistry, Genetics and Molecular Biology0.2%
- Chemistry0.2%
- その他0.4%
トピック
- Formal Methods in Verification33.7%
- Petri Nets in System Modeling11.9%
- Software Testing and Debugging Techniques9%
- Logic, programming, and type systems8.7%
- Real-Time Systems Scheduling8.7%
- Model-Driven Software Engineering Techniques6.1%
- その他21.8%
よく組む共著者
- Paul Pettersson6
- Ansgar Fehnker5
- Gerd Behrmann5
- Judi Romijn4
- Kim G. Larsen4
- Frits W. Vaandrager2
- Johan Bengtsson2
- Kim Guldstrand Larsen2
- Mogens Nielsen2
- Tobias Amnell2
- A. David1
- Alexandre David1
- Anders Sandholm 00011
- Bertrand Jeannet1
- Carsten Weise1
- Ed Brinksma1
- Frits Vaandrager1
- G. Behrmann1
- M. Oliver Möller1
- Mariëlle Stoelinga1
- O. Möller1
- P.R. d' Argenio1
- Pedro R. D'Argenio1
- Wang Yi1
全論文
論文を読み込んでいます…
