Question 1

What does Felipe Gorostiaga research?

Accepted Answer

Felipe Gorostiaga publishes mostly in Computational Theory and Mathematics, Hardware and Architecture and Artificial Intelligence, on topics such as Formal Methods in Verification, Real-Time Systems Scheduling and Software Testing and Debugging Techniques.

Question 2

Which keywords describe Felipe Gorostiaga's research?

Accepted Answer

The keywords of their largest research topics: Model Checking, Satisfiability Modulo Theories, Symbolic Model Checker, Hard Real-Time Systems, Scheduling Algorithms, Automated Testing, Software Fault Localization and Android Malware.

Question 3

Where does Felipe Gorostiaga work?

Accepted Answer

Felipe Gorostiaga's main affiliation in the publication record is IMDEA Software Institute, Spain.

Question 4

How many publications and citations does Felipe Gorostiaga have?

Accepted Answer

OpenAlex counts 32 works and 193 citations for Felipe Gorostiaga, an h-index of 7, ranking #3,737,844 of 7,710,434 researchers worldwide on the quality score.

Question 5

Is Felipe Gorostiaga's h-index high?

Accepted Answer

An h-index of 7 is at or above that of 43% of the 19,601 ranked researchers whose main subfield is Computational Theory and Mathematics, which is in the top 64%.