|
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. |
|
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)