Luca Viganò
Luca Viganò publishes mostly in Artificial Intelligence, Computer Networks and Communications and Computational Theory and Mathematics, on topics such as Advanced Authentication Protocols Security, Formal Methods in Verification and Logic, Reasoning, and Knowledge.
- World rank
- #112,850 of 1,633,909 ranked researchers
- Rank in Italy
- #3,166 of 65,712
- Works
- 57
- Citations
- 295
- Citations per work
- 5.2
What does Luca Viganò research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence25% of their works
- 2Computer Networks and Communications16% of their works
- 3Computational Theory and Mathematics14% of their works
- 4Information Systems9% of their works
- 5Aerospace Engineering6% of their works
- 6Hardware and Architecture4% of their works
Research topics
Which keywords describe Luca Viganò's research?
The keywords of their largest research topics: Model Checking, Authentication, Biometrics, Temporal Logic, Description Logics, Knowledge Representation, Key Exchange and Security Protocols.
- Identity-Based Encryption
- Static Analysis
- Residuated Lattices
- Fuzzy Logic
- Security
- Modal Logic
- Symbolic Model Checker
- Security Protocols
- Knowledge Representation
- Temporal Logic
- Authentication
- Model Checking
- Biometrics
- Description Logics
- Key Exchange
- Satisfiability Modulo Theories
- Answer Set Programming
- Passwords
- Formal Verification
- Ontology
- Semantic Web
- Homomorphic Encryption
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 22 words, with their numbers
- Model Checking143 topics
- Authentication112 topics
- Biometrics112 topics
- Temporal Logic112 topics
- Description Logics82 topics
- Knowledge Representation82 topics
- Key Exchange71 topic
- Security Protocols71 topic
- Satisfiability Modulo Theories61 topic
- Symbolic Model Checker61 topic
- Answer Set Programming51 topic
- Modal Logic51 topic
- Passwords41 topic
- Security41 topic
- Formal Verification31 topic
- Fuzzy Logic31 topic
- Ontology31 topic
- Residuated Lattices31 topic
- Semantic Web31 topic
- Static Analysis31 topic
- Homomorphic Encryption21 topic
- Identity-Based Encryption21 topic
Where does Luca Viganò work?
Luca Viganò's main affiliation in the publication record is University of Verona, Italy.
How many publications and citations does Luca Viganò have?
Science Explorer counts 57 works and 295 citations for Luca Viganò, ranking #112,850 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 Luca Viganò
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.