Question 1

What does Roberto Sebastiani research?

Accepted Answer

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

Question 2

Which keywords describe Roberto Sebastiani's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Description Logics, Knowledge Representation, Answer Set Programming and Modal Logic.

Question 3

Where does Roberto Sebastiani work?

Accepted Answer

Roberto Sebastiani's main affiliation in the publication record is University of Trento, Italy.

Question 4

How many publications and citations does Roberto Sebastiani have?

Accepted Answer

OpenAlex counts 181 works and 6,731 citations for Roberto Sebastiani, an h-index of 40, ranking #260,445 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Roberto Sebastiani's h-index high?

Accepted Answer

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