Didier Lime
2003–2026 年に発表
- 95
- 論文数
- 2,073
- 被引用数
- 23
- h 指数
- 34
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science90.5%
- Engineering3.9%
- Business, Management and Accounting2.9%
- Decision Sciences1%
- Biochemistry, Genetics and Molecular Biology0.8%
- Agricultural and Biological Sciences0.2%
- その他0.8%
トピック
- Formal Methods in Verification31.3%
- Petri Nets in System Modeling18.4%
- Real-Time Systems Scheduling9.1%
- Model-Driven Software Engineering Techniques8.2%
- Software Testing and Debugging Techniques5.9%
- Logic, programming, and type systems5.6%
- その他21.5%
よく組む共著者
- Olivier H. Roux59
- Étienne André 000119
- Claude Jard12
- Franck Cassez10
- Aleksandra Jovanovic 00028
- Alexandre David8
- Béatrice Bérard7
- Louis-Marie Traonouez7
- Serge Haddad7
- Benoît Delahaye6
- Mathias Ramparison6
- Charlotte Seidner5
- Kim Guldstrand Larsen5
- Dylan Marinho4
- Kim G. Larsen4
- Loïg Jezequel4
- Morgan Magnin4
- Axel Legay3
- Gerd Behrmann3
- Gilles Benattar3
- Hanifa Boucheneb3
- Jean-Luc Béchennec3
- Jirí Srba3
- Jun Sun 00013
全論文
論文を読み込んでいます…
