Question 1

What does Gabriele Vanoni research?

Accepted Answer

Gabriele Vanoni publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Computability, Logic, AI Algorithms.

Question 2

Which keywords describe Gabriele Vanoni's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Temporal Logic, Formal Verification, Static Analysis, Algorithmic Information Theory, Answer Set Programming, Computability and Modal Logic.

Question 3

Where does Gabriele Vanoni work?

Accepted Answer

Gabriele Vanoni's main affiliation in the publication record is University of Bologna, Italy.

Question 4

How many publications and citations does Gabriele Vanoni have?

Accepted Answer

OpenAlex counts 31 works and 61 citations for Gabriele Vanoni, an h-index of 5, ranking #5,050,578 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Gabriele Vanoni'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%.