Science Explorer Back to mapMap
Discussion
Researcher · University of Bologna · Italy

Gabriele Vanoni

Gabriele Vanoni publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture, on topics such as Logic, programming, and type systems, Logic, Reasoning, and Knowledge and Computability, Logic, AI Algorithms.

ORCID 0000-0001-8762-8674 OpenAlex
World rank
#5,050,578
of 7,710,434 ranked researchers
Rank in Italy
#169,830
of 242,206
Works
31
Citations
61
Citations per work
2.0
h-index
5
i10-index 2Top 82% in Artificial Intelligence
Gabriele Vanoni

What does Gabriele Vanoni research?

Gabriele Vanoni's work is mostly in Computer Science (90%), Mathematics (2%), Physics and Astronomy (2%).

Physical Sciences: 29 works · 94.8% of their workComputer Science: 28 works · 90.4% of their workArtificial Intelligence: 13 works · 43.0% of their workComputational Theory and Mathematics: 11 works · 35.5% of their workHardware and Architecture: 2 works · 6.5% of their workComputer Networks and Communications: 2 works · 5.4% of their workMathematics: 1 works · 2.2% of their workMathematical Physics: 1 works · 2.2% of their workPhysics and Astronomy: 1 works · 2.2% of their workAtomic and Molecular Physics, and Optics: 1 works · 2.2% of their workEverything else: 2 works · 5.2% of their workTHEIR WORKGabriele Vanoni31works
Physical Sciences95%

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
    1. Computer Science2890.4%
    2. Mathematics12.2%
    3. Physics and Astronomy12.2%
  2. Everything else25.2%
  1. 1Artificial Intelligence43% of their works
  2. 2Computational Theory and Mathematics36% of their works
  3. 3Hardware and Architecture6% of their works
  4. 4Computer Networks and Communications5% of their works
  5. 5Atomic and Molecular Physics, and Optics2% of their works
  6. 6Mathematical Physics2% of their works

Research topics

Which keywords describe Gabriele Vanoni's research?

The keywords of their largest research topics: Model Checking, Temporal Logic, Formal Verification, Static Analysis, Algorithmic Information Theory, Answer Set Programming, Computability and Modal Logic.

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 19 words, with their numbers
  1. Model Checking443 topics
  2. Temporal Logic232 topics
  3. Formal Verification211 topic
  4. Static Analysis211 topic
  5. Algorithmic Information Theory151 topic
  6. Answer Set Programming151 topic
  7. Computability151 topic
  8. Modal Logic151 topic
  9. Automata122 topics
  10. Satisfiability Modulo Theories81 topic
  11. Symbolic Model Checker81 topic
  12. Parallel Computing61 topic
  13. Performance Optimization61 topic
  14. Formal Languages41 topic
  15. Regular Expressions41 topic
  16. Continuous Queries31 topic
  17. Data Stream Management31 topic
  18. Fuzzy Logic31 topic
  19. Residuated Lattices31 topic

Where does Gabriele Vanoni work?

Gabriele Vanoni's main affiliation in the publication record is University of Bologna, Italy.

How many publications and citations does Gabriele Vanoni have?

OpenAlex counts 31 works and 61 citations for Gabriele Vanoni, an h-index of 5, ranking #5,050,578 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 Gabriele Vanoni. Posts are plain text and can be reported.