Mark Timmer
2006–2025 年に発表
- 所属
- University of Twenteこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0003-1088-1553
- 27
- 論文数
- 562
- 被引用数
- 13
- h 指数
- 17
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science75.9%
- Medicine16.1%
- Engineering3%
- Biochemistry, Genetics and Molecular Biology1.5%
- Decision Sciences1.5%
- Materials Science1%
- その他1%
トピック
- Formal Methods in Verification30.8%
- Software Reliability and Analysis Research12.4%
- Software Testing and Debugging Techniques11.7%
- Petri Nets in System Modeling10.3%
- Model-Driven Software Engineering Techniques4.7%
- Shoulder Injury and Treatment4.2%
- その他25.8%
よく組む共著者
- Mariëlle Stoelinga13
- Jaco van de Pol9
- Joost-Pieter Katoen8
- Dennis Guck4
- Hassan Hatefi4
- Holger Hermanns3
- Arnd Hartmanns2
- Ed Brinksma2
- Aiko Pras1
- Daniel Grande1
- David M. Dines1
- Enno Ruijters1
- Freek Pols1
- Gerjan Stokkink1
- Henri Hansen1
- Jan van der Veen1
- Joshua S. Dines1
- L.G.A. de Putter Smits1
- Lawrence Bonasser1
- Lawrence Weber1
- Mariëlle I. A. Stoelinga1
- Pasquale Razzano1
- Peter Dekkers1
- Pieter-Tjerk de Boer1
全論文
論文を読み込んでいます…
