David Mentré
2000–2024 年に発表
- 所属
- Mitsubishi Electric (France)このコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- ORCID
- 0000-0003-4315-0335
- 18
- 論文数
- 138
- 被引用数
- 6
- h 指数
- 5
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science91%
- Engineering4%
- Social Sciences2%
- Business, Management and Accounting1%
- Economics, Econometrics and Finance1%
- Environmental Science1%
トピック
- Formal Methods in Verification22.3%
- Logic, programming, and type systems16.4%
- Advanced Software Engineering Methodologies9.2%
- Software Testing and Debugging Techniques9.2%
- Logic, Reasoning, and Knowledge7.6%
- Model-Driven Software Engineering Techniques7.6%
- その他27.7%
よく組む共著者
- Claude Marché4
- Denis Cousineau 00024
- Nicolas Markey4
- Thierry Jéron4
- Hiroaki Inoue3
- Ocan Sankur3
- Reiya Noguchi3
- Cláudio Belo Lourenço2
- Florian Faissole2
- Thibaut Girka2
- Yann Régis-Gianas2
- Benoît Baudry1
- Benoît Boyer1
- Benoît Combemale1
- Bruno Marre1
- Catherine Dubois1
- Daniel Le Métayer1
- David Delahaye1
- Emily Clement1
- Eric Lavillonnière1
- Erwan Bousse1
- Jean-Christophe Filliâtre1
- Koichi Shimizu1
- Masashi Asuka1
全論文
論文を読み込んでいます…