Mario Coppo

Publication Activity (10 Years)

Years Active: 1977-2022
Publications (10 Years): 7

Top Topics

Systems Biology

Gene Duplication

Human Communication

Top Venues

Math. Struct. Comput. Sci.

Electron. Notes Theor. Comput. Sci.

Publications

Marco Aldinucci, Livio Bioglio, Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Pablo Ramón, Eva Sciacca, Salvatore Spinella, Angelo Troina
Modelling Biological and Ecological Systems with the Calculus of Wrapped Compartments. CoRR (2022)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
Isomorphism of intersection and union types. Math. Struct. Comput. Sci. 27 (5) (2017)
Viviana Bono, Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
Data-driven adaptation for smart sessions. J. Log. Algebraic Methods Program. 90 (2017)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
Partial and Complete Processes in Multiparty Sessions. Electron. Notes Theor. Comput. Sci. 322 (2016)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
Parallel Monitors for Self-adaptive Sessions. PLACES (2016)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi
Retractions in Intersection Types. ITRS (2016)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani
Global progress for dynamically interleaved multiparty sessions. Math. Struct. Comput. Sci. 26 (2) (2016)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
Self-adaptive multiparty sessions. Serv. Oriented Comput. Appl. 9 (3-4) (2015)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida
A Gentle Introduction to Multiparty Asynchronous Session Types. SFM (2015)
Marco Aldinucci, Massimo Torquati, Concetto Spampinato, Maurizio Drocco, Claudia Misale, Cristina Calcagno, Mario Coppo
Parallel stochastic systems biology in the cloud. Briefings Bioinform. 15 (5) (2014)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
On Isomorphism of "Functional" Intersection and Union Types. ITRS (2014)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
Self-Adaptive Monitors for Multiparty Sessions. PDP (2014)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. COORDINATION (2013)
Eva Sciacca, Salvatore Spinella, Cristina Calcagno, Ferruccio Damiani, Mario Coppo
Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations. Electron. Notes Theor. Comput. Sci. 293 (2013)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
Isomorphism of "Functional" Intersection Types. TYPES (2013)
Marco Aldinucci, Maurizio Drocco, Fabio Tordini, Mario Coppo, Massimo Torquati
Parallel Stochastic Simulators in System Biology: The Evolution of the Species. PDP (2013)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi
Toward Isomorphism of Intersection and Union types. ITRS (2012)
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Eva Sciacca, Salvatore Spinella, Angelo Troina
Simulation techniques for the calculus of wrapped compartments. Theor. Comput. Sci. 431 (2012)
Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Ugo Montanari
Constraints for Service Contracts. TGC (2011)
Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Eva Sciacca, Salvatore Spinella, Massimo Torquati, Angelo Troina
On Parallelizing On-Line Statistics for Stochastic Biological Simulations. Euro-Par Workshops (2) (2011)
Livio Bioglio, Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Eva Sciacca, Salvatore Spinella, Angelo Troina
A Spatial Calculus of Wrapped Compartments CoRR (2011)
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Mike Guether, Angelo Troina
Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis. Trans. Comp. Sys. Biology 13 (2011)
Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Eva Sciacca, Salvatore Spinella, Angelo Troina
Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments CompMod (2011)
Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Massimo Torquati, Angelo Troina
On Designing Multicore-Aware Simulators for Biological Systems. PDP (2011)
Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Massimo Torquati, Angelo Troina
On Designing Multicore-aware Simulators for Biological Systems CoRR (2010)
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Angelo Troina
Stochastic Calculus of Wrapped Compartments QAPL (2010)
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Eva Sciacca, Salvatore Spinella, Angelo Troina
Hybrid Calculus of Wrapped Compartments MeCBIC (2010)
Sara Capecchi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino
Amalgamating sessions and methods in object-oriented languages with generics. Theor. Comput. Sci. 410 (2-3) (2009)
Mario Coppo, Ferruccio Damiani, Elena Grassi, Mike Guether, Angelo Troina
Modelling an Ammonium Transporter with SCLS. COMPMOD (2009)
Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
Global Progress in Dynamically Interleaved Multiparty Sessions. CONCUR (2008)
Mario Coppo, Mariangiola Dezani-Ciancaglini
Structured Communications with Concurrent Constraints. TGC (2008)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti
Types for ambient and process mobility. Math. Struct. Comput. Sci. 18 (2) (2008)
Mario Coppo, Elena Lodi, G. Michele Pinna
Foreword. Theory Comput. Syst. 42 (3) (2008)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida
Asynchronous Session Types and Progress for Object Oriented Languages. FMOODS (2007)
Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
A Mobility Calculus with Local and Dependent Types. Processes, Terms and Cycles (2005)
Mario Coppo, Ferruccio Damiani
Preface. Electron. Notes Theor. Comput. Sci. 136 (2005)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese
Dynamic and Local Typing for Mobile Ambients. IFIP TCS (2004)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo
Mobility Types for Mobile Processes in Mobile Ambients. Electron. Notes Theor. Comput. Sci. 78 (2003)
Felice Cardone, Mario Coppo
Decidability Properties of Recursive Types. ICTCS (2003)
Mario Coppo, Ferruccio Damiani, Paola Giannini
Strictness, totality, and non-standard-type inference. Theor. Comput. Sci. 272 (1-2) (2002)
Mario Coppo, Mariangiola Dezani-Ciancaglini
A Fully Abstract Model for Higher-Order Mobile Ambients. VMCAI (2002)
Mario Coppo, Daniel Hirschkoff
Incremental Inference of Partial Types. ICTCS (2001)
Mario Coppo, Mariangiola Dezani-Ciancaglini
A Fully Abstract Model for Mobile Ambients. Electron. Notes Theor. Comput. Sci. 62 (2001)
Mario Coppo
Type Inference with Recursive Type Equations. FoSSaCS (2001)
Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini
Type-Based Useless-Code Elimination for Functional Programs. SAIG (2000)
Mario Coppo, Ferruccio Damiani, Paola Giannini
On Strictness and Totality. TACS (1997)
Mario Coppo, Ferruccio Damiani, Paola Giannini
Refinement Types for Program Analysis. SAS (1996)
Mario Coppo, Paola Giannini
Principal Types and Unification for a Simple Intersection Type System Inf. Comput. 122 (1) (1995)
Mario Coppo, Alberto Ferrari
Type Inference, Abstract Interpretation and Strictness Analysis. Theor. Comput. Sci. 121 (1&2) (1993)
Mario Coppo, Paola Giannini
A Complete Type Inference Algorithm for Simple Intersection Types. CAAP (1992)
Felice Cardone, Mario Coppo
Type Inference with Recursive Types: Syntax and Semantics Inf. Comput. 92 (1) (1991)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Maddalena Zacchi
Type Theories, Normal Forms and D_\infty-Lambda-Models Inf. Comput. 72 (2) (1987)
Mario Coppo, Maddalena Zacchi
Type inference and logical relations LICS (1986)
Mario Coppo
A Completeness Theorem for Recursively Defined Types. ICALP (1985)
Mario Coppo
Completeness of Type Assignment in Continuous Lambda Models. Theor. Comput. Sci. 29 (1984)
Mario Coppo
On the Semantics of Polymorphism. Acta Informatica 20 (1983)
Henk Barendregt, Mario Coppo, Mariangiola Dezani-Ciancaglini
A Filter Lambda Model and the Completeness of Type Assignment. J. Symb. Log. 48 (4) (1983)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Giuseppe Longo
Applicative Information Systems. CAAP (1983)
Mario Coppo, Elio Giovannetti
Completeness Results for a Polymorphic Type System. CAAP (1983)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri
Functional Characters of Solvable Terms. Math. Log. Q. 27 (2-6) (1981)
Mario Coppo, Mariangiola Dezani-Ciancaglini
An extension of the basic functionality theory for the λ-calculus. Notre Dame J. Formal Log. 21 (4) (1980)
Mario Coppo
An Extended Polymorphic Type System for Applicative Languages. MFCS (1980)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sallé
Functional Characterization of Some Semantic Equalities inside Lambda-Calculus. ICALP (1979)
Mario Coppo, Mariangiola Dezani-Ciancaglini
A new type assignment for λ-terms. Arch. Math. Log. 19 (1) (1978)
Mario Coppo, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca
(Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus. ICALP (1978)
Corrado Böhm, Mario Coppo, Mariangiola Dezani-Ciancaglini
Termination Tests inside lambda-Calculus. ICALP (1977)