José Antonio Alonso
José Antonio Alonso publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Electrical and Electronic Engineering, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Formal Methods in Verification.
- World rank
- #5,782,408 of 7,710,434 ranked researchers
- Rank in Spain
- #137,849 of 204,306
- Works
- 48
- Citations
- 287
- Citations per work
- 6.0
What does José Antonio Alonso research?
José Antonio Alonso's work is mostly in Computer Science (30%), Social Sciences (11%), Engineering (6%).
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
- Everything else2347.0%
- Physical Sciences2041.9%
- Computer Science1429.9%
- Engineering36.0%
- Materials Science36.0%
- Social Sciences511.1%
- Social Sciences511.1%
- 1Artificial Intelligence17% of their works
- 2Computational Theory and Mathematics13% of their works
- 3Electrical and Electronic Engineering6% of their works
- 4Political Science and International Relations6% of their works
- 5Materials Chemistry6% of their works
- 6Sociology and Political Science5% of their works
Research topics
Which keywords describe José Antonio Alonso's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Formal Verification, Static Analysis, Answer Set Programming, Modal Logic, Materials and Lithium-Sulfur Batteries.
- Solid Oxide Fuel Cells
- Residuated Lattices
- Negative Thermal Expansion
- Electrolytes
- Solid-State Electrolytes
- Lithium-Sulfur Batteries
- Modal Logic
- Static Analysis
- Temporal Logic
- Model Checking
- Formal Verification
- Answer Set Programming
- Materials
- Satisfiability Modulo Theories
- Symbolic Model Checker
- Fuzzy Logic
- Perovskite
- Social Work
- Welfare State
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 19 words, with their numbers
- Model Checking203 topics
- Temporal Logic112 topics
- Formal Verification91 topic
- Static Analysis91 topic
- Answer Set Programming71 topic
- Modal Logic71 topic
- Materials62 topics
- Lithium-Sulfur Batteries41 topic
- Satisfiability Modulo Theories41 topic
- Solid-State Electrolytes41 topic
- Symbolic Model Checker41 topic
- Electrolytes31 topic
- Fuzzy Logic31 topic
- Negative Thermal Expansion31 topic
- Perovskite31 topic
- Residuated Lattices31 topic
- Social Work31 topic
- Solid Oxide Fuel Cells31 topic
- Welfare State31 topic
Where does José Antonio Alonso work?
José Antonio Alonso's main affiliation in the publication record is Universidad de Sevilla, Spain.
How many publications and citations does José Antonio Alonso have?
OpenAlex counts 48 works and 287 citations for José Antonio Alonso, an h-index of 8, ranking #5,782,408 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.
Other researchers named José Antonio Alonso
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é Antonio Alonso. Posts are plain text and can be reported.