Angelo Montanari
Angelo Montanari 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
- #133,981 of 1,633,909 ranked researchers
- Rank in Italy
- #3,855 of 65,712
- Works
- 82
- Citations
- 360
- Citations per work
- 4.4
What does Angelo Montanari research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence43% of their works
- 2Computational Theory and Mathematics20% of their works
- 3Computer Networks and Communications9% of their works
- 4Signal Processing5% of their works
- 5Industrial and Manufacturing Engineering3% of their works
- 6Hardware and Architecture3% of their works
Research topics
Which keywords describe Angelo Montanari'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.
- Trajectory Data Mining
- Residuated Lattices
- Data Stream Management
- Distributed Algorithms
- Semantic Web
- Static Analysis
- Symbolic Model Checker
- Modal Logic
- Knowledge Representation
- Temporal Logic
- Model Checking
- Description Logics
- Answer Set Programming
- Satisfiability Modulo Theories
- Formal Verification
- Ontology
- Constraint Optimization
- Continuous Queries
- Fuzzy Logic
- GPS Trajectories
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 Checking383 topics
- Temporal Logic282 topics
- Description Logics252 topics
- Knowledge Representation252 topics
- Answer Set Programming161 topic
- Modal Logic161 topic
- Satisfiability Modulo Theories121 topic
- Symbolic Model Checker121 topic
- Formal Verification101 topic
- Static Analysis101 topic
- Ontology91 topic
- Semantic Web91 topic
- Constraint Optimization51 topic
- Distributed Algorithms51 topic
- Continuous Queries41 topic
- Data Stream Management41 topic
- Fuzzy Logic41 topic
- Residuated Lattices41 topic
- GPS Trajectories31 topic
- Trajectory Data Mining31 topic
Where does Angelo Montanari work?
Angelo Montanari's main affiliation in the publication record is University of Udine, Italy.
How many publications and citations does Angelo Montanari have?
Science Explorer counts 82 works and 360 citations for Angelo Montanari, ranking #133,981 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.