Valentin Robert
2012–2026 年に発表
- ORCID
- 0000-0003-2364-1794
- 8
- 論文数
- 74
- 被引用数
- 5
- h 指数
- 4
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science89.8%
- Engineering8.2%
- Agricultural and Biological Sciences2%
トピック
- Logic, programming, and type systems21.3%
- Security and Verification in Computing18%
- Formal Methods in Verification13.1%
- Parallel Computing and Optimization Techniques10.7%
- Software Testing and Debugging Techniques9%
- Software Engineering Research5.7%
- その他22.1%
よく組む共著者
- Kevin Quick3
- Abha Moitra2
- Andrei Stefanescu2
- Baoluo Meng2
- Daniel Russell2
- David W. Archer2
- Eric Mertens2
- Kit Siu2
- Paul Cuddihy2
- Aaron Tomb1
- Adam Wick1
- Benjamin Davis1
- Benjamin Selfridge1
- Brent Carmer1
- Brett Boston1
- Chris Phifer1
- Clark W. Barrett1
- Daniel Matichuk1
- Daniel Ricketts 00011
- Daniel Wagner 00011
- Dongseok Jang1
- Eddy Westbrook1
- Elizaveta Pertseva1
- Iavor S. Diatchki1
全論文
論文を読み込んでいます…