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 
Mario Coppo
Personal Home Page      Type-Hierarchical Overview
 
Chronological Overview 

2017
Bono, Coppo, Dezani-Ciancaglini and Venneri"Data-driven Adaptation for Smart Sessions"
Article.
Coppo, Dezani-Ciancaglini, Margaria and Zacchi"Isomorphism of Intersection and Union Types"
Article.
Coppo, Dezani-Ciancaglini, Díaz-Caro, Margaria and Zacchi"Retractions in Intersection Types"
In proceedings.

2016
Coppo, Dezani-Ciancaglini, Yoshida and Padovani"Global Progress for Dynamically Interleaved Multiparty Sessions"
Article.
Coppo, Dezani-Ciancaglini and Venneri"Parallel Monitors for Self-adaptive Sessions"
In proceedings.
Coppo, Dezani-Ciancaglini, Margaria and Zacchi"Partial and Complete Processes in Multiparty Sessions"
In proceedings.

2015
Coppo, Dezani-Ciancaglini, Padovani and Yoshida"A Gentle Introduction to Multiparty Asynchronous Session Types"
In proceedings.
Coppo, Dezani-Ciancaglini, Margaria and Zacchi"On Isomorphism of ``Functional'' Intersection and Union Types"
In proceedings.
Coppo, Dezani-Ciancaglini and Venneri"Self-Adaptive Multiparty Sessions"
Article.

2014
Aldinucci, Calcagno, Coppo, Damiani, Drocco, Sciacca, Spinella, Torquati and Troina"On designing multicore-aware simulators for systems biology endowed with on-line statistics"
Article.
Aldinucci, Torquati, Spampinato, Drocco, Misale, Calcagno and Coppo"Parallel stochastic systems biology in the cloud"
Article.
Coppo, Dezani-Ciancaglini, Margaria and Zacchi"Isomorphism of "Functional" Intersection Types"
In proceedings.
Coppo, Dezani-Ciancaglini and Venneri"Self-Adaptive Monitors for Multiparty Sessions"
In proceedings.

2013
Aldinucci, Tordini, Drocco, Torquati and Coppo"Parallel stochastic simulators in system biology: the evolution of the species"
In proceedings.
Coppo, Dezani-Ciancaglini, Padovani and Yoshida"Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions"
In proceedings.
Coppo, Dezani-Ciancaglini, Margaria and Zacchi"Towards Isomorphism of Intersection and Union Types"
In proceedings.
Sciacca, Spinella, Calcagno, Damiani and Coppo"Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations"
Article.

2012
Aldinucci, Coppo, Damiani, Drocco, Sciacca, Spinella, Torquati and Troina"On Parallelizing On-Line Statistics for Stochastic Biological Simulations"
In proceedings.
Buscemi, Coppo, Dezani-Ciancaglini and Montanari"Constraints for Service Contracts"
In proceedings.
Coppo, Damiani, Drocco, Grassi, Sciacca, Spinella and Troina"Simulation techniques for the calculus of wrapped compartments"
Article.

2011
Aldinucci, Coppo, Damiani, Drocco, Torquati and Troina"On Designing Multicore-Aware Simulators for Biological Systems"
In proceedings.
Aldinucci, Coppo, Damiani, Drocco, Sciacca, Spinella, Torquati and Troina"On Parallelizing On-Line Statistics for Stochastic Biological Simulations"
In proceedings.
Bioglio, Calcagno, Coppo, Damiani, Sciacca, Spinella and Troina"A Spatial Calculus of Wrapped Compartments"
In proceedings.
Calcagno, Coppo, Damiani, Drocco, Sciacca, Spinella and Troina"Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments"
In proceedings.

2010
Aldinucci, Coppo, Damiani, Drocco, Torquati and Troina"On Designing Multicore-Aware Simulators for Biological Systems"
Technical report.
Coppo, Damiani, Drocco, Grassi, Sciacca, Spinella and Troina"Hybrid Calculus of Wrapped Compartments"
In proceedings.
Coppo, Damiani, Drocco, Grassi and Troina"Stochastic Calculus of Wrapped Compartment"
In proceedings: Workshop QAPL (affiliated with ETAPS 2010).

