Axel Simon
2000–2018 年に発表
- 所属
- École Normale Supérieure - PSLTechnical University of Munichこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- 33
- 論文数
- 407
- 被引用数
- 11
- h 指数
- 11
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
- 1 年分（被引用 1 件）は表示していません（最初の論文より前の日付）
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science97.7%
- Engineering1.4%
- Biochemistry, Genetics and Molecular Biology0.5%
- Mathematics0.5%
トピック
- Formal Methods in Verification27.4%
- Logic, programming, and type systems22.2%
- Software Testing and Debugging Techniques13.7%
- Parallel Computing and Optimization Techniques8.1%
- Security and Verification in Computing5.6%
- Advanced Malware Detection Techniques4.2%
- その他18.8%
よく組む共著者
全論文
論文を読み込んでいます…