Andrea Masini
Andrea Masini publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Media Technology, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Formal Methods in Verification.
- World rank
- #1,415,725 of 1,633,909 ranked researchers
- Rank in Italy
- #57,731 of 65,712
- Works
- 28
- Citations
- 17
- Citations per work
- 0.6
What does Andrea Masini research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence32% of their works
- 2Computational Theory and Mathematics13% of their works
- 3Media Technology10% of their works
- 4Computer Vision and Pattern Recognition6% of their works
- 5Computer Networks and Communications6% of their works
- 6Aerospace Engineering6% of their works
Research topics
Which keywords describe Andrea Masini's research?
The keywords of their largest research topics: Model Checking, Sparse Representation, Temporal Logic, Description Logics, Formal Verification, Knowledge Representation, Static Analysis and Answer Set Programming.
- Semantic Web
- Ontology
- Corpora
- Small Target
- Multispectral
- Infrared
- Answer Set Programming
- Knowledge Representation
- Description Logics
- Sparse Representation
- Model Checking
- Temporal Logic
- Formal Verification
- Static Analysis
- Image Fusion
- Modal Logic
- Satisfiability Modulo Theories
- Symbolic Model Checker
- Entanglement
- Quantum
- Spoken Language
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 21 words, with their numbers
- Model Checking73 topics
- Sparse Representation42 topics
- Temporal Logic42 topics
- Description Logics32 topics
- Formal Verification31 topic
- Knowledge Representation32 topics
- Static Analysis31 topic
- Answer Set Programming21 topic
- Image Fusion21 topic
- Infrared21 topic
- Modal Logic21 topic
- Multispectral21 topic
- Satisfiability Modulo Theories21 topic
- Small Target21 topic
- Symbolic Model Checker21 topic
- Corpora11 topic
- Entanglement11 topic
- Ontology11 topic
- Quantum11 topic
- Semantic Web11 topic
- Spoken Language11 topic
Where does Andrea Masini work?
Andrea Masini's main affiliation in the publication record is University of Pisa, Italy.
How many publications and citations does Andrea Masini have?
Science Explorer counts 28 works and 17 citations for Andrea Masini, ranking #1,415,725 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 Andrea Masini
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.