Enrico Giunchiglia
Enrico Giunchiglia publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Logic, Reasoning, and Knowledge, Formal Methods in Verification and Logic, programming, and type systems.
- World rank
- #177,228 of 1,633,909 ranked researchers
- Rank in Italy
- #5,240 of 65,712
- Works
- 36
- Citations
- 261
- Citations per work
- 7.3
What does Enrico Giunchiglia research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence51% of their works
- 2Computational Theory and Mathematics20% of their works
- 3Computer Networks and Communications10% of their works
- 4Software3% of their works
- 5Management Science and Operations Research2% of their works
- 6Information Systems2% of their works
Research topics
Which keywords describe Enrico Giunchiglia's research?
The keywords of their largest research topics: Model Checking, Temporal Logic, Description Logics, Knowledge Representation, Answer Set Programming, Modal Logic, Satisfiability Modulo Theories and Symbolic Model Checker.
- Periodic Table
- Machine Learning
- Semantic Web
- Distributed Algorithms
- Static Analysis
- Heuristic Search
- Symbolic Model Checker
- Modal Logic
- Knowledge Representation
- Temporal Logic
- Model Checking
- Description Logics
- Answer Set Programming
- Satisfiability Modulo Theories
- Formal Verification
- Planning Systems
- Constraint Optimization
- Ontology
- Genetic Programming
- Partially Ordered Sets
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 20 words, with their numbers
- Model Checking273 topics
- Temporal Logic202 topics
- Description Logics142 topics
- Knowledge Representation142 topics
- Answer Set Programming111 topic
- Modal Logic111 topic
- Satisfiability Modulo Theories91 topic
- Symbolic Model Checker91 topic
- Formal Verification71 topic
- Heuristic Search71 topic
- Planning Systems71 topic
- Static Analysis71 topic
- Constraint Optimization41 topic
- Distributed Algorithms41 topic
- Ontology31 topic
- Semantic Web31 topic
- Genetic Programming11 topic
- Machine Learning11 topic
- Partially Ordered Sets11 topic
- Periodic Table11 topic
Where does Enrico Giunchiglia work?
Enrico Giunchiglia's main affiliation in the publication record is University of Genoa, Italy.
How many publications and citations does Enrico Giunchiglia have?
Science Explorer counts 36 works and 261 citations for Enrico Giunchiglia, ranking #177,228 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.