Luca Paolini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
16
Venues
11
Active years
2006–2023
Best venue rank
B
Where they publish
Papers
16 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | SPLC | Deltas for Functional Programs with Algebraic Data Types. | Ferruccio Damiani, Eduard Kamburjan, Michael Lienhardt, Luca Paolini |
| 2021 | RC | Splitting Recursion Schemes into Reversible and Classical Interacting Threads. | Armando B. Matos, Luca Paolini, Luca Roversi |
| 2021 | SPLC | Static analysis and family-based model checking with VMC. | Maurice H. ter Beek, Franco Mazzanti, Ferruccio Damiani, Luca Paolini, Giordano Scarso, Michael Lienhardt |
| 2021 | SPLC | 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 |
| 2021 | SPLC | Variability modules for Java-like languages. | Ferruccio Damiani, Reiner Hhnle, Eduard Kamburjan, Michael Lienhardt, Luca Paolini |
| 2020 | ICTAC | On Two Characterizations of Feature Models. | Ferruccio Damiani, Michael Lienhardt, Luca Paolini |
| 2020 | ISoLA | On Slicing Software Product Line Signatures. | Ferruccio Damiani, Michael Lienhardt, Luca Paolini |
| 2020 | RC | On the Expressivity of Total Reversible Programming Languages. | Armando B. Matos, Luca Paolini, Luca Roversi |
| 2019 | IFM | Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints. | Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini |
| 2019 | SPLC | Static analysis of featured transition systems. | Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, Luca Paolini |
| 2017 | TAMC | qPCF: A Language for Quantum Circuit Computations. | Luca Paolini, Margherita Zorzi |
| 2015 | SEFM | From Featured Transition Systems to Modal Transition Systems with Variability Constraints. | Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, Luca Paolini |
| 2012 | FLOPS | Call-by-Value Solvability, Revisited. | Beniamino Accattoli, Luca Paolini |
| 2011 | ICFP | Linearity and PCF: a semantic insight! | Marco Gaboardi, Luca Paolini, Mauro Piccolo |
| 2008 | PPDP | Semantically linear programming languages. | Luca Paolini, Mauro Piccolo |
| 2006 | FOSSACS | An Operational Characterization of Strong Normalization. | Luca Paolini, Elaine Pimentel, Simona Ronchi Della Rocca |