Peter Höfner
2005–2025 年に発表
- 所属
- Augsburg UniversityUniversity of Augsburgこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0001-9942-7343
- 85
- 論文数
- 1,235
- 被引用数
- 20
- h 指数
- 35
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
- University of Augsburg14.3%
- University of Sheffield12.8%
- UNSW Sydney9.3%
- McMaster University9.3%
- Data617.6%
- Augsburg University5.9%
- その他40.9%
分野
- Computer Science93.5%
- Engineering1.4%
- Biochemistry, Genetics and Molecular Biology1.2%
- Decision Sciences1%
- Economics, Econometrics and Finance0.5%
- Mathematics0.5%
- その他1.9%
トピック
- Formal Methods in Verification20.5%
- Logic, programming, and type systems17.2%
- Logic, Reasoning, and Knowledge11%
- Advanced Software Engineering Methodologies8.9%
- Mobile Ad Hoc Networks5.7%
- Software Engineering Research5.4%
- その他31.3%
よく組む共著者
- Bernhard Möller21
- Rob J. van Glabbeek12
- Georg Struth11
- Annabelle McIver9
- Marius Portmann6
- Wee Lum Tan6
- Ansgar Fehnker5
- Rob van Glabbeek5
- Rudolf Berghammer5
- Han-Hing Dang4
- Insa Stucke4
- Ridha Khédri4
- Andreas Zelend3
- Callum Bannister3
- Carroll Morgan3
- Don S. Batory3
- Maryam Kamali3
- Robert J. Colvin3
- Roger C. Su3
- Scott Heiner3
- Walter Guttmann3
- Weiyou Wang3
- Wolfram Kahl3
- Jeremy Gibbons2
全論文
論文を読み込んでいます…
