Science Explorer Back to mapMap
Discussion
Researcher · Universidad Complutense de Madrid · Spain

Sonia Estévez Martín

Sonia Estévez Martín publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Science Applications, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Formal Methods in Verification.

ORCID 0000-0002-9510-0914 OpenAlex
World rank
#6,914,073
of 7,710,434 ranked researchers
Rank in Spain
#174,078
of 204,306
Works
23
Citations
62
Citations per work
2.7
h-index
4
i10-index 2Top 90% in Artificial Intelligence
Sonia Estévez Martín

What does Sonia Estévez Martín research?

Sonia Estévez Martín's work is mostly in Computer Science (76%).

Physical Sciences: 18 works · 76.4% of their workComputer Science: 18 works · 76.4% of their workArtificial Intelligence: 7 works · 28.8% of their workComputational Theory and Mathematics: 3 works · 13.6% of their workComputer Science Applications: 3 works · 11.9% of their workComputer Networks and Communications: 2 works · 8.5% of their workInformation Systems: 2 works · 6.8% of their workSoftware: 2 works · 6.8% of their workEverything else: 5 works · 23.6% of their workTHEIR WORKSonia EstévezMartín23works
Physical Sciences76%

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 Science1876.4%
  2. Everything else523.6%
  1. 1Artificial Intelligence29% of their works
  2. 2Computational Theory and Mathematics14% of their works
  3. 3Computer Science Applications12% of their works
  4. 4Computer Networks and Communications8% of their works
  5. 5Information Systems7% of their works
  6. 6Software7% of their works

Research topics

Which keywords describe Sonia Estévez Martín's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Formal Verification, Static Analysis, Answer Set Programming, E-Learning, Educational Technology and Modal Logic.

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.

All 22 words, with their numbers
  1. Model Checking253 topics
  2. Temporal Logic162 topics
  3. Formal Verification91 topic
  4. Static Analysis91 topic
  5. Answer Set Programming81 topic
  6. E-Learning82 topics
  7. Educational Technology82 topics
  8. Modal Logic81 topic
  9. Satisfiability Modulo Theories81 topic
  10. Symbolic Model Checker81 topic
  11. Constraint Optimization51 topic
  12. Distributed Algorithms51 topic
  13. Innovation51 topic
  14. Knowledge Management51 topic
  15. Online Learning52 topics
  16. Quality Assurance52 topics
  17. Digital Education31 topic
  18. Information Systems31 topic
  19. Pedagogy31 topic
  20. Software Development31 topic
  21. Learning Object Repositories21 topic
  22. Open Educational Resources21 topic

Where does Sonia Estévez Martín work?

Sonia Estévez Martín's main affiliation in the publication record is Universidad Complutense de Madrid, Spain.

How many publications and citations does Sonia Estévez Martín have?

OpenAlex counts 23 works and 62 citations for Sonia Estévez Martín, an h-index of 4, ranking #6,914,073 of 7,710,434 researchers worldwide on the quality score.

Ranked on field-normalised 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 Sonia Estévez Martín. Posts are plain text and can be reported.