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

Isabel Garcia-Contreras

Isabel Garcia-Contreras publishes mostly in Artificial Intelligence, Software and Information Systems, on topics such as Logic, programming, and type systems, Software Testing and Debugging Techniques and Formal Methods in Verification.

ORCID 0000-0001-6098-3895 OpenAlex
World rank
#5,440,501
of 7,710,434 ranked researchers
Rank in Spain
#128,092
of 204,306
Works
21
Citations
79
Citations per work
3.8
h-index
4
i10-index 3Top 90% in Artificial Intelligence
Isabel Garcia-Contreras

What does Isabel Garcia-Contreras research?

Isabel Garcia-Contreras's work is mostly in Computer Science (95%).

Physical Sciences: 20 works · 95.2% of their workComputer Science: 20 works · 95.2% of their workArtificial Intelligence: 6 works · 29.5% of their workSoftware: 5 works · 24.6% of their workInformation Systems: 3 works · 16.4% of their workComputational Theory and Mathematics: 3 works · 14.8% of their workComputer Networks and Communications: 1 works · 6.6% of their workSignal Processing: 1 works · 3.3% of their workEverything else: 1 works · 4.8% of their workTHEIR WORKIsabelGarcia-Contreras21works
Physical Sciences95%

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 Science2095.2%
  2. Everything else14.8%
  1. 1Artificial Intelligence30% of their works
  2. 2Software25% of their works
  3. 3Information Systems16% of their works
  4. 4Computational Theory and Mathematics15% of their works
  5. 5Computer Networks and Communications7% of their works
  6. 6Signal Processing3% of their works

Research topics

Which keywords describe Isabel Garcia-Contreras's research?

The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Automated Testing, Software Fault Localization, Machine Learning, Satisfiability Modulo Theories and Symbolic Model Checker.

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 18 words, with their numbers
  1. Model Checking212 topics
  2. Formal Verification121 topic
  3. Static Analysis121 topic
  4. Automated Testing111 topic
  5. Software Fault Localization111 topic
  6. Machine Learning102 topics
  7. Satisfiability Modulo Theories91 topic
  8. Symbolic Model Checker91 topic
  9. Code Clone Detection81 topic
  10. Refactoring81 topic
  11. Autonomic Computing31 topic
  12. Log Analysis31 topic
  13. Performance Prediction31 topic
  14. Self-Adaptive Systems31 topic
  15. Android Malware21 topic
  16. Detection21 topic
  17. Web Crawling21 topic
  18. Web Data Extraction21 topic

Where does Isabel Garcia-Contreras work?

Isabel Garcia-Contreras's main affiliation in the publication record is IMDEA Software Institute, Spain.

How many publications and citations does Isabel Garcia-Contreras have?

OpenAlex counts 21 works and 79 citations for Isabel Garcia-Contreras, an h-index of 4, ranking #5,440,501 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 Isabel Garcia-Contreras. 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.