Question 1

What does Raphaël Berthon research?

Accepted Answer

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

Question 2

Which keywords describe Raphaël Berthon's research?

Accepted Answer

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

Question 3

Where does Raphaël Berthon work?

Accepted Answer

Raphaël Berthon's main affiliation in the publication record is University of Naples Federico II, Italy.

Question 4

How many publications and citations does Raphaël Berthon have?

Accepted Answer

OpenAlex counts 25 works and 111 citations for Raphaël Berthon, an h-index of 5, ranking #5,214,815 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Raphaël Berthon's h-index high?

Accepted Answer

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