Call-by-value Solvability. - Luca Paolini; Simona Ronchi Della Rocca (RAIRO Theor. Informatics Appl., 1999)

Call-by-Value Separability and Computability. - Luca Paolini (ICTCS, 2001)

Lazy Logical Semantics. - Luca Paolini; Simona Ronchi Della Rocca (COMETA, 2003)

Lazy Strong Normalization. - Luca Paolini; Elaine Pimentel; Simona Ronchi Della Rocca (ITRS, 2004)

Parametric parameter passing Lambda-calculus. - Luca Paolini; Simona Ronchi Della Rocca (Inf. Comput., 2004)

Lambda]-theories. - Luca Paolini (2004)

The Parametric Lambda Calculus - A Metamodel for Computation - Simona Ronchi Della Rocca; Luca Paolini (Springer, 2004)

An Operational Characterization of Strong Normalization. - Luca Paolini; Elaine Pimentel; Simona Ronchi Della Rocca (FoSSaCS, 2006)

A stable programming language. - Luca Paolini (Inf. Comput., 2006)

Semantically linear programming languages. - Luca Paolini; Mauro Piccolo (PPDP, 2008)

A Process-Model for Linear Programs. - Luca Paolini; Mauro Piccolo (TYPES, 2008)

Parametric lambda -theories. - Luca Paolini (Theor. Comput. Sci., 2008)

Logical Semantics for Stability. - Luca Paolini; Mauro Piccolo; Simona Ronchi Della Rocca (MFPS, 2009)

Linearity and PCF: a semantic insight! - Marco Gaboardi; Luca Paolini; Mauro Piccolo (ICFP, 2011)

Strong normalization from an unusual point of view. - Luca Paolini; Elaine Pimentel; Simona Ronchi Della Rocca (Theor. Comput. Sci., 2011)

Call-by-Value Solvability, Revisited. - Beniamino Accattoli; Luca Paolini (FLOPS, 2012)

Preface. - Silvia Ghilezan; Luca Paolini (Fundam. Informaticae, 2012)

From Featured Transition Systems to Modal Transition Systems with Variability Constraints. - Maurice H. ter Beek; Ferruccio Damiani; Stefania Gnesi; Franco Mazzanti; Luca Paolini (SEFM, 2015)

Standardization of a Call-By-Value Lambda-Calculus. - Giulio Guerrieri; Luca Paolini; Simona Ronchi Della Rocca (TLCA, 2015)

A Certified Study of a Reversible Programming Language. - Luca Paolini; Mauro Piccolo; Luca Roversi (TYPES, 2015)

A Class of Reversible Primitive Recursive Functions. - Luca Paolini; Mauro Piccolo; Luca Roversi (ICTCS, 2015)

On the reification of semantic linearity. - Marco Gaboardi; Luca Paolini; Mauro Piccolo (Math. Struct. Comput. Sci., 2016)

A Formal Model for Multi SPLs. - Ferruccio Damiani; Michael Lienhardt; Luca Paolini (FSEN, 2017)

qPCF: A Language for Quantum Circuit Computations. - Luca Paolini; Margherita Zorzi (TAMC, 2017)

Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus. - Giulio Guerrieri; Luca Paolini; Simona Ronchi Della Rocca (Log. Methods Comput. Sci., 2017)

Essential and relational models. - Luca Paolini; Mauro Piccolo; Simona Ronchi Della Rocca (Math. Struct. Comput. Sci., 2017)

The Fixed Point Problem for General and for Linear SRL Programs is Undecidable. - Armando B. Matos; Luca Paolini; Luca Roversi (ICTCS, 2018)

Multi Software Product Lines in the Wild. - Michael Lienhardt; Ferruccio Damiani; Simone Donetti; Luca Paolini (VaMoS, 2018)

Quantum programming made easy. - Luca Paolini; Luca Roversi; Margherita Zorzi (Linearity-TLLA@FLoC, 2018)

On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions. - Luca Paolini; Mauro Piccolo; Luca Roversi (New Gener. Comput., 2018)

Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. - Maurice H. ter Beek; Ferruccio Damiani; Stefania Gnesi; Franco Mazzanti; Luca Paolini (IFM, 2019)

