Mario Coppo

According to our database, Mario Coppo authored at least 65 papers between 1977 and 2022.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2022

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

2017

Isomorphism of intersection and union types.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi

Math. Struct. Comput. Sci., 2017

Data-driven adaptation for smart sessions.

Viviana Bono, Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri

J. Log. Algebraic Methods Program., 2017

2016

Global progress for dynamically interleaved multiparty sessions.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani

Math. Struct. Comput. Sci., 2016

Parallel Monitors for Self-adaptive Sessions.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri

Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016

Retractions in Intersection Types.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi

Proceedings of the Proceedings Eighth Workshop on Intersection Types and Related Systems, 2016

2015

Self-adaptive multiparty sessions.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri

Serv. Oriented Comput. Appl., 2015

Partial and Complete Processes in Multiparty Sessions.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi

Proceedings of the 16th Italian Conference on Theoretical Computer Science, 2015

A Gentle Introduction to Multiparty Asynchronous Session Types.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida

Proceedings of the Formal Methods for Multicore Programming, 2015

2014

On Isomorphism of "Functional" Intersection and Union Types.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi

Proceedings of the Proceedings Seventh Workshop on Intersection Types and Related Systems, 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

Self-Adaptive Monitors for Multiparty Sessions.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

2013

Isomorphism of "Functional" Intersection Types.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi

Proceedings of the 19th International Conference on Types for Proofs and Programs, 2013

Parallel Stochastic Simulators in System Biology: The Evolution of the Species.

Marco Aldinucci, Maurizio Drocco, Fabio Tordini, Mario Coppo, Massimo Torquati

Proceedings of the 21st Euromicro International Conference on Parallel, 2013

Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida

Proceedings of the Coordination Models and Languages, 15th International Conference, 2013

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

Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations.

Eva Sciacca, Salvatore Spinella, Cristina Calcagno, Ferruccio Damiani, Mario Coppo

Proceedings of the Third International Workshop on Interactions Between Computer Science and Biology, 2012

Toward Isomorphism of Intersection and Union types.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi

Proceedings of the Proceedings Sixth Workshop on Intersection Types and Related Systems, 2012

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

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

Proceedings of the Proceedings Third International Workshop on Computational Models for Cell Processes, 2011

A Spatial Calculus of Wrapped Compartments

Livio Bioglio, Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Eva Sciacca, Salvatore Spinella, Angelo Troina

CoRR, 2011

Constraints for Service Contracts.

Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Ugo Montanari

Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

On Designing Multicore-Aware Simulators for Biological Systems.

Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Massimo Torquati, Angelo Troina

Proceedings of the 19th International Euromicro Conference on Parallel, 2011

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

Proceedings of the Euro-Par 2011: Parallel Processing Workshops - CCPI, CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS, ProPer, Resilience, UCHPC, VHPC, Bordeaux, France, August 29, 2011

2010

Hybrid Calculus of Wrapped Compartments

Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Eva Sciacca, Salvatore Spinella, Angelo Troina

Proceedings of the Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2010

Stochastic Calculus of Wrapped Compartments

Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Angelo Troina

Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

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

Modelling an Ammonium Transporter with SCLS.

Mario Coppo, Ferruccio Damiani, Elena Grassi, Mike Guether, Angelo Troina

Proceedings of the Proceedings Second International Workshop on Computational Models for Cell Processes, 2009

2008

Foreword.

Mario Coppo, Elena Lodi, G. Michele Pinna

Theory Comput. Syst., 2008

Types for ambient and process mobility.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti

Math. Struct. Comput. Sci., 2008

Structured Communications with Concurrent Constraints.

Mario Coppo, Mariangiola Dezani-Ciancaglini

Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

Global Progress in Dynamically Interleaved Multiparty Sessions.

Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida

Proceedings of the CONCUR 2008 - Concurrency Theory, 19th International Conference, 2008

2007

Asynchronous Session Types and Progress for Object Oriented Languages.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2007

2005

A Mobility Calculus with Local and Dependent Types.

Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese

Proceedings of the Processes, 2005

2004

Preface.

Mario Coppo, Ferruccio Damiani

Proceedings of the Third International Workshop on Intersection Types and Related Systems, 2004

Dynamic and Local Typing for Mobile Ambients.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2003

