Question 1

What does Roberto Maieli research?

Accepted Answer

Roberto Maieli publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Formal Methods in Verification.

Question 2

Which keywords describe Roberto Maieli's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Temporal Logic, Automata, Formal Verification, Static Analysis, Answer Set Programming, Modal Logic and Satisfiability Modulo Theories.

Question 3

Where does Roberto Maieli work?

Accepted Answer

Roberto Maieli's main affiliation in the publication record is Roma Tre University, Italy.

Question 4

How many publications and citations does Roberto Maieli have?

Accepted Answer

OpenAlex counts 27 works and 102 citations for Roberto Maieli, an h-index of 6, ranking #6,731,759 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Roberto Maieli's h-index high?

Accepted Answer

An h-index of 6 is at or above that of 35% of the 146,054 ranked researchers whose main subfield is Artificial Intelligence, which is in the top 74%.