Georg Struth
1997–2025 年に発表
- 所属
- Universität der Bundeswehr MünchenUniversity of AugsburgUniversity of SheffieldUniversity of FreiburgAugsburg UniversityMax Planck SocietyMax Planck Institute for Informaticsこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0001-9466-7815
- 141
- 論文数
- 1,678
- 被引用数
- 21
- h 指数
- 46
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science95.8%
- Engineering0.8%
- Mathematics0.7%
- Biochemistry, Genetics and Molecular Biology0.5%
- Decision Sciences0.5%
- Medicine0.3%
- その他1.3%
トピック
- Logic, programming, and type systems27.2%
- Formal Methods in Verification22.2%
- Logic, Reasoning, and Knowledge17.4%
- semigroups and automata theory6.2%
- Advanced Algebra and Logic6.1%
- Distributed systems and fault tolerance4.3%
- その他16.5%
よく組む共著者
- Bernhard Möller17
- Victor B. F. Gomes12
- Peter Höfner11
- Simon Foster 000111
- Alasdair Armstrong10
- Annabelle McIver9
- Brijesh Dongol8
- Christian Johansen8
- Hitoshi Furusawa8
- Tahiry M. Rabehaja8
- Tjark Weber8
- Uli Fahrenberg8
- Jonathan Julián Huerta y Munive7
- Krzysztof Ziemianski7
- Walter Guttmann7
- Ian J. Hayes6
- Jules Desharnais6
- Cameron Calk5
- James Cranch5
- Philippe Malbos5
- Tony Hoare5
- Damien Pous4
- Michael R. Laurence4
- Tanguy Massacrier4
全論文
論文を読み込んでいます…
