TROINA, ANGELO

TROINA, ANGELO  

INFORMATICA  

Mostra records
Risultati 1 - 17 di 17 (tempo di esecuzione: 0.02 secondi).
Titolo Data di pubblicazione Autore(i) File
A Calculus of Looping Sequences for Modelling Microbiological Systems 2005 R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA
A Probabilistic Calculus for Molecular Systems 2004 R. BARBUTI; S. CATAUDELLA; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA
A Probabilistic Formulation of Imperfect Cryptography 2003 A. TROINA; A. ALDINI; R. GORRIERI
A Spatial Calculus of Wrapped Compartments 2011 Livio Bioglio; Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Eva Sciacca; Salvatore Spinella; Angelo Troina
A Type System for Required/Excluded Elements in CLS 2009 Mariangiola Dezani; Paola Giannini; Angelo Troina
An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions 2005 R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA
Hybrid Calculus of Wrapped Compartments 2010 Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Eva Sciacca; Salvatore Spinella; Angelo Troina
Modelling an Ammonium Transporter with SCLS 2009 Mario Coppo; Ferruccio Damiani; Elena Grassi; Mike Guether; Angelo Troina
Modelling Ecological Systems with the Calculus of Wrapped Compartments 2012 P. Ramón; A. 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
On designing multicore-aware simulators for biological systems 2011 Marco Aldinucci; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Massimo Torquati; Angelo Troina
Rate-Based Stochastic Fusion Calculus and Continuous Time Markov Chains 2012 G. Ciobanu; A. Troina
Simulation and Bisimulation for Probabilistic Timed Automata 2010 J. SPROSTON; A. TROINA
Stochastic Calculus of Wrapped Compartments 2010 M. Coppo; F. Damiani; M. Drocco; E. Grassi; A. Troina
Type Disciplines for Analysing Biologically Relevant Properties 2009 Bogdan Aman; Mariangiola Dezani; Angelo Troina
Types for BioAmbients 2010 Sara Capecchi; Angelo Troina
Verification of Hybrid Automata by Synthesis and Refinement 2004 R. LANOTTE; A. MAGGIOLO-SCHETTINI; S. TINI; A. TROINA