2009
Capecchi, Coppo, Dezani-Ciancaglini, Drossopoulou and Giachino"Amalgamating Sessions and Methods in Object Oriented Languages with Generics"
Article.
Coppo, Damiani, Grassi, Guether and Troina"Modelling an Ammonium Transporter with SCLS"
In proceedings: Workshop CompMod 2009 (affiliated with FM 2009), EPTCS (http://published.eptcs.org/).
Coppo and Dezani-Ciancaglini"Structured Communications with Concurrent Constraints"
In proceedings.

2008
Bettini, Coppo, D'Antoni, De Luca, Dezani-Ciancaglini and Yoshida"Global Progress in Dynamically Interleaved Multiparty Sessions"
In proceedings.
Coppo, Dezani-Ciancaglini and Giovannetti"Types for Ambient and Process Mobility"
Article.

2007
Coppo, Dezani-Ciancaglini and Yoshida"Asynchronous Session Types and Progress for Object-Oriented Languages"
In proceedings.
Drossopoulou, Dezani-Ciancaglini and Coppo"Amalgamating the Session Types and the Object Oriented Programming Paradigms"
In proceedings.

2005
Coppo, Cozzi, Dezani-Ciancaglini, Giovannetti and Pugliese"A Mobility Calculus with Local and Dependent Types"
In proceedings.
Coppo and Damiani"International Workshop on Intersection Types and Related Systems (ITRS 2004)"
Conference proceedings: ENTCS, volume 136, Elsevier.

2004
Berardi, Coppo and Damiani"Types for Proofs and Programs (International Workshop TYPES'03, Selected Papers)"
Book: LNCS, volume 3085, Springer.
Coppo, Dezani-Ciancaglini, Giovannetti and Pugliese"Dynamic and Local Typing for Mobile Ambients"
In proceedings.

2003
Coppo, Dezani-Ciancaglini, Giovannetti and Salvo"M3: Mobility Types for Mobile Processes in Mobile Ambients"
In proceedings.

2002
Coppo and Dezani-Ciancaglini"A Fully Abstract Model for Higher-Order Mobile Ambients"
In proceedings.
Coppo and Dezani-Ciancaglini"A Fully Abstract Model for Mobile Ambients"
In proceedings.
Coppo, Damiani and Giannini"Strictness, totality, and non-standard type inference"
Article: Theoretical Computer Science, 272(1-2):69-112.

2001
Coppo and Hirschoff"Incremental Inference of Partial Types"
In proceedings.
Coppo"Type Inference with Recursive Type Equations"
In proceedings.

2000
Berardi, Coppo, Damiani and Giannini"Type-Based Useless-Code Elimination for Functional Programs"
In proceedings: Workshop SAIG'00, LNCS 1924, pages 172-189, Springer.

1998
Coppo, Damiani and Giannini"Inference based analysis of functional programs: dead-code and strictness"
In a collection: Theories of Types and Proofs, MSJ-Memoir, volume 2, pages 143-176, Mathematical Society of Japan.
Coppo"Recursive types: the syntactic and semantic approaches"
In a collection.

1997
Coppo, Damiani and Giannini"On Strictness and Totality"
In proceedings: TACS'97, LNCS 1281, pages 138-164, Springer.

1996
Berardi and Coppo"Types for Proofs and Programs 95'"
Book.
Coppo, Damiani and Giannini"Refinement Types for Program Analysis"
In proceedings: SAS'96, LNCS 1145, pages 143-158, Springer.

1995
Berardi and Coppo"Types for Proofs and Programs (International Workshop TYPES'95, Selected Papers)"
Book.
Coppo and Giannini"Principal Types and Unification For a Simple Intersection Type System "
Article.

1992
Coppo and Giannini"A Complete Type Inference Algorithm for Simple Intersection Types"
In proceedings.

1984
Coppo, Dezani-Ciancaglini, Honsell and Longo"Extended Type Structures and Filter Lambda Models"
In proceedings.

1983
Barendregt, Coppo and Dezani-Ciancaglini"A Filter Lambda Model and the Completeness of Type Assignment"
Article.

1981
Coppo, Dezani-Ciancaglini and Venneri"Functional Characters of Solvable Terms"
Article.

1980
Coppo, Dezani-Ciancaglini and Venneri"Principal Type Schemes and Lambda-calculus Semantics"
In a collection.

1978
Coppo, Dezani-Ciancaglini and Ronchi Della Rocca"Semi-Separability of Finite Sets of Terms in Scott's D∞-models of λ-calculus"
In proceedings.
 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!