Science Explorer Back to mapMap
Discussion
Researcher · Verimag · France

Oded Maler

Oded Maler publishes mostly in Computational Theory and Mathematics, Hardware and Architecture and Artificial Intelligence, on topics such as Formal Methods in Verification, Embedded Systems Design Techniques and Logic, programming, and type systems.

OpenAlex
World rank
#97,127
of 7,710,434 ranked researchers
Rank in France
#7,967
of 324,115
Works
195
Citations
13k
Citations per work
65.8
h-index
53
i10-index 115Top 0.7% in Computational Theory and Mathematics
Oded Maler

What does Oded Maler research?

Oded Maler's work is mostly in Computer Science (78%), Biochemistry, Genetics and Molecular Biology (5%).

Physical Sciences: 151 works · 77.6% of their workComputer Science: 151 works · 77.6% of their workComputational Theory and Mathematics: 69 works · 35.2% of their workHardware and Architecture: 34 works · 17.5% of their workArtificial Intelligence: 26 works · 13.1% of their workSoftware: 15 works · 7.6% of their workComputer Networks and Communications: 8 works · 4.2% of their workEverything else: 33 works · 17.0% of their workLife Sciences: 11 works · 5.4% of their workBiochemistry, Genetics and Molecular Biology: 11 works · 5.4% of their workMolecular Biology: 11 works · 5.4% of their workTHEIR WORKOded Maler195works
Life Sciences5%Physical Sciences78%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science15177.6%
  2. Everything else3317.0%
    1. Biochemistry, Genetics and Molecular Biology115.4%
  1. 1Computational Theory and Mathematics35% of their works
  2. 2Hardware and Architecture18% of their works
  3. 3Artificial Intelligence13% of their works
  4. 4Software8% of their works
  5. 5Molecular Biology5% of their works
  6. 6Computer Networks and Communications4% of their works

Research topics

Which keywords describe Oded Maler's research?

The keywords of their largest research topics: Model Checking, Automata, Satisfiability Modulo Theories, Symbolic Model Checker, Embedded Systems, High-Level Synthesis, Reconfigurable Computing and Formal Verification.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most.

All 19 words, with their numbers
  1. Model Checking1542 topics
  2. Automata1372 topics
  3. Satisfiability Modulo Theories1161 topic
  4. Symbolic Model Checker1161 topic
  5. Embedded Systems722 topics
  6. High-Level Synthesis421 topic
  7. Reconfigurable Computing421 topic
  8. Formal Verification381 topic
  9. Static Analysis381 topic
  10. Deadlock Prevention361 topic
  11. Petri Nets361 topic
  12. Hard Real-Time Systems301 topic
  13. Scheduling Algorithms301 topic
  14. Formal Languages211 topic
  15. Regular Expressions211 topic
  16. Domain-Specific Languages181 topic
  17. Model-Driven Engineering181 topic
  18. Active Learning121 topic
  19. Machine Learning121 topic

Where does Oded Maler work?

Oded Maler's main affiliation in the publication record is Verimag, France.

How many publications and citations does Oded Maler have?

OpenAlex counts 195 works and 12,835 citations for Oded Maler, an h-index of 53, ranking #97,127 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Oded Maler. Posts are plain text and can be reported.