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