Luca Roversi
Impact in
-
- Formal Methods in Verification
- Computability, Logic, AI Algorithms
- Advanced Algebra and Logic
- semigroups and automata theory
- Artificial Intelligence top 10%
- Logic, programming, and type systems
- Logic, Reasoning, and Knowledge
- Quantum Computing Algorithms and Architecture
Papers in
-
- Computability, Logic, AI Algorithms 8
- Formal Methods in Verification 7
- Numerical Methods and Algorithms 2
-
- Logic, programming, and type systems 9
- Logic, Reasoning, and Knowledge 7
- Quantum Computing Algorithms and Architecture 3
- Co-authors
- Andrea Asperti (1 shared paper)Simona Ronchi Della Rocca (5 shared papers)Antonio Restivo (2 shared papers)Luca Paolini (6 shared papers)Elaine Pimentel (1 shared paper)Marco Pedicini (1 shared paper)
- Journals
- Theoretical Computer Science (2 papers)Science of Computer Programming (1 paper)Studia Logica (1 paper)Mathematical Structures in Computer Science (1 paper)ACM Transactions on Computational Logic (1 paper)
- Partner nations
- ItalyPortugalNetherlands
In The Last Decade
Luca Roversi
14 papers receiving 134 citations
Peers
Comparison fields: 5 of 30
- Computational Theory and Mathematics 111
- Artificial Intelligence 120
- Software 6
- Hardware and Architecture 10
- Computer Networks and Communications 15
Countries citing papers authored by Luca Roversi
This map shows the geographic impact of Luca Roversi's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Luca Roversi with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Luca Roversi more than expected).
Fields of papers citing papers by Luca Roversi
This network shows the impact of papers produced by Luca Roversi. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Luca Roversi. The network helps show where Luca Roversi may publish in the future.
Co-authors
The 6 scholars most cited alongside Luca Roversi, linked wherever they have co-authored with each other. Click a name or a connecting line to browse the papers they share.
All Works
| # | Work | ||
|---|---|---|---|
| 1 | 2002 | 47 | |
| 2 | 2001 | 31 | |
| 3 | 1997 | 13 | |
| 4 | 2016 | 11 | |
| 5 | 1999 | 6 | |
| 6 | 2019 | 6 | |
| 7 | 2018 | 6 | |
| 8 | 2000 | 5 | |
| 9 | 2018 | 5 | |
| 10 | 2012 | 4 | |
| 11 | 2014 | 4 | |
| 12 | 2010 | 2 | |
| 13 | Proceedings of the 7th Italian Conference on Theoretical Computer Science | 2001 | 2 |
| 14 | The fixed point problem for general and for linear SRL programs is undecidable | 2018 | 1 |
| 15 | 2015 | 0 | |
| 16 | 2019 | 0 |
About Luca Roversi
Luca Roversi is a scholar working on Computational Theory and Mathematics, Artificial Intelligence, Hardware and Architecture, Computer Networks and Communications and Numerical Analysis, having authored 16 papers that have together received 143 indexed citations. Recurring topics across this work include Logic, programming, and type systems (9 papers), Computability, Logic, AI Algorithms (8 papers), Formal Methods in Verification (7 papers), Logic, Reasoning, and Knowledge (7 papers), Parallel Computing and Optimization Techniques (3 papers), Quantum Computing Algorithms and Architecture (3 papers), Numerical Methods and Algorithms (2 papers) and Advanced Optimization Algorithms Research (1 paper). The work is most often cited by research in Computational Theory and Mathematics (111 citations), Artificial Intelligence (120 citations), Software (6 citations), Hardware and Architecture (10 citations) and Computer Networks and Communications (15 citations). Luca Roversi has collaborated with scholars based in Italy, Portugal and Netherlands. Frequent co-authors include Andrea Asperti, Simona Ronchi Della Rocca, Antonio Restivo, Luca Paolini, Elaine Pimentel and Marco Pedicini. Their work appears in journals such as Theoretical Computer Science, Science of Computer Programming, Studia Logica, Mathematical Structures in Computer Science and ACM Transactions on Computational Logic.
Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.