José Meseguer
José Meseguer publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Logic, programming, and type systems, Formal Methods in Verification and Logic, Reasoning, and Knowledge.
- World rank
- #12,926 of 1,633,909 ranked researchers
- Rank in United States
- #6,241 of 358,040
- Works
- 151
- Citations
- 1.7k
- Citations per work
- 11.4
What does José Meseguer research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence38% of their works
- 2Computational Theory and Mathematics30% of their works
- 3Computer Networks and Communications9% of their works
- 4Hardware and Architecture6% of their works
- 5Software4% of their works
- 6Information Systems4% of their works
Research topics
Which keywords describe José Meseguer's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Automata, Formal Verification, Static Analysis, Satisfiability Modulo Theories, Symbolic Model Checker and Answer Set Programming.
- Fuzzy Logic
- Parallel Computing
- Fault Tolerance
- Distributed Systems
- Formal Languages
- Answer Set Programming
- Satisfiability Modulo Theories
- Formal Verification
- Temporal Logic
- Model Checking
- Automata
- Static Analysis
- Symbolic Model Checker
- Modal Logic
- Regular Expressions
- Domain-Specific Languages
- Model-Driven Engineering
- Performance Optimization
- Residuated Lattices
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 Checking1103 topics
- Temporal Logic642 topics
- Automata522 topics
- Formal Verification461 topic
- Static Analysis461 topic
- Satisfiability Modulo Theories441 topic
- Symbolic Model Checker441 topic
- Answer Set Programming201 topic
- Modal Logic201 topic
- Formal Languages81 topic
- Regular Expressions81 topic
- Distributed Systems61 topic
- Domain-Specific Languages61 topic
- Fault Tolerance61 topic
- Model-Driven Engineering61 topic
- Parallel Computing51 topic
- Performance Optimization51 topic
- Fuzzy Logic41 topic
- Residuated Lattices41 topic
Where does José Meseguer work?
José Meseguer's main affiliation in the publication record is University of Illinois Urbana-Champaign, United States.
How many publications and citations does José Meseguer have?
Science Explorer counts 151 works and 1,727 citations for José Meseguer, ranking #12,926 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.
Other researchers named José Meseguer
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.