COPPO, Mario
COPPO, Mario
INFORMATICA
A modular multi-microprocessor oriented for real-time controls
1979-01-01 M. Coppo;A. Giordana
A Spatial Calculus of Wrapped Compartments
2011-01-01 Livio Bioglio; Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Eva Sciacca; Salvatore Spinella; Angelo Troina
Amalgamating the Session Types and the Object Oriented Programming Paradigms
2007-01-01 S. DROSSOPOULOU; M. DEZANI; M. COPPO
Completeness Results for a Polymorphic Type System
1983-01-01 Mario Coppo; Elio Giovannetti
Constraints for Service Contracts
2012-01-01 Maria Grazia Buscemi; Mario Coppo; Mariangiola Dezani; Ugo Montanari
Decidability Properties of Recursive Types
2003-01-01 Felice Cardone; Mario Coppo
Dynamic and Local Typing for Mobile Ambients
2004-01-01 M. COPPO; M. DEZANI; E. GIOVANNETTI ; R. PUGLIESE
Global Progress in Dynamically Interleaved Multiparty Sessions
2008-01-01 Lorenzo Bettini; Mario Coppo; Loris D'Antoni; Marco De Luca; Mariangiola Dezani; Nobuko Yoshida
Hybrid Calculus of Wrapped Compartments
2010-01-01 Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Eva Sciacca; Salvatore Spinella; Angelo Troina
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions
2013-01-01 Coppo, Mario; Dezani, Mariangiola; Padovani, Luca; Nobuko, Yoshida
Isomorphism of "Functional" Intersection Types
2014-01-01 M. Coppo;M. Dezani;I. Margaria;M. Zacchi
Modelling an Ammonium Transporter with SCLS
2009-01-01 Mario Coppo; Ferruccio Damiani; Elena Grassi; Mike Guether; Angelo Troina
Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments
2011-01-01 C. Calcagno; M. Coppo; F. Damiani; M. Drocco; E. Sciacca; S. Spinella; A. Troina
Multiprocessor architecture for microcomputer-based controls
1979-01-01 M. Coppo;A. Giordana
On designing multicore-aware simulators for biological systems
2011-01-01 Marco Aldinucci; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Massimo Torquati; Angelo Troina
On Isomorphism of "Functional" Intersection and Union Types.
2015-01-01 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena
On strictness and totality
1997-01-01 Coppo, Mario; Damiani, Ferruccio; Giannini, Paola
Parallel Stochastic Simulators in System Biology: The Evolution of the Species
2013-01-01 Marco Aldinucci; Maurizio Drocco; Fabio Tordini; Mario Coppo; Massimo Torquati
Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations
2013-01-01 Eva Sciacca;Salvatore Spinella;Cristina Calcagno;Ferruccio Damiani;Mario Coppo
Partial and Complete Processes in Multiparty Sessions
2015-01-01 Coppo, Mario; Dezani, Mariangiola; Margaria, Ines; Zacchi, Maddalena
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A modular multi-microprocessor oriented for real-time controls | 1979 | M. Coppo;A. Giordana | |
| A Spatial Calculus of Wrapped Compartments | 2011 | Livio Bioglio; Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Eva Sciacca; Salvatore Spinella; Angelo Troina | |
| Amalgamating the Session Types and the Object Oriented Programming Paradigms | 2007 | S. DROSSOPOULOU; M. DEZANI; M. COPPO | |
| Completeness Results for a Polymorphic Type System | 1983 | Mario Coppo; Elio Giovannetti | |
| Constraints for Service Contracts | 2012 | Maria Grazia Buscemi; Mario Coppo; Mariangiola Dezani; Ugo Montanari | |
| Decidability Properties of Recursive Types | 2003 | Felice Cardone; Mario Coppo | |
| Dynamic and Local Typing for Mobile Ambients | 2004 | M. COPPO; M. DEZANI; E. GIOVANNETTI ; R. PUGLIESE | |
| Global Progress in Dynamically Interleaved Multiparty Sessions | 2008 | Lorenzo Bettini; Mario Coppo; Loris D'Antoni; Marco De Luca; Mariangiola Dezani; Nobuko Yoshida | |
| Hybrid Calculus of Wrapped Compartments | 2010 | Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Eva Sciacca; Salvatore Spinella; Angelo Troina | |
| Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions | 2013 | Coppo, Mario; Dezani, Mariangiola; Padovani, Luca; Nobuko, Yoshida | |
| Isomorphism of "Functional" Intersection Types | 2014 | M. Coppo;M. Dezani;I. Margaria;M. Zacchi | |
| Modelling an Ammonium Transporter with SCLS | 2009 | Mario Coppo; Ferruccio Damiani; Elena Grassi; Mike Guether; Angelo Troina | |
| Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments | 2011 | C. Calcagno; M. Coppo; F. Damiani; M. Drocco; E. Sciacca; S. Spinella; A. Troina | |
| Multiprocessor architecture for microcomputer-based controls | 1979 | M. Coppo;A. Giordana | |
| On designing multicore-aware simulators for biological systems | 2011 | Marco Aldinucci; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Massimo Torquati; Angelo Troina | |
| On Isomorphism of "Functional" Intersection and Union Types. | 2015 | Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena | |
| On strictness and totality | 1997 | Coppo, Mario; Damiani, Ferruccio; Giannini, Paola | |
| Parallel Stochastic Simulators in System Biology: The Evolution of the Species | 2013 | Marco Aldinucci; Maurizio Drocco; Fabio Tordini; Mario Coppo; Massimo Torquati | |
| Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations | 2013 | Eva Sciacca;Salvatore Spinella;Cristina Calcagno;Ferruccio Damiani;Mario Coppo | |
| Partial and Complete Processes in Multiparty Sessions | 2015 | Coppo, Mario; Dezani, Mariangiola; Margaria, Ines; Zacchi, Maddalena |