Question 1

What does Ignacio Fábregas research?

Accepted Answer

Ignacio Fábregas 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 Ignacio Fábregas'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, Description Logics and Knowledge Representation.

Question 3

Where does Ignacio Fábregas work?

Accepted Answer

Ignacio Fábregas's main affiliation in the publication record is Universidad Complutense de Madrid, Spain.

Question 4

How many publications and citations does Ignacio Fábregas have?

Accepted Answer

OpenAlex counts 18 works and 85 citations for Ignacio Fábregas, an h-index of 6, ranking #6,878,996 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Ignacio Fábregas'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%.