Luca Paolini

638 total citations
39 papers, 202 citations indexed

About

Luca Paolini is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Software. According to data from OpenAlex, Luca Paolini has authored 39 papers receiving a total of 202 indexed citations (citations by other indexed papers that have themselves been cited), including 31 papers in Artificial Intelligence, 20 papers in Computational Theory and Mathematics and 7 papers in Software. Recurrent topics in Luca Paolini's work include Logic, programming, and type systems (19 papers), Logic, Reasoning, and Knowledge (13 papers) and Formal Methods in Verification (11 papers). Luca Paolini is often cited by papers focused on Logic, programming, and type systems (19 papers), Logic, Reasoning, and Knowledge (13 papers) and Formal Methods in Verification (11 papers). Luca Paolini collaborates with scholars based in Italy, France and United Kingdom. Luca Paolini's co-authors include Simona Ronchi Della Rocca, Luca Roversi, Ferruccio Damiani, Michaël Lienhardt, Franco Mazzanti, Maurice H. ter Beek, Lina Zuccatosta, Martina Bonifazi, Margherita Zorzi and Stefano Menzo and has published in prestigious journals such as CHEST Journal, Theoretical Computer Science and Journal of Systems and Software.

In The Last Decade

Luca Paolini

37 papers receiving 197 citations

Peers

Luca Paolini
Francesca Scozzari Italy
Cristina David United Kingdom
Luís Pinto Portugal
Laurent Théry France
P. H. B. Gardiner United Kingdom
Dilian Gurov Sweden
Kevin Millikin Denmark
Carsten Fuhs Germany
Harald Fecher Germany
Benedikt Bollig France
Francesca Scozzari Italy
Luca Paolini
Citations per year, relative to Luca Paolini Luca Paolini (= 1×) peers Francesca Scozzari

Countries citing papers authored by Luca Paolini

Since Specialization
Citations

This map shows the geographic impact of Luca Paolini'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 Paolini with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Luca Paolini more than expected).

Fields of papers citing papers by Luca Paolini

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Luca Paolini. 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 Paolini. The network helps show where Luca Paolini may publish in the future.

Co-authorship network of co-authors of Luca Paolini

This figure shows the co-authorship network connecting the top 25 collaborators of Luca Paolini. A scholar is included among the top collaborators of Luca Paolini based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Luca Paolini. Luca Paolini is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Damiani, Ferruccio, Michaël Lienhardt, & Luca Paolini. (2022). On logical and extensional characterizations of attributed feature models. Theoretical Computer Science. 912. 56–80. 2 indexed citations
2.
Mei, Federico, Martina Bonifazi, Stefano Menzo, et al.. (2020). First Detection of SARS-CoV-2 by Real-Time Reverse Transcriptase-Polymerase Chain Reaction Assay in Pleural Fluid. CHEST Journal. 158(4). e143–e146. 21 indexed citations
3.
Paolini, Luca, et al.. (2019). The fixed point problem of a simple reversible language. Theoretical Computer Science. 813. 143–154.
4.
Paolini, Luca, et al.. (2019). A class of Recursive Permutations which is Primitive Recursive complete. Theoretical Computer Science. 813. 218–233. 6 indexed citations
5.
Paolini, Luca, et al.. (2019). QPCF: Higher-Order Languages and Quantum Circuits. Journal of Automated Reasoning. 63(4). 941–966. 5 indexed citations
6.
Paolini, Luca, et al.. (2018). The fixed point problem for general and for linear SRL programs is undecidable. 2243. 128–139. 1 indexed citations
7.
Damiani, Ferruccio, Michaël Lienhardt, & Luca Paolini. (2018). A formal model for Multi Software Product Lines. Science of Computer Programming. 172. 203–231. 7 indexed citations
8.
Lienhardt, Michaël, et al.. (2018). Multi Software Product Lines in the Wild. Institutional Research Information System University of Turin (University of Turin). 89–96. 3 indexed citations
9.
Paolini, Luca, et al.. (2017). Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus. Logical Methods in Computer Science. Volume 13, Issue 4. 6 indexed citations
10.
Paolini, Luca. (2017). La tolleranza religiosa garantita ai greci nella Livorno granducale. Università degli Studi di Urbino. 42. 215–246. 1 indexed citations
11.
Paolini, Luca, et al.. (2016). A Class of Reversible Primitive Recursive Functions. Electronic Notes in Theoretical Computer Science. 322. 227–242. 11 indexed citations
12.
Ghilezan, Silvia & Luca Paolini. (2012). Preface. Fundamenta Informaticae. 121(1-4). v–vi. 1 indexed citations
13.
Gaboardi, Marco, et al.. (2011). Linearity and PCF. ACM SIGPLAN Notices. 46(9). 372–384. 1 indexed citations
14.
Paolini, Luca, Elaine Pimentel, & Simona Ronchi Della Rocca. (2010). Strong normalization from an unusual point of view. Theoretical Computer Science. 412(20). 1903–1915. 1 indexed citations
15.
Paolini, Luca, et al.. (2009). Logical Semantics for Stability. Electronic Notes in Theoretical Computer Science. 249. 429–449. 3 indexed citations
16.
Paolini, Luca. (2008). Parametric λ -theories. Theoretical Computer Science. 398(1-3). 51–62. 2 indexed citations
17.
Paolini, Luca. (2006). A stable programming language. Information and Computation. 204(3). 339–375. 6 indexed citations
18.
Paolini, Luca, Elaine Pimentel, & Simona Ronchi Della Rocca. (2005). Lazy Strong Normalization. Electronic Notes in Theoretical Computer Science. 136. 103–116. 2 indexed citations
19.
Paolini, Luca, et al.. (2004). The Parametric Lambda Calculus: A Meta-Model for Computation (Texts in Theoretical Computer Science). Springer eBooks. 6 indexed citations
20.
Rocca, Simona Ronchi Della & Luca Paolini. (2004). The Parametric Lambda Calculus. 11 indexed citations

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.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Francesca Scozzari Breakdown of academic impact, for papers by Cristina David Breakdown of academic impact, for papers by Luís Pinto Breakdown of academic impact, for papers by Laurent Théry Breakdown of academic impact, for papers by P. H. B. Gardiner Breakdown of academic impact, for papers by Dilian Gurov Breakdown of academic impact, for papers by Kevin Millikin Breakdown of academic impact, for papers by Carsten Fuhs Breakdown of academic impact, for papers by Harald Fecher Breakdown of academic impact, for papers by Benedikt Bollig
Rankless by CCL
2026