Oded Maler
Active 1985–2024
- Affiliations
- Centre National de la Recherche ScientifiqueVerimagTranslational Innovation in Medicine and ComplexityThis corpus build does not record the country of an author's affiliations, so none is shown here. It does not mean these institutions have no country.
- 153
- Papers
- 12,398
- Citations
- 52
- h-index
- 105
- i10-index
Self-citations are included in these numbers.
Citations per year
Citations
- 1 year (1 citations) is not shown (dated before this author's first paper)
Citation sources
Countries
This corpus build does not record which country the citing authors are in, so the country breakdown is not computed. The other breakdowns below are unaffected.
Institutions
Fields
- Computer Science83.5%
- Engineering10.3%
- Biochemistry, Genetics and Molecular Biology2.3%
- Decision Sciences1.4%
- Physics and Astronomy0.5%
- Mathematics0.4%
- Other1.6%
Topics
- 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%
- Other27.2%
Frequent coauthors
- 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
All papers
Loading papers…