| The parametric lambda calculus: a metamodel for computation SR Della Rocca, L Paolini Springer Science & Business Media, 2013 | 123 | 2013 |
| Call-by-value Solvability L Paolini, SR Della Rocca Rairo-theoretical informatics and applications 33 (6), 507-534, 1999 | 58 | 1999 |
| Call-by-value solvability, revisited B Accattoli, L Paolini International Symposium on Functional and Logic Programming, 4-16, 2012 | 47 | 2012 |
| A stable programming language L Paolini Information and Computation 204 (3), 339-375, 2006 | 36 | 2006 |
| Essential and relational models L Paolini, M Piccolo, SR Della Rocca Mathematical Structures in Computer Science 27 (5), 626-650, 2017 | 32 | 2017 |
| Bounding normalization time through intersection types E De Benedetti, SR Della Rocca arXiv preprint arXiv:1307.8205, 2013 | 32 | 2013 |
| Call-by-value separability and computability L Paolini Italian Conference on Theoretical Computer Science, 74-89, 2001 | 31 | 2001 |
| Parametric parameter passing λ-calculus L Paolini, SR Della Rocca Information and Computation 189 (1), 87-106, 2004 | 28 | 2004 |
| A class of reversible primitive recursive functions L Paolini, M Piccolo, L Roversi Electronic Notes in Theoretical Computer Science 322, 227-242, 2016 | 19 | 2016 |
| Lazy strong normalization L Paolini, E Pimentel, SR Della Rocca Electronic Notes in Theoretical Computer Science 136, 103-116, 2005 | 17 | 2005 |
| 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 | 16 | 2018 |
| A formal model for multi SPLs F Damiani, M Lienhardt, L Paolini International Conference on Fundamentals of Software Engineering, 67-83, 2017 | 15 | 2017 |
| Syntactical, operational and denotational linearity MG Gaboardi, LL Paolini Workshop on linear logic, ludics, implicit complexity, operator algebras, 1-3, 2007 | 15 | 2007 |
| Standardization and conservativity of a refined call-by-value lambda-calculus G Guerrieri, L Paolini, SR Della Rocca arXiv preprint arXiv:1611.07255, 2016 | 14 | 2016 |
| From featured transition systems to modal transition systems with variability constraints MH Beek, F Damiani, S Gnesi, F Mazzanti, L Paolini SEFM 2015 Collocated Workshops, 344-359, 2015 | 14 | 2015 |
| Standardization of a call-by-value lambda-calculus G Guerrieri, L Paolini, S Ronchi Della Rocca 13th International Conference on Typed Lambda Calculi and Applications (TLCA …, 2015 | 14 | 2015 |
| Semantically linear programming languages L Paolini, M Piccolo Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008 | 13 | 2008 |
| A formal model for multi software product lines F Damiani, M Lienhardt, L Paolini Science of Computer Programming 172, 203-231, 2019 | 12 | 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 | 11 | 2019 |
| A certified study of a reversible programming language L Paolini, M Piccolo, L Roversi 21st International Conference on Types for Proofs and Programs (TYPES 2015), 2018 | 11 | 2018 |
Luca RoversiProfessor of Computer Science, Universitą di TorinoVerified email at di.unito.it
