Mario Coppo

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