|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| Mario Coppo | |
|---|---|
| Personal Home Page Type-Hierarchical Overview | |
| Chronological Overview | |
| 2012 | |
| Buscemi, Coppo, Dezani-Ciancaglini and Montanari | "Constraints for Service Contracts" In proceedings. |
| 2011 | |
| Aldinucci, Coppo, Damiani, Drocco, Sciacca, Spinella, Torquati and Troina | "On Parallelizing On-Line Statistics for Stochastic Biological Simulations" In proceedings. |
| Bioglio, Calcagno, Coppo, Damiani, Sciacca, Spinella and Troina | "A Spatial Calculus of Wrapped Compartments" In proceedings. |
| Calcagno, Coppo, Damiani, Drocco, Sciacca, Spinella and Troina | "Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments" In proceedings. |
| 2010 | |
| Coppo, Damiani, Drocco, Grassi, Sciacca, Spinella and Troina | "Hybrid Calculus of Wrapped Compartments" In proceedings. |
| Coppo, Damiani, Drocco, Grassi and Troina | "Stochastic Calculus of Wrapped Compartment" In proceedings: Workshop QAPL (affiliated with ETAPS 2010). |
| 2009 | |
| Capecchi, Coppo, Dezani-Ciancaglini, Drossopoulou and Giachino | "Amalgamating Sessions and Methods in Object Oriented Languages with Generics" Article. |
| Coppo, Damiani, Grassi, Guether and Troina | "Modelling an Ammonium Transporter with SCLS" In proceedings: Workshop CompMod 2009 (affiliated with FM 2009), EPTCS (http://published.eptcs.org/). |
| Coppo and Dezani-Ciancaglini | "Structured Communications with Concurrent Constraints" In proceedings. |
| 2008 | |
| Bettini, Coppo, D'Antoni, De Luca, Dezani-Ciancaglini and Yoshida | "Global Progress in Dynamically Interleaved Multiparty Sessions" In proceedings. |
| Coppo, Dezani-Ciancaglini and Giovannetti | "Types for Ambient and Process Mobility" Article. |
| 2007 | |
| Coppo, Dezani-Ciancaglini and Yoshida | "Asynchronous Session Types and Progress for Object-Oriented Languages" In proceedings. |
| Drossopoulou, Dezani-Ciancaglini and Coppo | "Amalgamating the Session Types and the Object Oriented Programming Paradigms" In proceedings. |
| 2005 | |
| Coppo, Cozzi, Dezani-Ciancaglini, Giovannetti and Pugliese | "A Mobility Calculus with Local and Dependent Types" In proceedings. |
| Coppo and Damiani | "International Workshop on Intersection Types and Related Systems (ITRS 2004)" Conference proceedings: ENTCS, volume 136, Elsevier. |
| 2004 | |
| Berardi, Coppo and Damiani | "Types for Proofs and Programs (International Workshop TYPES'03, Selected Papers)" Book: LNCS, volume 3085, Springer. |
| Coppo, Dezani-Ciancaglini, Giovannetti and Pugliese | "Dynamic and Local Typing for Mobile Ambients" In proceedings. |
| 2003 | |
| Coppo, Dezani-Ciancaglini, Giovannetti and Salvo | "M3: Mobility Types for Mobile Processes in Mobile Ambients" In proceedings. |
| 2002 | |
| Coppo and Dezani-Ciancaglini | "A Fully Abstract Model for Higher-Order Mobile Ambients" In proceedings. |
| Coppo and Dezani-Ciancaglini | "A Fully Abstract Model for Mobile Ambients" In proceedings. |
| Coppo, Damiani and Giannini | "Strictness, totality, and non-standard type inference" Article: Theoretical Computer Science, 272(1-2):69-112. |
| 2001 | |
| Coppo and Hirschoff | "Incremental Inference of Partial Types" In proceedings. |
| Coppo | "Type Inference with Recursive Type Equations" In proceedings. |
| 2000 | |
| Berardi, Coppo, Damiani and Giannini | "Type-Based Useless-Code Elimination for Functional Programs" In proceedings: Workshop SAIG'00, LNCS 1924, pages 172-189, Springer. |
| 1998 | |
| Coppo, Damiani and Giannini | "Inference based analysis of functional programs: dead-code and strictness" In a collection: Theories of Types and Proofs, MSJ-Memoir, volume 2, pages 143-176, Mathematical Society of Japan. |
| Coppo | "Recursive types: the syntactic and semantic approaches" In a collection. |
| 1997 | |
| Coppo, Damiani and Giannini | "On Strictness and Totality" In proceedings: TACS'97, LNCS 1281, pages 138-164, Springer. |
| 1996 | |
| Berardi and Coppo | "Types for Proofs and Programs 95'" Book. |
| Coppo, Damiani and Giannini | "Refinement Types for Program Analysis" In proceedings: SAS'96, LNCS 1145, pages 143-158, Springer. |
| 1995 | |
| Berardi and Coppo | "Types for Proofs and Programs (International Workshop TYPES'95, Selected Papers)" Book. |
| Coppo and Giannini | "Principal Types and Unification For a Simple Intersection Type System " Article. |
| 1992 | |
| Coppo and Giannini | "A Complete Type Inference Algorithm for Simple Intersection Types" In proceedings. |
| 1984 | |
| Coppo, Dezani-Ciancaglini, Honsell and Longo | "Extended Type Structures and Filter Lambda Models" In proceedings. |
| 1983 | |
| Barendregt, Coppo and Dezani-Ciancaglini | "A Filter Lambda Model and the Completeness of Type Assignment" Article. |
| 1978 | |
| Coppo, Dezani-Ciancaglini and Ronchi Della Rocca | "Semi-Separability of Finite Sets of Terms in Scott's -models of -calculus" In proceedings. |
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)