| 2014 | PDP | Self-Adaptive Monitors for Multiparty Sessions. | Mario Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri |
| 2013 | Coordination | Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions. | Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani, Nobuko Yoshida |
| 2013 | PDP | Parallel Stochastic Simulators in System Biology: The Evolution of the Species. | Marco Aldinucci, Maurizio Drocco, Fabio Tordini, Mario Coppo, Massimo Torquati |
| 2011 | EuroPar | 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 |
| 2011 | PDP | On Designing Multicore-Aware Simulators for Biological Systems. | Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Massimo Torquati, Angelo Troina |
| 2008 | CONCUR | Global Progress in Dynamically Interleaved Multiparty Sessions. | Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida |
| 2002 | VMCAI | A Fully Abstract Model for Higher-Order Mobile Ambients. | Mario Coppo, Mariangiola Dezani-Ciancaglini |
| 2001 | FOSSACS | Type Inference with Recursive Type Equations. | Mario Coppo |
| 1996 | SAS | Refinement Types for Program Analysis. | Mario Coppo, Ferruccio Damiani, Paola Giannini |
| 1986 | LICS | Type inference and logical relations | Mario Coppo, Maddalena Zacchi |
| 1985 | ICALP | A Completeness Theorem for Recursively Defined Types. | Mario Coppo |
| 1980 | MFCS | An Extended Polymorphic Type System for Applicative Languages. | Mario Coppo |
| 1979 | ICALP | Functional Characterization of Some Semantic Equalities inside Lambda-Calculus. | Mario Coppo, Mariangiola Dezani-Ciancaglini, Patrick Sall |
| 1978 | ICALP | (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 |
| 1977 | ICALP | Termination Tests inside lambda-Calculus. | Corrado Bhm, Mario Coppo, Mariangiola Dezani-Ciancaglini |