Static analysis of featured transition systems. - Maurice H. ter Beek; Ferruccio Damiani; Michael Lienhardt; Franco Mazzanti; Luca Paolini (SPLC (A), 2019)

QPCF: Higher-Order Languages and Quantum Circuits. - Luca Paolini; Mauro Piccolo; Margherita Zorzi (J. Autom. Reason., 2019)

On the expressiveness of modal transition systems with variability constraints. - Maurice H. ter Beek; Ferruccio Damiani; Stefania Gnesi; Franco Mazzanti; Luca Paolini (Sci. Comput. Program., 2019)

A formal model for Multi Software Product Lines. - Ferruccio Damiani; Michael Lienhardt; Luca Paolini (Sci. Comput. Program., 2019)

Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form. - Ferruccio Damiani; Michael Lienhardt; Luca Paolini (Int. J. Softw. Tools Technol. Transf., 2019)

On Two Characterizations of Feature Models. - Ferruccio Damiani; Michael Lienhardt; Luca Paolini (ICTAC, 2020)

On Slicing Software Product Line Signatures. - Ferruccio Damiani; Michael Lienhardt; Luca Paolini (ISoLA (1), 2020)

On the Expressivity of Total Reversible Programming Languages. - Armando B. Matos; Luca Paolini; Luca Roversi (RC, 2020)

The fixed point problem of a simple reversible language. - Armando B. Matos; Luca Paolini; Luca Roversi (Theor. Comput. Sci., 2020)

A class of Recursive Permutations which is Primitive Recursive complete. - Luca Paolini; Mauro Piccolo; Luca Roversi (Theor. Comput. Sci., 2020)

Splitting Recursion Schemes into Reversible and Classical Interacting Threads. - Armando B. Matos; Luca Paolini; Luca Roversi (RC, 2021)

Static analysis and family-based model checking with VMC. - Maurice H. ter Beek; Franco Mazzanti; Ferruccio Damiani; Luca Paolini; Giordano Scarso; Michael Lienhardt (SPLC (A), 2021)

Static analysis and family-based model checking of featured transition systems with VMC. - Maurice H. ter Beek; Franco Mazzanti; Ferruccio Damiani; Luca Paolini; Giordano Scarso; Michele Valfrè; Michael Lienhardt (SPLC (B), 2021)

Variability modules for Java-like languages. - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (SPLC (A), 2021)

Interleaving classical and reversible. - Armando B. Matos; Luca Paolini; Luca Roversi (CoRR, 2021)

Variability Modules for Java-like Languages (Artifact). - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (Zenodo, 2021)

Variability Modules for Java-like Languages (Artifact). - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (Zenodo, 2021)

Variability Modules for Java-like Languages (Artifact). - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (Zenodo, 2021)

Programming the Interaction with Quantum Coprocessors. - Ferruccio Damiani; Luca Paolini; Luca Roversi (ERCIM News, 2022)

Efficient static analysis and verification of featured transition systems. - Maurice H. ter Beek; Ferruccio Damiani; Michael Lienhardt; Franco Mazzanti; Luca Paolini (Empir. Softw. Eng., 2022)

FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC. - Maurice H. ter Beek; Ferruccio Damiani; Michael Lienhardt; Franco Mazzanti; Luca Paolini; Giordano Scarso (Sci. Comput. Program., 2022)

On logical and extensional characterizations of attributed feature models. - Ferruccio Damiani; Michael Lienhardt; Luca Paolini (Theor. Comput. Sci., 2022)

Variability Modules for Java-like Languages (Artifact). - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (Zenodo, 2022)

Variability Modules for Java-like Languages (Artifact). - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (Zenodo, 2022)

Deltas for Functional Programs with Algebraic Data Types. - Ferruccio Damiani; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (SPLC (A), 2023)

Variability modules. - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (J. Syst. Softw., 2023)

Host-Core Calculi for Non-classical Computations: A First Insight. - Matteo Palazzo; Luca Paolini; Luca Roversi; Margherita Zorzi (ICTCS, 2024)

Modeling Variability in Complex Software Systems. - Ferruccio Damiani; Reiner Hähnle; Eduard Kamburjan; Michael Lienhardt; Luca Paolini (Software Engineering, 2025)