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

José Francisco Martín Morales

José Francisco Martín Morales publishes mostly in Artificial Intelligence, Information Systems and Computational Theory and Mathematics, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Software Engineering Research.

ORCID 0000-0001-9782-8135 OpenAlex
World rank
#3,574,365
of 7,710,434 ranked researchers
Rank in Spain
#80,898
of 204,306
Works
92
Citations
653
Citations per work
7.1
h-index
14
i10-index 19Top 25% in Artificial Intelligence
José Francisco Martín Morales

What does José Francisco Martín Morales research?

José Francisco Martín Morales's work is mostly in Computer Science (83%).

Physical Sciences: 76 works · 82.7% of their workComputer Science: 76 works · 82.7% of their workArtificial Intelligence: 33 works · 36.3% of their workInformation Systems: 10 works · 11.2% of their workComputational Theory and Mathematics: 10 works · 10.4% of their workHardware and Architecture: 8 works · 9.2% of their workSoftware: 8 works · 9.2% of their workComputer Networks and Communications: 6 works · 6.4% of their workEverything else: 16 works · 17.3% of their workTHEIR WORKJosé FranciscoMartín Morales92works
Physical Sciences83%

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 Science7682.7%
  2. Everything else1617.3%
  1. 1Artificial Intelligence36% of their works
  2. 2Information Systems11% of their works
  3. 3Computational Theory and Mathematics10% of their works
  4. 4Software9% of their works
  5. 5Hardware and Architecture9% of their works
  6. 6Computer Networks and Communications6% of their works

Research topics

Which keywords describe José Francisco Martín Morales's research?

The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker, Code Clone Detection and Refactoring.

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 20 words, with their numbers
  1. Model Checking853 topics
  2. Formal Verification481 topic
  3. Static Analysis481 topic
  4. Temporal Logic372 topics
  5. Satisfiability Modulo Theories241 topic
  6. Symbolic Model Checker241 topic
  7. Code Clone Detection211 topic
  8. Refactoring211 topic
  9. Automated Testing191 topic
  10. Description Logics192 topics
  11. Knowledge Representation192 topics
  12. Software Fault Localization191 topic
  13. Parallel Computing171 topic
  14. Performance Optimization171 topic
  15. Security Policies141 topic
  16. Side-Channel Attacks141 topic
  17. Answer Set Programming131 topic
  18. Modal Logic131 topic
  19. Ontology61 topic
  20. Semantic Web61 topic

Where does José Francisco Martín Morales work?

José Francisco Martín Morales's main affiliation in the publication record is IMDEA Software Institute, Spain.

How many publications and citations does José Francisco Martín Morales have?

OpenAlex counts 92 works and 653 citations for José Francisco Martín Morales, an h-index of 14, ranking #3,574,365 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 José Francisco Martín Morales. 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.