Question 1

What does Oded Maler research?

Accepted Answer

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.

Question 2

Which keywords describe Oded Maler's research?

Accepted Answer

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.

Question 3

Where does Oded Maler work?

Accepted Answer

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

Question 4

How many publications and citations does Oded Maler have?

Accepted Answer

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.

Question 5

Is Oded Maler's h-index high?

Accepted Answer

An h-index of 53 is at or above that of 99.3% of the 19,601 ranked researchers whose main subfield is Computational Theory and Mathematics, which is in the top 0.7%.