José F. Morales
José F. Morales publishes mostly in Artificial Intelligence, Software and Information Systems, on topics such as Logic, programming, and type systems, Security and Verification in Computing and Formal Methods in Verification.
- World rank
- #1,392,795 of 1,633,909 ranked researchers
- Rank in Spain
- #41,349 of 45,870
- Works
- 26
- Citations
- 35
- Citations per work
- 1.3
What does José F. Morales research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence31% of their works
- 2Software11% of their works
- 3Information Systems11% of their works
- 4Computational Theory and Mathematics9% of their works
- 5Hardware and Architecture9% of their works
- 6Computer Networks and Communications7% of their works
Research topics
- Logic, programming, and type systems
- Security and Verification in Computing
- Formal Methods in Verification
- Software Testing and Debugging Techniques
- Software Engineering Research
- Parallel Computing and Optimization Techniques
- Natural Language Processing Techniques
- Software System Performance and Reliability
Which keywords describe José F. Morales's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Automated Testing, Satisfiability Modulo Theories, Security Policies, Side-Channel Attacks and Software Fault Localization.
- Performance Prediction
- Log Analysis
- Parallel Computing
- Code Clone Detection
- Software Fault Localization
- Security Policies
- Automated Testing
- Formal Verification
- Model Checking
- Static Analysis
- Satisfiability Modulo Theories
- Side-Channel Attacks
- Symbolic Model Checker
- Refactoring
- Performance Optimization
- Neural Machine Translation
- Statistical Machine Translation
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 17 words, with their numbers
- Model Checking132 topics
- Formal Verification91 topic
- Static Analysis91 topic
- Automated Testing41 topic
- Satisfiability Modulo Theories41 topic
- Security Policies41 topic
- Side-Channel Attacks41 topic
- Software Fault Localization41 topic
- Symbolic Model Checker41 topic
- Code Clone Detection31 topic
- Refactoring31 topic
- Parallel Computing21 topic
- Performance Optimization21 topic
- Log Analysis11 topic
- Neural Machine Translation11 topic
- Performance Prediction11 topic
- Statistical Machine Translation11 topic
Where does José F. Morales work?
José F. Morales's main affiliation in the publication record is IMDEA Software Institute, Spain.
How many publications and citations does José F. Morales have?
Science Explorer counts 26 works and 35 citations for José F. Morales, ranking #1,392,795 of 1,633,909 researchers worldwide on the composite 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 are in the interactive view on the map. Is this your page? Request a correction or removal.