Adolfo Villafiorita
Adolfo Villafiorita publishes mostly in Artificial Intelligence, Computer Networks and Communications and Computational Theory and Mathematics, on topics such as Formal Methods in Verification, Internet Traffic Analysis and Secure E-voting and Network Security and Intrusion Detection.
- World rank
- #268,813 of 1,633,909 ranked researchers
- Rank in Italy
- #8,510 of 65,712
- Works
- 26
- Citations
- 113
- Citations per work
- 4.3
What does Adolfo Villafiorita research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence26% of their works
- 2Computer Networks and Communications15% of their works
- 3Computational Theory and Mathematics11% of their works
- 4Software7% of their works
- 5Information Systems7% of their works
- 6Computer Science Applications7% of their works
Research topics
Which keywords describe Adolfo Villafiorita's research?
The keywords of their largest research topics: Deep Learning, Machine Learning, Model Checking, IoT Security, Temporal Logic, Satisfiability Modulo Theories, Symbolic Model Checker and Android Malware.
- Semantic Web
- Multi-Agent Systems
- Formal Verification
- Agent-Based Modeling
- Knowledge Representation
- Internet Traffic
- Description Logics
- Android Malware
- Satisfiability Modulo Theories
- IoT Security
- Machine Learning
- Deep Learning
- Model Checking
- Temporal Logic
- Symbolic Model Checker
- Classification
- Detection
- Intrusion Detection
- Network Security
- Answer Set Programming
- Modal Logic
- Ontology
- Static Analysis
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 23 words, with their numbers
- Deep Learning63 topics
- Machine Learning63 topics
- Model Checking53 topics
- IoT Security42 topics
- Temporal Logic42 topics
- Satisfiability Modulo Theories31 topic
- Symbolic Model Checker31 topic
- Android Malware21 topic
- Classification21 topic
- Description Logics22 topics
- Detection21 topic
- Internet Traffic21 topic
- Intrusion Detection21 topic
- Knowledge Representation22 topics
- Network Security21 topic
- Agent-Based Modeling11 topic
- Answer Set Programming11 topic
- Formal Verification11 topic
- Modal Logic11 topic
- Multi-Agent Systems11 topic
- Ontology11 topic
- Semantic Web11 topic
- Static Analysis11 topic
Where does Adolfo Villafiorita work?
Adolfo Villafiorita's main affiliation in the publication record is Fondazione Bruno Kessler, Italy.
How many publications and citations does Adolfo Villafiorita have?
Science Explorer counts 26 works and 113 citations for Adolfo Villafiorita, ranking #268,813 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.