Question 1

What does Germán Vidal research?

Accepted Answer

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

Question 2

Which keywords describe Germán Vidal's research?

Accepted Answer

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

Question 3

Where does Germán Vidal work?

Accepted Answer

Germán Vidal's main affiliation in the publication record is Universitat Politècnica de València, Spain.

Question 4

How many publications and citations does Germán Vidal have?

Accepted Answer

OpenAlex counts 201 works and 1,545 citations for Germán Vidal, an h-index of 21, ranking #5,669,054 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Germán Vidal's h-index high?

Accepted Answer

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