Mobility Types for Mobile Processes in Mobile Ambients.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo

Proceedings of the Computing: the Australasian Theory Symposiumm, 2003

Decidability Properties of Recursive Types.

Felice Cardone, Mario Coppo

Proceedings of the Theoretical Computer Science, 8th Italian Conference, 2003

2002

Strictness, totality, and non-standard-type inference.

Mario Coppo, Ferruccio Damiani, Paola Giannini

Theor. Comput. Sci., 2002

A Fully Abstract Model for Higher-Order Mobile Ambients.

Mario Coppo, Mariangiola Dezani-Ciancaglini

Proceedings of the Verification, 2002

2001

A Fully Abstract Model for Mobile Ambients.

Mario Coppo, Mariangiola Dezani-Ciancaglini

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

Incremental Inference of Partial Types.

Mario Coppo, Daniel Hirschkoff

Proceedings of the Theoretical Computer Science, 7th Italian Conference, 2001

Type Inference with Recursive Type Equations.

Mario Coppo

Proceedings of the Foundations of Software Science and Computation Structures, 2001

2000

Type-Based Useless-Code Elimination for Functional Programs.

Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini

Proceedings of the Semantics, 2000

1997

On Strictness and Totality.

Mario Coppo, Ferruccio Damiani, Paola Giannini

Proceedings of the Theoretical Aspects of Computer Software, Third International Symposium, 1997

1996

Refinement Types for Program Analysis.

Mario Coppo, Ferruccio Damiani, Paola Giannini

Proceedings of the Static Analysis, Third International Symposium, 1996

1995

Principal Types and Unification for a Simple Intersection Type System

Mario Coppo, Paola Giannini

Inf. Comput., October, 1995

1993

Type Inference, Abstract Interpretation and Strictness Analysis.

Mario Coppo, Alberto Ferrari

Theor. Comput. Sci., 1993

1992

A Complete Type Inference Algorithm for Simple Intersection Types.

Mario Coppo, Paola Giannini

Proceedings of the CAAP '92, 1992

1991

Type Inference with Recursive Types: Syntax and Semantics

Felice Cardone, Mario Coppo

Inf. Comput., May, 1991

1987

Type Theories, Normal Forms and D_\infty-Lambda-Models

Mario Coppo, Mariangiola Dezani-Ciancaglini, Maddalena Zacchi

Inf. Comput., February, 1987

1986

Type inference and logical relations

Mario Coppo, Maddalena Zacchi

Proceedings of the Symposium on Logic in Computer Science (LICS '86), 1986

1985

A Completeness Theorem for Recursively Defined Types.

Mario Coppo

Proceedings of the Automata, 1985

1984

Completeness of Type Assignment in Continuous Lambda Models.

Mario Coppo

Theor. Comput. Sci., 1984

1983

A Filter Lambda Model and the Completeness of Type Assignment.

Henk Barendregt, Mario Coppo, Mariangiola Dezani-Ciancaglini

J. Symb. Log., 1983

On the Semantics of Polymorphism.

Mario Coppo

Acta Informatica, 1983

Completeness Results for a Polymorphic Type System.

Mario Coppo, Elio Giovannetti

Proceedings of the CAAP'83, 1983

Applicative Information Systems.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Giuseppe Longo

Proceedings of the CAAP'83, 1983

1981

Functional Characters of Solvable Terms.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri

Math. Log. Q., 1981

1980

An extension of the basic functionality theory for the λ-calculus.

Mario Coppo, Mariangiola Dezani-Ciancaglini

Notre Dame J. Formal Log., 1980

An Extended Polymorphic Type System for Applicative Languages.

Mario Coppo

Proceedings of the Mathematical Foundations of Computer Science 1980 (MFCS'80), 1980

1979

Functional Characterization of Some Semantic Equalities inside Lambda-Calculus.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sallé

Proceedings of the Automata, 1979

1978

A new type assignment for λ-terms.

Mario Coppo, Mariangiola Dezani-Ciancaglini

Arch. Math. Log., 1978

(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

Proceedings of the Automata, 1978

1977

Termination Tests inside lambda-Calculus.

Corrado Böhm, Mario Coppo, Mariangiola Dezani-Ciancaglini

Proceedings of the Automata, 1977