Oded Maler
1985–2024 年に発表
- 所属
- Centre National de la Recherche ScientifiqueVerimagTranslational Innovation in Medicine and Complexityこのコーパスには著者の所属の国が記録されていないため、国・地域を表示していません。これらの機関に国が無いという意味ではありません。
- 153
- 論文数
- 12,398
- 被引用数
- 52
- h 指数
- 105
- i10 指数
この数字には自己引用も含まれています。
年別の被引用数
被引用数
- 1 年分(被引用 1 件)は表示していません(最初の論文より前の日付)
引用元
国・地域
このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。
機関
分野
- Computer Science83.5%
- Engineering10.3%
- Biochemistry, Genetics and Molecular Biology2.3%
- Decision Sciences1.4%
- Physics and Astronomy0.5%
- Mathematics0.4%
- その他1.6%
トピック
- Formal Methods in Verification35.1%
- Logic, programming, and type systems9.5%
- Petri Nets in System Modeling8.4%
- Software Testing and Debugging Techniques7.9%
- Model-Driven Software Engineering Techniques6.3%
- Real-Time Systems Scheduling5.8%
- その他27.2%
よく組む共著者
- Eugene Asarin31
- Amir Pnueli28
- Dejan Nickovic22
- Marius Bozga16
- Thao Dang 000113
- Thomas Ferrère12
- Alexandre Donzé11
- Dogan Ulus9
- Sergio Yovine8
- Scott Cotton7
- Colas Le Guernic6
- Olivier Lebeltel6
- Stavros Tripakis6
- Antoine Girard5
- Bruce H. Krogh5
- Goran Frehse5
- Joseph Sifakis5
- Julien Legriel5
- Paul Caspi5
- Pranav Tendulkar5
- Ramzi Ben Salah5
- Yasmina Abdeddaïm5
- Alexey Bakhirkin4
- Ezio Bartocci4
全論文
論文を読み込んでいます…
