Luca Paolini

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 35

Top Topics

Programming Language

Transition Systems

Relational Models

Top Venues

Theor. Comput. Sci.

Sci. Comput. Program.

Publications

Ferruccio Damiani, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
Deltas for Functional Programs with Algebraic Data Types. SPLC (A) (2023)
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
Variability modules. J. Syst. Softw. 195 (2023)
Ferruccio Damiani, Michael Lienhardt, Luca Paolini
On logical and extensional characterizations of attributed feature models. Theor. Comput. Sci. 912 (2022)
Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini
Efficient static analysis and verification of featured transition systems. Empir. Softw. Eng. 27 (1) (2022)
Ferruccio Damiani, Luca Paolini, Luca Roversi
Programming the Interaction with Quantum Coprocessors. ERCIM News 2022 (128) (2022)
Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini, Giordano Scarso
FTS4VMC: A front-end tool for static analysis and family-based model checking of FTSs with VMC. Sci. Comput. Program. 224 (2022)
Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michael Lienhardt
Static analysis and family-based model checking with VMC. SPLC (A) (2021)
Armando B. Matos, Luca Paolini, Luca Roversi
Splitting Recursion Schemes into Reversible and Classical Interacting Threads. RC (2021)
Armando B. Matos, Luca Paolini, Luca Roversi
Interleaving classical and reversible. CoRR (2021)
Armando B. Matos, Luca Paolini, Luca Roversi
Splitting recursion schemes into reversible and classical interacting threads. CoRR (2021)
Ferruccio Damiani, Reiner Hähnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini
Variability modules for Java-like languages. SPLC (A) (2021)
Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michele Valfrè, Michael Lienhardt
Static analysis and family-based model checking of featured transition systems with VMC. SPLC (B) (2021)
Ferruccio Damiani, Michael Lienhardt, Luca Paolini
On Two Characterizations of Feature Models. ICTAC (2020)
Armando B. Matos, Luca Paolini, Luca Roversi
The fixed point problem of a simple reversible language. Theor. Comput. Sci. 813 (2020)
Ferruccio Damiani, Michael Lienhardt, Luca Paolini
On Slicing Software Product Line Signatures. ISoLA (1) (2020)
Armando B. Matos, Luca Paolini, Luca Roversi
On the Expressivity of Total Reversible Programming Languages. RC (2020)
Luca Paolini, Mauro Piccolo, Luca Roversi
A class of Recursive Permutations which is Primitive Recursive complete. Theor. Comput. Sci. 813 (2020)
Luca Paolini, Mauro Piccolo, Margherita Zorzi
QPCF: Higher-Order Languages and Quantum Circuits. J. Autom. Reason. 63 (4) (2019)
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
On the expressiveness of modal transition systems with variability constraints. Sci. Comput. Program. 169 (2019)
Ferruccio Damiani, Michael Lienhardt, Luca Paolini
Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form. Int. J. Softw. Tools Technol. Transf. 21 (6) (2019)
Ferruccio Damiani, Michael Lienhardt, Luca Paolini
A formal model for Multi Software Product Lines. Sci. Comput. Program. 172 (2019)
Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini
Static analysis of featured transition systems. SPLC (A) (2019)
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. IFM (2019)
Armando B. Matos, Luca Paolini, Luca Roversi
The Fixed Point Problem for General and for Linear SRL Programs is Undecidable. ICTCS (2018)
Luca Paolini, Mauro Piccolo, Luca Roversi
On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions. New Gener. Comput. 36 (3) (2018)
Luca Paolini, Luca Roversi, Margherita Zorzi
Quantum programming made easy. Linearity-TLLA@FLoC (2018)
Luca Paolini, Mauro Piccolo, Margherita Zorzi
QPCF: higher order languages and quantum circuits. CoRR (2018)
Michael Lienhardt, Ferruccio Damiani, Simone Donetti, Luca Paolini
Multi Software Product Lines in the Wild. VaMoS (2018)
Luca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca
Essential and relational models. Math. Struct. Comput. Sci. 27 (5) (2017)
Luca Paolini, Margherita Zorzi
qPCF: A Language for Quantum Circuit Computations. TAMC (2017)
Ferruccio Damiani, Michael Lienhardt, Luca Paolini
A Formal Model for Multi SPLs. FSEN (2017)
Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus. Log. Methods Comput. Sci. 13 (4) (2017)
Luca Paolini, Mauro Piccolo, Luca Roversi
A Class of Reversible Primitive Recursive Functions. Electron. Notes Theor. Comput. Sci. 322 (2016)
Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca
Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus. CoRR (2016)
Marco Gaboardi, Luca Paolini, Mauro Piccolo
On the reification of semantic linearity. Math. Struct. Comput. Sci. 26 (5) (2016)
Luca Paolini, Mauro Piccolo, Luca Roversi
A Certified Study of a Reversible Programming Language. TYPES (2015)
Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini
From Featured Transition Systems to Modal Transition Systems with Variability Constraints. SEFM (2015)
Giulio Guerrieri, Luca Paolini, Simona Ronchi Della Rocca
Standardization of a Call-By-Value Lambda-Calculus. TLCA (2015)
Silvia Ghilezan, Luca Paolini
Preface. Fundam. Informaticae 121 (1-4) (2012)
Beniamino Accattoli, Luca Paolini
Call-by-Value Solvability, Revisited. FLOPS (2012)
Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
Strong normalization from an unusual point of view. Theor. Comput. Sci. 412 (20) (2011)
Marco Gaboardi, Luca Paolini, Mauro Piccolo
Linearity and PCF: a semantic insight! ICFP (2011)
Luca Paolini, Mauro Piccolo, Simona Ronchi Della Rocca
Logical Semantics for Stability. MFPS (2009)
Luca Paolini, Mauro Piccolo
A Process-Model for Linear Programs. TYPES (2008)
Luca Paolini
Parametric lambda -theories. Theor. Comput. Sci. 398 (1-3) (2008)
Luca Paolini, Mauro Piccolo
Semantically linear programming languages. PPDP (2008)
Luca Paolini
A stable programming language. Inf. Comput. 204 (3) (2006)
Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
An Operational Characterization of Strong Normalization. FoSSaCS (2006)
Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca
Lazy Strong Normalization. Electron. Notes Theor. Comput. Sci. 136 (2005)
Luca Paolini, Simona Ronchi Della Rocca
Parametric parameter passing Lambda-calculus. Inf. Comput. 189 (1) (2004)
Luca Paolini, Simona Ronchi Della Rocca
Lazy Logical Semantics. Electron. Notes Theor. Comput. Sci. 104 (2004)
Luca Paolini
Call-by-Value Separability and Computability. ICTCS (2001)
Luca Paolini, Simona Ronchi Della Rocca
Call-by-value Solvability. RAIRO Theor. Informatics Appl. 33 (6) (1999)