Gerwin Klein
1999–2026 年に発表
- 所属
- UNSW SydneyData61このコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0001-8883-0559
- 106
- 論文数
- 4,701
- 被引用数
- 27
- h 指数
- 60
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science94.1%
- Engineering2.7%
- Decision Sciences0.6%
- Social Sciences0.6%
- Medicine0.3%
- Biochemistry, Genetics and Molecular Biology0.3%
- その他1.4%
トピック
- Security and Verification in Computing20.9%
- Logic, programming, and type systems18.6%
- Formal Methods in Verification14.9%
- Distributed systems and fault tolerance8.5%
- Advanced Malware Detection Techniques7.5%
- Parallel Computing and Optimization Techniques7.3%
- その他22.4%
よく組む共著者
- June Andronick21
- Gernot Heiser19
- Thomas Sewell17
- Toby C. Murray17
- Rafal Kolanski15
- Gabriele Keller9
- Harvey Tuch9
- Kevin Elphinstone9
- Liam O'Connor9
- Zilin Chen9
- Christine Rizkallah8
- Japheth Lim8
- Tobias Nipkow8
- Ihor Kuz7
- Simon Winwood7
- Bastian Schlich6
- Corey Lewis6
- David Greenaway6
- Mark Staples6
- Ralf Huuck6
- D. Ross Jeffery5
- David A. Cock5
- Matthew Fernandez5
- Michael Norrish5
全論文
論文を読み込んでいます…
