Marco Pedicini
Marco Pedicini publishes mostly in Artificial Intelligence, Computational Theory and Mathematics and Computer Vision and Pattern Recognition, on topics such as Logic, programming, and type systems, Computability, Logic, AI Algorithms and Quantum Computing Algorithms and Architecture.
- World rank
- #952,777 of 1,633,909 ranked researchers
- Rank in Italy
- #37,582 of 65,712
- Works
- 17
- Citations
- 54
- Citations per work
- 3.2
What does Marco Pedicini research?
Shares of their own output, by the field each of their topics belongs to. The grey slice is everything not listed.
- 1Artificial Intelligence46% of their works
- 2Computational Theory and Mathematics27% of their works
- 3Computer Vision and Pattern Recognition4% of their works
- 4Atomic and Molecular Physics, and Optics4% of their works
- 5Economics and Econometrics4% of their works
- 6Computer Networks and Communications4% of their works
Research topics
Which keywords describe Marco Pedicini's research?
The keywords of their largest research topics: Model Checking, Formal Verification, Static Analysis, Temporal Logic, Algorithmic Information Theory, Computability, Answer Set Programming and Modal Logic.
- Procedural Content Generation
- Cryptanalysis
- Cellular Automata
- Symbolic Model Checker
- Quantum Information
- Modal Logic
- Computability
- Temporal Logic
- Formal Verification
- Model Checking
- Static Analysis
- Algorithmic Information Theory
- Answer Set Programming
- Quantum Computation
- Satisfiability Modulo Theories
- Block Ciphers
- Computation
- Monte Carlo Tree Search
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 18 words, with their numbers
- Model Checking83 topics
- Formal Verification41 topic
- Static Analysis41 topic
- Temporal Logic42 topics
- Algorithmic Information Theory31 topic
- Computability31 topic
- Answer Set Programming21 topic
- Modal Logic21 topic
- Quantum Computation21 topic
- Quantum Information21 topic
- Satisfiability Modulo Theories21 topic
- Symbolic Model Checker21 topic
- Block Ciphers11 topic
- Cellular Automata11 topic
- Computation11 topic
- Cryptanalysis11 topic
- Monte Carlo Tree Search11 topic
- Procedural Content Generation11 topic
Where does Marco Pedicini work?
Marco Pedicini's main affiliation in the publication record is Istituto per le Applicazioni del Calcolo Mauro Picone, Italy.
How many publications and citations does Marco Pedicini have?
Science Explorer counts 17 works and 54 citations for Marco Pedicini, ranking #952,777 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.