CINECA IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 88
Titolo Data di pubblicazione Autore(i) File
Isomorphism of intersection and union types 2017 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena
Data-driven adaptation for smart sessions 2017 Bono, Viviana; Coppo, Mario; Dezani, Mariangiola; Venneri, Betti
Global Progress for Dynamically Interleaved Multiparty Sessions 2016 Mario Coppo; Mariangiola Dezani; Nobuko Yoshida; Luca Padovani
Partial and Complete Processes in Multiparty Sessions 2015 Coppo, Mario; Dezani, Mariangiola; Margaria, Ines; Zacchi, Maddalena
On Isomorphism of "Functional" Intersection and Union Types. 2015 Coppo, Mario; Dezani-Ciancaglini, Mariangiola; Margaria, Ines; Zacchi, Maddalena
A gentle introduction to multiparty asynchronous session types 2015 -
Isomorphism of "Functional" Intersection Types 2014 M. Coppo;M. Dezani;I. Margaria;M. Zacchi
Self-adaptive multiparty sessions 2014 Mario Coppo;Mariangiola Dezani;Betti Venneri
Parallel stochastic systems biology in the cloud 2014 Marco Aldinucci; Massimo Torquati; Concetto Spampinato; Maurizio Drocco; Claudia Misale; Cristina Calcagno; Mario Coppo
Self-Adaptive Monitors for Multiparty Sessions 2014 M. Coppo;M. Dezani-Ciancaglini;B. Venneri
On Designing Multicore-Aware Simulators for Systems Biology Endowed with OnLine Statistics 2014 Marco Aldinucci;Cristina Calcagno;Mario Coppo;Ferruccio Damiani;Maurizio Drocco;Eva Sciacca;Salvatore Spinella;Massimo Torquati;Angelo Troina
Parameter Identification and Assessment of Nutrient Transporters in AM Symbiosis through Stochastic Simulations 2013 Eva Sciacca;Salvatore Spinella;Cristina Calcagno;Ferruccio Damiani;Mario Coppo
Parallel Stochastic Simulators in System Biology: The Evolution of the Species 2013 Marco Aldinucci; Maurizio Drocco; Fabio Tordini; Mario Coppo; Massimo Torquati
Part II, Recursive types 2013 Henk Barendregt; Wil Dekkers; Richard Statman; Felice Cardone; Mario Coppo
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions 2013 Coppo, Mario; Dezani, Mariangiola; Padovani, Luca; Nobuko, Yoshida
Toward Isomorphism of Intersection and Union Types 2013 Mario Coppo; Mariangiola Dezani; Ines Margaria; Maddalena Zacchi
Simulation techniques for the calculus of wrapped compartments 2012 Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Eva Sciacca; Salvatore Spinella; Angelo Troina
On Parallelizing On-Line Statistics for Stochastic Biological Simulations 2012 Marco Aldinucci; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Eva Sciacca; Salvatore Spinella; Massimo Torquati; Angelo Troina
Constraints for Service Contracts 2012 Maria Grazia Buscemi; Mario Coppo; Mariangiola Dezani; Ugo Montanari
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
Mostrati risultati da 1 a 20 di 88
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile