Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

Luca Paolini
Personal Home Page      Type-Hierarchical Overview
 
Chronological Overview 

2020
Matos, Paolini and Roversi"On the Expressivity of Total Reversible Programming Languages"
In proceedings.
Matos, Paolini and Roversi"The fixed point problem of a simple reversible language"
Article.
Paolini, Piccolo and Roversi"A class of Recursive Permutations which is Primitive Recursive complete"
Article.

2019
ter Beek, Damiani, Gnesi, Mazzanti and Paolini"On the expressiveness of modal transition systems with variability constraints"
Article.
ter Beek, Damiani, Lienhardt, Mazzanti and Paolini"Static Analysis of Featured Transition Systems"
In proceedings.
Damiani, Lienhardt and Paolini"A formal model for Multi Software Product Lines"
Article.
Damiani, Lienhardt and Paolini"Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form"
Article.
Paolini, Piccolo and Zorzi"QPCF: Higher-Order Languages and Quantum Circuits"
Article.
Paolini, Roversi and Zorzi"Quantum Programming Made Easy"
In proceedings.

2018
Lienhardt, Damiani, Donetti and Paolini"Multi Software Product Lines in the Wild"
In proceedings: ACM Proceedings.
Paolini, Piccolo and Roversi"A Certified Study of a Reversible Programming Language"
In proceedings: LIPIcs.
Paolini, Piccolo and Roversi"On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions"
Article: New Generation Computing.
Paolini, Piccolo and Zorzi"QPCF: higher order languages and quantum circuits"
Technical report.
Paolini, Roversi and Zorzi"Quantum programming made easy"
In proceedings.

2017
Damiani, Lienhardt and Paolini" A Formal Model for Multi SPLs "
In proceedings: Lecture Notes in Computer Science.
Damiani, Lienhardt and Paolini"A Formal Model for Multi SPLs"
In proceedings: IPM Pre-proceedings.
Guerrieri, Paolini and Ronchi Della Rocca"Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus"
Article: Logical Methods in Computer Science.
Paolini, Piccolo and Luca"A class of Recursive Permutations which is Primitive Recursive complete"
Technical report.
Paolini, Piccolo and Ronchi Della Rocca"Essential and relational models"
Article: Mathematical Structures in Computer Science.
Paolini"Foundational principles of reversible and quantum computing: Quantum Computing"
Unpublished.
Paolini and Zorzi"qPCF: a language for quantum circuit computations"
In proceedings: Lecture Notes in Computer Science.

2016
Gaboardi, Paolini and Piccolo"On the reification of semantic linearity"
Article: Mathematical Structures in Computer Science.
Paolini, Piccolo and Roversi"A Class of Reversible Primitive Recursive Functions"
Article: Electronic Notes in Theoretical Computer Science.
Paolini, Piccolo and Roversi"A Class of Reversible Primitive Recursive Functions"
Article.

2015
ter Beek, Damiani, Gnesi, Mazzanti and Paolini"From Featured Transition Systems to Modal Transition Systems with Variability Constraints"
In proceedings: LNCS.
Guerrieri, Paolini and Ronchi Della Rocca"Standardization for a Call-by-Value Lambda-Calculus"
In proceedings: LIPIcs.
Paolini, Piccolo and Roversi"Big and Small-step Operational Semantics of the Reversible Programming Language Janus"
Technical report.

2013
Graham-Lengrand and Paolini"Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012"
Conference proceedings.

2012
Accattoli and Paolini"Call-by-Value Solvability, Revisited"
In proceedings: LNCS.
Ghilezan and Paolini"Revised Papers of the Conference "Intersection Types and Related Systems", Torino, Italia, 2008"
Conference proceedings: Fundamenta Informaticæ Special Issue .

2011
Gaboardi, Paolini and Piccolo"Linearity and PCF: a semantic insight!"
In proceedings: ICFP 2011.
Paolini, Pimentel and Ronchi Della Rocca"Strong Normalization from an unusual point of view"
Article: Theoretical Computer Science.

2010
Baillot, Curien and Paolini"Selected Papers of the Conference "Typed Lambda Calculi and Applications 2009", Brasilia, Brazil, 2009"
Conference proceedings: LMCS Special Issue .

2009
Paolini and Piccolo"A Process-Model for Linear Programs"
In proceedings.
Paolini"Call-by-value lambda-calculus"
Unpublished.
Paolini, Piccolo and Ronchi Della Rocca"Logical Semantics for Stability"
In proceedings: MFPS 2009.
Paolini"Parametric Lambda Calculus. A meta-calculus for computation"
Unpublished.

2008
Paolini and Piccolo"Linear Programming Languages"
Unpublished.
Paolini"Parametric λ-Theories"
Article: Theoretical Computer Science.
Paolini and Piccolo"Semantically Linear Programming Languages"
In proceedings: PPDP 2008.

2007
Gaboardi and Paolini"Syntactical, Operational and Denotational Linearity"
In proceedings.
Gaboardi and Paolini"Syntactical, Operational and Denotational Linearity"
In proceedings.
Paolini"Denotational Paradigms"
Unpublished.

2006
Paolini"A Stable Programming Language"
Article: Information and Computation.
Paolini, Pimentel and Ronchi Della Rocca"An Operational Characterization of Strong Normalization"
In proceedings: FOSSACS 2006.
Paolini"Semantics of PCF and the full abstraction problem"
Unpublished.

2005
Paolini, Pimentel and Ronchi Della Rocca"Lazy strong normalization"
In proceedings: Intersection Types and Related Systems 2004.

2004
Paolini and Ronchi Della Rocca"A fully abstract model for the lazy lambda-calculus"
In proceedings: ISDT'04.
Paolini"Lambda-theories: some investigations"
PhD thesis: Università degli Studi di Genova and Université de la Méditerranée (Aix-Marseille II).
Paolini and Ronchi Della Rocca"Lazy Logical Semantics"
In proceedings: Electronic Notes in Theoretical Computer Science.
Paolini and Ronchi Della Rocca"Parametric parameter passing lambda-calculus"
Article: Information and Computation.
Ronchi Della Rocca and Paolini"The Parametric λ-Calculus: a Metamodel for Computation"
Book: Springer Monography.

2002
Paolini"Call-by-Value Separability and Computability"
In proceedings: 7th Italian Conference in Theoretical Computer Science.

2000
Paolini"Élements de Ludique"
Master's thesis: DEA en Mathématiques Discrètes et Fondements de l'Informatique.

1999
Paolini and Ronchi Della Rocca"Call-by-value Solvability"
Article: Theoretical Informatics and Applications, RAIRO Series, EDP-Sciences.

1998
Paolini"La chiamata per Valore e La valutazione pigra nel λ-calcolo"
Master's thesis: Tesi di Laurea in Scienza dell'Informazione.

 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!