
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 TypeHierarchical 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 deltaoriented SPLs to removefree form and replacefree form" Article. 
Paolini, Piccolo and Zorzi  "QPCF: HigherOrder 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 TuringComplete 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 Preproceedings. 
Guerrieri, Paolini and Ronchi Della Rocca  "Standardization and Conservativity of a Refined CallbyValue lambdaCalculus" 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 CallbyValue LambdaCalculus" In proceedings: LIPIcs. 
Paolini, Piccolo and Roversi  "Big and Smallstep Operational Semantics of the Reversible Programming Language Janus" Technical report. 
2013  
GrahamLengrand and Paolini  "Proceedings Sixth Workshop on Intersection Types and Related Systems, ITRS 2012, Dubrovnik, Croatia, 29th June 2012" Conference proceedings. 
2012  
Accattoli and Paolini  "CallbyValue 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 ProcessModel for Linear Programs" In proceedings. 
Paolini  "Callbyvalue lambdacalculus" Unpublished. 
Paolini, Piccolo and Ronchi Della Rocca  "Logical Semantics for Stability" In proceedings: MFPS 2009. 
Paolini  "Parametric Lambda Calculus. A metacalculus for computation" Unpublished. 
2008  
Paolini and Piccolo  "Linear Programming Languages" Unpublished. 
Paolini  "Parametric $\lambda $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 lambdacalculus" In proceedings: ISDT'04. 
Paolini  "Lambdatheories: some investigations" PhD thesis: Università degli Studi di Genova and Université de la Méditerranée (AixMarseille 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 lambdacalculus" Article: Information and Computation. 
Ronchi Della Rocca and Paolini  "The Parametric $\lambda $Calculus: a Metamodel for Computation" Book: Springer Monography. 
2002  
Paolini  "CallbyValue 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  "Callbyvalue Solvability" Article: Theoretical Informatics and Applications, RAIRO Series, EDPSciences. 
1998  
Paolini  "La chiamata per Valore e La valutazione pigra nel $\lambda $calcolo" Master's thesis: Tesi di Laurea in Scienza dell'Informazione. 

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)