Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Mario Coppo
2010 – today
- 2013
[j17]Eva Sciacca, Salvatore Spinella, Cristina Calcagno, Ferruccio Damiani, Mario Coppo: Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations. Electr. Notes Theor. Comput. Sci. 293: 83-96 (2013)- [c30]Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida: Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. COORDINATION 2013: 45-59
- [c29]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
- 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)
- 2011
- [j15]Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Mike Guether, Angelo Troina: Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis. T. Comp. Sys. Biology 13: 85-109 (2011)
- [c28]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
- [c27]Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Massimo Torquati, Angelo Troina: On Designing Multicore-Aware Simulators for Biological Systems. PDP 2011: 318-325
- [c26]Maria Grazia Buscemi, Mario Coppo, Mariangiola Dezani-Ciancaglini, Ugo Montanari: Constraints for Service Contracts. TGC 2011: 104-120
- [c25]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
- [c24]Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Angelo Troina: Stochastic Calculus of Wrapped Compartments. QAPL 2010: 82-98
- [c23]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)
- [c22]Mario Coppo, Ferruccio Damiani, Elena Grassi, Mike Guether, Angelo Troina: Modelling an Ammonium Transporter with SCLS. COMPMOD 2009: 77-92
- [e4]Alessandra Cherubini, Mario Coppo, Giuseppe Persiano (Eds.): Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings. 2009
- 2008
- [j13]Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti: Types for ambient and process mobility. Mathematical Structures in Computer Science 18(2): 221-290 (2008)
- [j12]
- [c21]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
- [c20]Mario Coppo, Mariangiola Dezani-Ciancaglini: Structured Communications with Concurrent Constraints. TGC 2008: 104-125
- 2007
- [c19]Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida: Asynchronous Session Types and Progress for Object Oriented Languages. FMOODS 2007: 1-31
- 2005
- [j11]
- [c18]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
- [e3]Mario Coppo, Elena Lodi, G. Michele Pinna (Eds.): 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
- 2004
- [c17]Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Rosario Pugliese: Dynamic and Local Typing for Mobile Ambients. IFIP TCS 2004: 577-590
- [e2]Stefano Berardi, Mario Coppo, Ferruccio Damiani (Eds.): 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
- 2003
- [j10]Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti, Ivano Salvo: Mobility Types for Mobile Processes in Mobile Ambients. Electr. Notes Theor. Comput. Sci. 78: 144-177 (2003)
- [c16]
- 2002
- [j9]Mario Coppo, Ferruccio Damiani, Paola Giannini: Strictness, totality, and non-standard-type inference. Theor. Comput. Sci. 272(1-2): 69-112 (2002)
- [c15]Mario Coppo, Mariangiola Dezani-Ciancaglini: A Fully Abstract Model for Higher-Order Mobile Ambients. VMCAI 2002: 255-271
- 2001
- [j8]Mario Coppo, Mariangiola Dezani-Ciancaglini: A Fully Abstract Model for Mobile Ambients. Electr. Notes Theor. Comput. Sci. 62: 177-194 (2001)
- [c14]
- [c13]
- 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]
- 1996
- [c10]Mario Coppo, Ferruccio Damiani, Paola Giannini: Refinement Types for Program Analysis. SAS 1996: 143-158
- [e1]Stefano Berardi, Mario Coppo (Eds.): 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
- 1995
- [j7]Mario Coppo, Paola Giannini: Principal Types and Unification for a Simple Intersection Type System. Inf. Comput. 122(1): 70-96 (1995)
- 1993
- [j6]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
- [j5]Felice Cardone, Mario Coppo: Type Inference with Recursive Types: Syntax and Semantics. Inf. Comput. 92(1): 48-80 (1991)
1980 – 1989
- 1987
- [j4]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]
- 1985
- [c7]
- 1984
- [j3]Mario Coppo: Completeness of Type Assignment in Continuous Lambda Models. Theor. Comput. Sci. 29: 309-324 (1984)
- 1983
- [j2]
- [j1]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
- 1980
- [c4]
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
- [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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-29 22:20 CEST by the dblp team