Benoit Desouter
2013–2016 年に発表
- 所属
- Ghent University Hospitalこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- 9
- 論文数
- 53
- 被引用数
- 4
- h 指数
- 3
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
- IMDEA Software Institute15.8%
- KU Leuven15.8%
- Universidad Politécnica de Madrid13.2%
- Universidade do Porto6.6%
- University of Wrocław6.6%
- National University of Rosario6.6%
- その他35.5%
分野
- Computer Science100%
トピック
- Logic, programming, and type systems28.4%
- Logic, Reasoning, and Knowledge18.9%
- Formal Methods in Verification15.8%
- Software Engineering Research6.3%
- Software Testing and Debugging Techniques5.3%
- Parallel Computing and Optimization Techniques4.2%
- その他21.1%
よく組む共著者
全論文
論文を読み込んでいます…