The parametric lambda calculus: a metamodel for computation SR Della Rocca, L Paolini Springer Science & Business Media, 2013 | 131 | 2013 |
Call-by-value Solvability L Paolini, SR Della Rocca Rairo-theoretical informatics and applications 33 (6), 507-534, 1999 | 72 | 1999 |
Call-by-value solvability, revisited B Accattoli, L Paolini Functional and Logic Programming: 11th International Symposium, FLOPS 2012 …, 2012 | 68 | 2012 |
Essential and relational models L Paolini, M Piccolo, SR Della Rocca Mathematical Structures in Computer Science 27 (5), 626-650, 2017 | 37 | 2017 |
A stable programming language L Paolini Information and Computation 204 (3), 339-375, 2006 | 35 | 2006 |
Call-by-value separability and computability A Restivo, SR Della Rocca, L Roversi, L Paolini Theoretical Computer Science: 7th Italian Conference, ICTCS 2001 Torino …, 2001 | 35 | 2001 |
Bounding normalization time through intersection types E De Benedetti, SR Della Rocca arXiv preprint arXiv:1307.8205, 2013 | 31 | 2013 |
Standardization and conservativity of a refined call-by-value lambda-calculus G Guerrieri, L Paolini, SR Della Rocca Logical Methods in Computer Science 13, 2017 | 26 | 2017 |
Parametric parameter passing λ-calculus L Paolini, SR Della Rocca Information and Computation 189 (1), 87-106, 2004 | 26 | 2004 |
Static analysis of featured transition systems MH Beek, F Damiani, M Lienhardt, F Mazzanti, L Paolini Proceedings of the 23rd International Systems and Software Product Line …, 2019 | 25 | 2019 |
Efficient static analysis and verification of featured transition systems MH ter Beek, F Damiani, M Lienhardt, F Mazzanti, L Paolini Empirical Software Engineering 27 (1), 10, 2022 | 23 | 2022 |
On a class of reversible primitive recursive functions and its turing-complete extensions L Paolini, M Piccolo, L Roversi New Generation Computing 36 (3), 233-256, 2018 | 23 | 2018 |
QPCF: Higher-order languages and quantum circuits L Paolini, M Piccolo, M Zorzi Journal of Automated Reasoning 63, 941-966, 2019 | 22 | 2019 |
On the expressiveness of modal transition systems with variability constraints MH ter Beek, F Damiani, S Gnesi, F Mazzanti, L Paolini Science of Computer Programming 169, 1-17, 2019 | 22 | 2019 |
A class of reversible primitive recursive functions L Paolini, M Piccolo, L Roversi Electronic Notes in Theoretical Computer Science 322, 227-242, 2016 | 20 | 2016 |
Hydrogen production from hydrolysis of magnesium wastes reprocessed by mechanical milling under air M Rodríguez, F Niro, G Urretavizcaya, JL Bobet, FJ Castro International Journal of Hydrogen Energy 47 (8), 5074-5084, 2022 | 18* | 2022 |
: A Language for Quantum Circuit Computations L Paolini, M Zorzi International Conference on Theory and Applications of Models of Computation …, 2017 | 18 | 2017 |
From featured transition systems to modal transition systems with variability constraints MH ter Beek, F Damiani, S Gnesi, F Mazzanti, L Paolini SEFM 2015 Collocated Workshops, 344-359, 2015 | 18 | 2015 |
Lazy strong normalization L Paolini, E Pimentel, SR Della Rocca Electronic Notes in Theoretical Computer Science 136, 103-116, 2005 | 16 | 2005 |
A class of recursive permutations which is primitive recursive complete L Paolini, M Piccolo, L Roversi Theoretical Computer Science 813, 218-233, 2020 | 15 | 2020 |