Science Explorer Back to mapMap
Discussion
Researcher · IMDEA Software Institute · Spain

Felipe Gorostiaga

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.

ORCID 0000-0002-3478-3408 OpenAlex
World rank
#3,737,844
of 7,710,434 ranked researchers
Rank in Spain
#84,962
of 204,306
Works
32
Citations
193
Citations per work
6.0
h-index
7
i10-index 6Top 64% in Computational Theory and Mathematics
Felipe Gorostiaga

What does Felipe Gorostiaga research?

Felipe Gorostiaga's work is mostly in Computer Science (75%).

Physical Sciences: 24 works · 75.1% of their workComputer Science: 24 works · 75.1% of their workComputational Theory and Mathematics: 6 works · 19.1% of their workHardware and Architecture: 5 works · 15.7% of their workArtificial Intelligence: 4 works · 11.2% of their workComputer Networks and Communications: 4 works · 11.2% of their workSoftware: 4 works · 11.2% of their workInformation Systems: 2 works · 6.7% of their workEverything else: 8 works · 24.9% of their workTHEIR WORKFelipe Gorostiaga32works
Physical Sciences75%

Their six largest subfields, inside their fields and domains; the grey slice is everything else they publish. The interactive view splits every one of their works down to single topics.

The fields and subfields, with their numbers
    1. Computer Science2475.1%
  2. Everything else824.9%
  1. 1Computational Theory and Mathematics19% of their works
  2. 2Hardware and Architecture16% of their works
  3. 3Artificial Intelligence11% of their works
  4. 4Computer Networks and Communications11% of their works
  5. 5Software11% of their works
  6. 6Information Systems7% of their works

Research topics

Which keywords describe Felipe Gorostiaga's research?

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.

Size is their works in the topics tagged with each word, from their 8 largest topics. Each links to the topic it comes from most. The words come from the keyword list OpenAlex gives each topic, not from the text of the papers, so a word can appear that none of the papers uses.

All 17 words, with their numbers
  1. Model Checking192 topics
  2. Satisfiability Modulo Theories161 topic
  3. Symbolic Model Checker161 topic
  4. Hard Real-Time Systems91 topic
  5. Scheduling Algorithms91 topic
  6. Automated Testing61 topic
  7. Software Fault Localization61 topic
  8. Android Malware51 topic
  9. Detection51 topic
  10. Domain-Specific Languages41 topic
  11. Log Analysis41 topic
  12. Model-Driven Engineering41 topic
  13. Performance Prediction41 topic
  14. Security Policies41 topic
  15. Side-Channel Attacks41 topic
  16. Formal Verification31 topic
  17. Static Analysis31 topic

Where does Felipe Gorostiaga work?

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

How many publications and citations does Felipe Gorostiaga have?

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.

Ranked on field-normalised citation excellence (50%), output (30%) and citations (20%). Counts come from OpenAlex author records, which occasionally merge different people who share a name or split one person into several.

Papers, co-authors, who cited this work and researchers on the nearest topics have tabs of their own, above. Is this your page? Claim it with your ORCID iD, or request a correction or removal.

Discussion

Ask a question or share a note about Felipe Gorostiaga. Keep it to the research: no personal attacks, advertising or links. Any reader can report a post, which collapses it for everyone until it is opened.