default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMario Coppo
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
[i3]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 abs/2212.07105 (2022)
2010 – 2019
- 2017
- [j21]Viviana Bono, Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri:
Data-driven adaptation for smart sessions. J. Log. Algebraic Methods Program. 90: 31-49 (2017) - [j20]Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi:
Isomorphism of intersection and union types. Math. Struct. Comput. Sci. 27(5): 603-625 (2017) - 2016
- [j19]Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Luca Padovani:
Global progress for dynamically interleaved multiparty sessions. Math. Struct. Comput. Sci. 26(2): 238-302 (2016) - [c42]Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri:
Parallel Monitors for Self-adaptive Sessions. PLACES 2016: 25-36 - [c41]Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi:
Retractions in Intersection Types. ITRS 2016: 31-47 - 2015
- [j18]Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri:
Self-adaptive multiparty sessions. Serv. Oriented Comput. Appl. 9(3-4): 249-268 (2015) - [c40]Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida:
A Gentle Introduction to Multiparty Asynchronous Session Types. SFM 2015: 146-178 - [c39]Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi:
Partial and Complete Processes in Multiparty Sessions. ICTCS 2015: 135-151 - 2014
- [j17]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): 798-813 (2014) - [c38]Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri:
Self-Adaptive Monitors for Multiparty Sessions. PDP 2014: 688-696 - [c37]Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi:
On Isomorphism of "Functional" Intersection and Union Types. ITRS 2014: 53-64 - 2013
- [c36]Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida:
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. COORDINATION 2013: 45-59 - [c35]Marco Aldinucci, Maurizio Drocco, Fabio Tordini, Mario Coppo, Massimo Torquati:
Parallel Stochastic Simulators in System Biology: The Evolution of the Species. PDP 2013: 410-419 - [c34]Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi:
Isomorphism of "Functional" Intersection Types. TYPES 2013: 129-149 - 2012
- [j16]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: 75-95 (2012) - [c33]Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi:
Toward Isomorphism of Intersection and Union types. ITRS 2012: 58-80 - [c32]Eva Sciacca, Salvatore Spinella, Cristina Calcagno, Ferruccio Damiani, Mario Coppo:
Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations. CS2Bio 2012: 83-96 - 2011
- [j15]Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Mike Guether, Angelo Troina:
Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis. Trans. Comp. Sys. Biology 13: 85-109 (2011) - [c31]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: 3-12 - [c30]Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Massimo Torquati, Angelo Troina:
On Designing Multicore-Aware Simulators for Biological Systems. PDP 2011: 318-325 - [c29]Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Ugo Montanari:
Constraints for Service Contracts. TGC 2011: 104-120 - [c28]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: 3-18 - [i2]Livio Bioglio, Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Eva Sciacca, Salvatore Spinella, Angelo Troina:
A Spatial Calculus of Wrapped Compartments. CoRR abs/1108.3426 (2011) - 2010
- [c27]Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Angelo Troina:
Stochastic Calculus of Wrapped Compartments. QAPL 2010: 82-98 - [c26]Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Eva Sciacca, Salvatore Spinella, Angelo Troina:
Hybrid Calculus of Wrapped Compartments. MeCBIC 2010: 102-120 - [i1]Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Massimo Torquati, Angelo Troina:
On Designing Multicore-aware Simulators for Biological Systems. CoRR abs/1010.2438 (2010)
2000 – 2009
- 2009
- [j14]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): 142-167 (2009) - [c25]Mario Coppo, Ferruccio Damiani, Elena Grassi, Mike Guether, Angelo Troina:
Modelling an Ammonium Transporter with SCLS. COMPMOD 2009: 77-92 - [e5]Alessandra Cherubini, Mario Coppo, Giuseppe Persiano:
Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings. 2009 [contents] - 2008
- [j13]Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti:
Types for ambient and process mobility. Math. Struct. Comput. Sci. 18(2): 221-290 (2008) - [j12]Mario Coppo, Elena Lodi, G. Michele Pinna:
Foreword. Theory Comput. Syst. 42(3): 287-288 (2008) - [c24]Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida:
Global Progress in Dynamically Interleaved Multiparty Sessions. CONCUR 2008: 418-433 - [c23]Mario Coppo, Mariangiola Dezani-Ciancaglini:
Structured Communications with Concurrent Constraints. TGC 2008: 104-125 - 2007
- [c22]Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida:
Asynchronous Session Types and Progress for Object Oriented Languages. FMOODS 2007: 1-31 - 2005
- [c21]Mario Coppo, Federico Cozzi, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese:
A Mobility Calculus with Local and Dependent Types. Processes, Terms and Cycles 2005: 404-444 - [e4]Mario Coppo, Elena Lodi, G. Michele Pinna:
Theoretical Computer Science, 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings. Lecture Notes in Computer Science 3701, Springer 2005, ISBN 3-540-29106-7 [contents] - [e3]Mario Coppo, Ferruccio Damiani:
Proceedings of the Third International Workshop on Intersection Types and Related Systems, ITRS 2004, Turku, Finland, July 13, 2004. Electronic Notes in Theoretical Computer Science 136, Elsevier 2005 [contents] - 2004
- [c20]Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese:
Dynamic and Local Typing for Mobile Ambients. IFIP TCS 2004: 577-590 - [c19]Mario Coppo, Ferruccio Damiani:
Preface. ITRS 2004: 1-2 - [e2]Stefano Berardi, Mario Coppo, Ferruccio Damiani:
Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers. Lecture Notes in Computer Science 3085, Springer 2004, ISBN 3-540-22164-6 [contents] - 2003
- [c18]Felice Cardone, Mario Coppo:
Decidability Properties of Recursive Types. ICTCS 2003: 242-255 - [c17]Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo:
Mobility Types for Mobile Processes in Mobile Ambients. CATS 2003: 144-177 - 2002
- [j11]Mario Coppo, Ferruccio Damiani, Paola Giannini:
Strictness, totality, and non-standard-type inference. Theor. Comput. Sci. 272(1-2): 69-112 (2002) - [c16]Mario Coppo, Mariangiola Dezani-Ciancaglini:
A Fully Abstract Model for Higher-Order Mobile Ambients. VMCAI 2002: 255-271 - 2001
- [c15]Mario Coppo:
Type Inference with Recursive Type Equations. FoSSaCS 2001: 184-198 - [c14]Mario Coppo, Daniel Hirschkoff:
Incremental Inference of Partial Types. ICTCS 2001: 50-73 - [c13]Mario Coppo, Mariangiola Dezani-Ciancaglini:
A Fully Abstract Model for Mobile Ambients. TOSCA 2001: 177-194 - 2000
- [c12]Stefano Berardi, Mario Coppo, Ferruccio Damiani, Paola Giannini:
Type-Based Useless-Code Elimination for Functional Programs. SAIG 2000: 172-189
1990 – 1999
- 1997
- [c11]Mario Coppo, Ferruccio Damiani, Paola Giannini:
On Strictness and Totality. TACS 1997: 138-164 - 1996
- [c10]Mario Coppo, Ferruccio Damiani, Paola Giannini:
Refinement Types for Program Analysis. SAS 1996: 143-158 - [e1]Stefano Berardi, Mario Coppo:
Types for Proofs and Programs, International Workshop TYPES'95, Torino, Italy, June 5-8, 1995, Selected Papers. Lecture Notes in Computer Science 1158, Springer 1996, ISBN 3-540-61780-9 [contents] - 1995
- [j10]Mario Coppo, Paola Giannini:
Principal Types and Unification for a Simple Intersection Type System. Inf. Comput. 122(1): 70-96 (1995) - 1993
- [j9]Mario Coppo, Alberto Ferrari:
Type Inference, Abstract Interpretation and Strictness Analysis. Theor. Comput. Sci. 121(1&2): 113-143 (1993) - 1992
- [c9]Mario Coppo, Paola Giannini:
A Complete Type Inference Algorithm for Simple Intersection Types. CAAP 1992: 102-123 - 1991
- [j8]Felice Cardone, Mario Coppo:
Type Inference with Recursive Types: Syntax and Semantics. Inf. Comput. 92(1): 48-80 (1991)
1980 – 1989
- 1987
- [j7]Mario Coppo, Mariangiola Dezani-Ciancaglini, Maddalena Zacchi:
Type Theories, Normal Forms and D_\infty-Lambda-Models. Inf. Comput. 72(2): 85-116 (1987) - 1986
- [c8]Mario Coppo, Maddalena Zacchi:
Type inference and logical relations. LICS 1986: 218-226 - 1985
- [c7]Mario Coppo:
A Completeness Theorem for Recursively Defined Types. ICALP 1985: 120-129 - 1984
- [j6]Mario Coppo:
Completeness of Type Assignment in Continuous Lambda Models. Theor. Comput. Sci. 29: 309-324 (1984) - 1983
- [j5]Mario Coppo:
On the Semantics of Polymorphism. Acta Informatica 20: 159-170 (1983) - [j4]Henk Barendregt, Mario Coppo, Mariangiola Dezani-Ciancaglini:
A Filter Lambda Model and the Completeness of Type Assignment. J. Symb. Log. 48(4): 931-940 (1983) - [c6]Mario Coppo, Mariangiola Dezani-Ciancaglini, Giuseppe Longo:
Applicative Information Systems. CAAP 1983: 35-64 - [c5]Mario Coppo, Elio Giovannetti:
Completeness Results for a Polymorphic Type System. CAAP 1983: 179-190 - 1981
- [j3]Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri:
Functional Characters of Solvable Terms. Math. Log. Q. 27(2-6): 45-58 (1981) - 1980
- [j2]Mario Coppo, Mariangiola Dezani-Ciancaglini:
An extension of the basic functionality theory for the λ-calculus. Notre Dame J. Formal Log. 21(4): 685-693 (1980) - [c4]Mario Coppo:
An Extended Polymorphic Type System for Applicative Languages. MFCS 1980: 194-204
1970 – 1979
- 1979
- [c3]Mario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sallé:
Functional Characterization of Some Semantic Equalities inside Lambda-Calculus. ICALP 1979: 133-146 - 1978
- [j1]Mario Coppo, Mariangiola Dezani-Ciancaglini:
A new type assignment for λ-terms. Arch. Math. Log. 19(1): 139-156 (1978) - [c2]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: 142-164 - 1977
- [c1]Corrado Böhm, Mario Coppo, Mariangiola Dezani-Ciancaglini:
Termination Tests inside lambda-Calculus. ICALP 1977: 95-110
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
