Types for Proofs and Programs: International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers von Berardi, Stefano, Coppo, Mario, Damiani, Ferruccio

Volltext

Types for Proofs and Programs: International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers von Berardi, Stefano, Coppo, Mario

Volltext

Parallel Monitors for Self-adaptive Sessions von Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Venneri, Betti

Volltext

Retractions in Intersection Types von Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Díaz-Caro, Alejandro, Margaria, Ines, Zacchi, Maddalena

Volltext

Global progress for dynamically interleaved multiparty sessions von COPPO, MARIO, DEZANI-CIANCAGLINI, MARIANGIOLA, YOSHIDA, NOBUKO, PADOVANI, LUCA

Volltext

On Isomorphism of "Functional" Intersection and Union Types von Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Margaria, Ines, Zacchi, Maddalena

Volltext

Toward Isomorphism of Intersection and Union types von Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Margaria, Ines, Zacchi, Maddalena

Volltext

Stochastic Calculus of Wrapped Compartments von Coppo, Mario, Damiani, Ferruccio, Drocco, Maurizio, Grassi, Elena, Troina, Angelo

Volltext

Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments von Calcagno, Cristina, Coppo, Mario, Damiani, Ferruccio, Drocco, Maurizio, Sciacca, Eva, Spinella, Salvatore, Troina, Angelo

Volltext

Self-adaptive multiparty sessions von Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Venneri, Betti

Volltext

Hybrid Calculus of Wrapped Compartments von Coppo, Mario, Damiani, Ferruccio, Drocco, Maurizio, Grassi, Elena, Sciacca, Eva, Spinella, Salvatore, Troina, Angelo

Volltext

Modelling an Ammonium Transporter with SCLS von Coppo, Mario, Damiani, Ferruccio, Grassi, Elena, Guether, Mike, Troina, Angelo

Volltext

Isomorphism of intersection and union types von COPPO, MARIO, DEZANI-CIANCAGLINI, MARIANGIOLA, MARGARIA, INES, ZACCHI, MADDALENA

Volltext

Theoretical Computer Science: 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings von Coppo, Mario, Lodi, Elena, Pinna, G. Michele

Volltext

Data-driven adaptation for smart sessions von Bono, Viviana, Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Venneri, Betti

Volltext

A Gentle Introduction to Multiparty Asynchronous Session Types von Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Padovani, Luca, Yoshida, Nobuko

Volltext

Parallel stochastic systems biology in the cloud von Aldinucci, Marco, Torquati, Massimo, Spampinato, Concetto, Drocco, Maurizio, Misale, Claudia, Calcagno, Cristina, Coppo, Mario

Volltext

Simulation techniques for the calculus of wrapped compartments von Coppo, Mario, Damiani, Ferruccio, Drocco, Maurizio, Grassi, Elena, Sciacca, Eva, Spinella, Salvatore, Troina, Angelo

Volltext

Amalgamating sessions and methods in object-oriented languages with generics von Capecchi, Sara, Coppo, Mario, Dezani-Ciancaglini, Mariangiola, Drossopoulou, Sophia, Giachino, Elena

Volltext

On Designing Multicore-Aware Simulators for Systems Biology Endowed with OnLine Statistics von Torquati, Massimo, Troina, Angelo, Aldinucci, Marco, Spinella, Salvatore, Sciacca, Eva, Drocco, Maurizio, Calcagno, Cristina, Coppo, Mario, Damiani, Ferruccio

Volltext