Termination Tests inside lambda-Calculus. - Corrado Böhm; Mario Coppo; Mariangiola Dezani-Ciancaglini (ICALP, 1977)

(Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Simona Ronchi Della Rocca (ICALP, 1978)

A new type assignment for λ-terms. - Mario Coppo; Mariangiola Dezani-Ciancaglini (Arch. Math. Log., 1978)

Functional Characterization of Some Semantic Equalities inside Lambda-Calculus. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Patrick Sallé (ICALP, 1979)

An Extended Polymorphic Type System for Applicative Languages. - Mario Coppo (MFCS, 1980)

An extension of the basic functionality theory for the λ-calculus. - Mario Coppo; Mariangiola Dezani-Ciancaglini (Notre Dame J. Formal Log., 1980)

Functional Characters of Solvable Terms. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Betti Venneri (Math. Log. Q., 1981)

Applicative Information Systems. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Giuseppe Longo (CAAP, 1983)

Completeness Results for a Polymorphic Type System. - Mario Coppo; Elio Giovannetti (CAAP, 1983)

On the Semantics of Polymorphism. - Mario Coppo (Acta Informatica, 1983)

A Filter Lambda Model and the Completeness of Type Assignment. - Henk Barendregt; Mario Coppo; Mariangiola Dezani-Ciancaglini (J. Symb. Log., 1983)

Completeness of Type Assignment in Continuous Lambda Models. - Mario Coppo (Theor. Comput. Sci., 1984)

A Completeness Theorem for Recursively Defined Types. - Mario Coppo (ICALP, 1985)

Type inference and logical relations - Mario Coppo; Maddalena Zacchi (LICS, 1986)

Type Theories, Normal Forms and D_ infty-Lambda-Models - Mario Coppo; Mariangiola Dezani-Ciancaglini; Maddalena Zacchi (Inf. Comput., 1987)

Type Inference with Recursive Types: Syntax and Semantics - Felice Cardone; Mario Coppo (Inf. Comput., 1991)

A Complete Type Inference Algorithm for Simple Intersection Types. - Mario Coppo; Paola Giannini (CAAP, 1992)

Type Inference, Abstract Interpretation and Strictness Analysis. - Mario Coppo; Alberto Ferrari (Theor. Comput. Sci., 1993)

Principal Types and Unification for a Simple Intersection Type System - Mario Coppo; Paola Giannini (Inf. Comput., 1995)

Refinement Types for Program Analysis. - Mario Coppo; Ferruccio Damiani; Paola Giannini (SAS, 1996)

On Strictness and Totality. - Mario Coppo; Ferruccio Damiani; Paola Giannini (TACS, 1997)

Type-Based Useless-Code Elimination for Functional Programs. - Stefano Berardi; Mario Coppo; Ferruccio Damiani; Paola Giannini (SAIG, 2000)

Type Inference with Recursive Type Equations. - Mario Coppo (FoSSaCS, 2001)

Incremental Inference of Partial Types. - Mario Coppo; Daniel Hirschkoff (ICTCS, 2001)

A Fully Abstract Model for Mobile Ambients. - Mario Coppo; Mariangiola Dezani-Ciancaglini (TOSCA, 2001)

A Fully Abstract Model for Higher-Order Mobile Ambients. - Mario Coppo; Mariangiola Dezani-Ciancaglini (VMCAI, 2002)

Strictness, totality, and non-standard-type inference. - Mario Coppo; Ferruccio Damiani; Paola Giannini (Theor. Comput. Sci., 2002)

Decidability Properties of Recursive Types. - Felice Cardone; Mario Coppo (ICTCS, 2003)

Mobility Types for Mobile Processes in Mobile Ambients. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Elio Giovannetti; Ivano Salvo (CATS, 2003)

Dynamic and Local Typing for Mobile Ambients. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Elio Giovannetti; Rosario Pugliese (IFIP TCS, 2004)

Preface. - Mario Coppo; Ferruccio Damiani (ITRS, 2004)

A Mobility Calculus with Local and Dependent Types. - Mario Coppo; Federico Cozzi; Mariangiola Dezani-Ciancaglini; Elio Giovannetti; Rosario Pugliese (Processes, Terms and Cycles, 2005)

Asynchronous Session Types and Progress for Object Oriented Languages. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Nobuko Yoshida (FMOODS, 2007)

Global Progress in Dynamically Interleaved Multiparty Sessions. - Lorenzo Bettini; Mario Coppo; Loris D'Antoni; Marco De Luca; Mariangiola Dezani-Ciancaglini; Nobuko Yoshida (CONCUR, 2008)

Structured Communications with Concurrent Constraints. - Mario Coppo; Mariangiola Dezani-Ciancaglini (TGC, 2008)

Types for ambient and process mobility. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Elio Giovannetti (Math. Struct. Comput. Sci., 2008)

Foreword. - Mario Coppo; Elena Lodi; G. Michele Pinna (Theory Comput. Syst., 2008)

Modelling an Ammonium Transporter with SCLS. - Mario Coppo; Ferruccio Damiani; Elena Grassi; Mike Guether; Angelo Troina (COMPMOD, 2009)

Amalgamating sessions and methods in object-oriented languages with generics. - Sara Capecchi; Mario Coppo; Mariangiola Dezani-Ciancaglini; Sophia Drossopoulou; Elena Giachino (Theor. Comput. Sci., 2009)

Stochastic Calculus of Wrapped Compartments - Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Angelo Troina (QAPL, 2010)

Hybrid Calculus of Wrapped Compartments - Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Eva Sciacca; Salvatore Spinella; Angelo Troina (MeCBIC, 2010)

On Parallelizing On-Line Statistics for Stochastic Biological Simulations. - Marco Aldinucci; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Eva Sciacca; Salvatore Spinella; Massimo Torquati; Angelo Troina (Euro-Par Workshops (2), 2011)

On Designing Multicore-Aware Simulators for Biological Systems. - Marco Aldinucci; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Massimo Torquati; Angelo Troina (PDP, 2011)

Constraints for Service Contracts. - Maria Grazia Buscemi; Mario Coppo; Mariangiola Dezani-Ciancaglini; Ugo Montanari (TGC, 2011)

A Spatial Calculus of Wrapped Compartments - Livio Bioglio; Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Eva Sciacca; Salvatore Spinella; Angelo Troina (CoRR, 2011)

Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments - Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Eva Sciacca; Salvatore Spinella; Angelo Troina (CompMod, 2011)

Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis. - Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Mike Guether; Angelo Troina (Trans. Comp. Sys. Biology, 2011)

Toward Isomorphism of Intersection and Union types. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Ines Margaria; Maddalena Zacchi (ITRS, 2012)

Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations. - Eva Sciacca; Salvatore Spinella; Cristina Calcagno; Ferruccio Damiani; Mario Coppo (CS2Bio, 2012)

Simulation techniques for the calculus of wrapped compartments. - Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Eva Sciacca; Salvatore Spinella; Angelo Troina (Theor. Comput. Sci., 2012)

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Luca Padovani; Nobuko Yoshida (COORDINATION, 2013)

Parallel Stochastic Simulators in System Biology: The Evolution of the Species. - Marco Aldinucci; Maurizio Drocco; Fabio Tordini; Mario Coppo; Massimo Torquati (PDP, 2013)

Isomorphism of "Functional" Intersection Types. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Ines Margaria; Maddalena Zacchi (TYPES, 2013)

Self-Adaptive Monitors for Multiparty Sessions. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Betti Venneri (PDP, 2014)

Parallel stochastic systems biology in the cloud. - Marco Aldinucci; Massimo Torquati; Concetto Spampinato; Maurizio Drocco; Claudia Misale; Cristina Calcagno; Mario Coppo (Briefings Bioinform., 2014)

On Isomorphism of "Functional" Intersection and Union Types. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Ines Margaria; Maddalena Zacchi (ITRS, 2014)

A Gentle Introduction to Multiparty Asynchronous Session Types. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Luca Padovani; Nobuko Yoshida (SFM, 2015)

Partial and Complete Processes in Multiparty Sessions. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Ines Margaria; Maddalena Zacchi (ICTCS, 2015)

Self-adaptive multiparty sessions. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Betti Venneri (Serv. Oriented Comput. Appl., 2015)

Retractions in Intersection Types. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Alejandro Díaz-Caro; Ines Margaria; Maddalena Zacchi (ITRS, 2016)

Parallel Monitors for Self-adaptive Sessions. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Betti Venneri (PLACES, 2016)

Global progress for dynamically interleaved multiparty sessions. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Nobuko Yoshida; Luca Padovani (Math. Struct. Comput. Sci., 2016)

Data-driven adaptation for smart sessions. - Viviana Bono; Mario Coppo; Mariangiola Dezani-Ciancaglini; Betti Venneri (J. Log. Algebraic Methods Program., 2017)

Isomorphism of intersection and union types. - Mario Coppo; Mariangiola Dezani-Ciancaglini; Ines Margaria; Maddalena Zacchi (Math. Struct. Comput. Sci., 2017)

Modelling Biological and Ecological Systems with the Calculus of Wrapped Compartments. - Marco Aldinucci; Livio Bioglio; Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Pablo Ramón; Eva Sciacca; Salvatore Spinella; Angelo Troina (CoRR, 2022)