Andreas Rossberg
2003–2025 年に発表
- 所属
- Saarland UniversityBavarian Research FoundationMax Planck Institute for Software Systemsこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0003-3137-3160
- 27
- 論文数
- 1,090
- 被引用数
- 13
- h 指数
- 15
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science92.6%
- Engineering4%
- Decision Sciences1.3%
- Medicine0.6%
- Biochemistry, Genetics and Molecular Biology0.4%
- Agricultural and Biological Sciences0.1%
- その他1%
トピック
- Logic, programming, and type systems20.3%
- Security and Verification in Computing15.9%
- Parallel Computing and Optimization Techniques10.4%
- Formal Methods in Verification9.1%
- Advanced Malware Detection Techniques7.2%
- Software Testing and Debugging Techniques5.8%
- その他31.2%
よく組む共著者
- Derek Dreyer5
- Conrad Watt4
- Sam Lindley4
- Alon Zakai3
- Amal Ahmed 00013
- Andreas Haas3
- Dan Gohman3
- Deian Stefan3
- Luke Wagner3
- Matija Pretnar3
- Michael Holman3
- Bastien2
- Ben Titzer2
- Derek Schuff2
- Dongjun Youn2
- Georg Neis2
- Guido Tack2
- Jaehyun Lee2
- Joachim Breitner2
- Philippa Gardner2
- Sukyoung Ryu2
- Vivek Sarkar2
- Wonho Shin2
- Xiaojia Rao2
全論文
論文を読み込んでいます…
