Eugenio Giovanni Omodeo
Eugenio Giovanni Omodeo publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Networks and Communications, on topics such as Logic, Reasoning, and Knowledge, Logic, programming, and type systems and Computability, Logic, AI Algorithms.
- World rank
- #5,970,550 of 7,710,434 ranked researchers
- Rank in Italy
- #198,292 of 242,206
- Works
- 153
- Citations
- 1.3k
- Citations per work
- 8.4
What does Eugenio Giovanni Omodeo research?
Eugenio Giovanni Omodeo's work is mostly in Computer Science (79%), Mathematics (7%).
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
- Physical Sciences13185.8%
- Computer Science12179.2%
- Mathematics106.6%
- Everything else2214.2%
- 1Artificial Intelligence40% of their works
- 2Computational Theory and Mathematics34% of their works
- 3Computer Networks and Communications5% of their works
- 4Geometry and Topology2% of their works
- 5Discrete Mathematics and Combinatorics2% of their works
- 6Theoretical Computer Science2% of their works
Research topics
Which keywords describe Eugenio Giovanni Omodeo's research?
The keywords of their largest research topics: Model Checking, Description Logics, Knowledge Representation, Temporal Logic, Answer Set Programming, Modal Logic, Formal Verification and Static Analysis.
- Parameterized Complexity
- Data Stream Management
- Symbolic Model Checker
- Residuated Lattices
- Semantic Web
- Computability
- Static Analysis
- Modal Logic
- Temporal Logic
- Description Logics
- Model Checking
- Knowledge Representation
- Answer Set Programming
- Formal Verification
- Algorithmic Information Theory
- Ontology
- Fuzzy Logic
- Satisfiability Modulo Theories
- Continuous Queries
- Graph Theory
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 Checking1303 topics
- Description Logics802 topics
- Knowledge Representation802 topics
- Temporal Logic782 topics
- Answer Set Programming541 topic
- Modal Logic541 topic
- Formal Verification521 topic
- Static Analysis521 topic
- Algorithmic Information Theory381 topic
- Computability381 topic
- Ontology261 topic
- Semantic Web261 topic
- Fuzzy Logic251 topic
- Residuated Lattices251 topic
- Satisfiability Modulo Theories241 topic
- Symbolic Model Checker241 topic
- Continuous Queries121 topic
- Data Stream Management121 topic
- Graph Theory111 topic
- Parameterized Complexity111 topic
Where does Eugenio Giovanni Omodeo work?
Eugenio Giovanni Omodeo's main affiliation in the publication record is University of Trieste, Italy.
How many publications and citations does Eugenio Giovanni Omodeo have?
OpenAlex counts 153 works and 1,288 citations for Eugenio Giovanni Omodeo, an h-index of 19, ranking #5,970,550 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.
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 Eugenio Giovanni Omodeo. Posts are plain text and can be reported.