Ed Brinksma
1984–2024 年に発表
- 所属
- University of TwentePennsylvania State Universityこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- 78
- 論文数
- 3,306
- 被引用数
- 27
- h 指数
- 49
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science91.5%
- Engineering2.7%
- Business, Management and Accounting1.8%
- Social Sciences1.3%
- Decision Sciences0.8%
- Biochemistry, Genetics and Molecular Biology0.6%
- その他1.2%
トピック
- Formal Methods in Verification27.7%
- Software Testing and Debugging Techniques9.2%
- Petri Nets in System Modeling9%
- Advanced Software Engineering Methodologies8.5%
- Logic, programming, and type systems8.5%
- Software Reliability and Analysis Research6.5%
- その他30.6%
よく組む共著者
- Joost-Pieter Katoen10
- Jan Tretmans8
- Rom Langerak8
- Angelika Mader7
- Chris A. Vissers5
- Diego Latella5
- Giuseppe Scollo5
- Pedro R. D'Argenio4
- Arend Rensink3
- David Harel3
- Holger Hermanns3
- Kim Guldstrand Larsen3
- Laura Brandán Briones3
- Perdita Stevens3
- Roel J. Wieringa3
- Wolfgang Grieskamp3
- Ansgar Fehnker2
- Gerd Behrmann2
- Kim G. Larsen2
- Lex Heerink2
- Louis Verhaard2
- Mariëlle Stoelinga2
- Mark Timmer2
- Marten van Sinderen2
全論文
論文を読み込んでいます…
