TROINA, ANGELO
TROINA, ANGELO
INFORMATICA
1st International Workshop on Interactions between Computer Science and Biology (CS2Bio'10)
2010-01-01 Jean Krivine; Angelo Troina
A Calculus of Looping Sequences for Modelling Microbiological Systems
2006-01-01 R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA
A Calculus of Looping Sequences for Modelling Microbiological Systems
2005-01-01 R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA
A Calculus of Looping Sequences with Local Rules
2012-01-01 L. Bioglio; M. Dezani-Ciancaglini; P. Giannini; A. Troina
A Classification of Time and/or Probability Dependent Security Properties
2006-01-01 R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA
A Formalism for the Description of Protein Interaction
2010-01-01 Roberto Barbuti; Mariangiola Dezani; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina
A Methodology for the Stochastic Modelling and Simulation of Sympatric Speciation by Sexual Selection
2009-01-01 R. Barbuti; A. Maggiolo-Schettini; P. Milazzo; A. Troina
A Probabilistic Applied Pi-Calculus
2007-01-01 J. GOUBAULT-LARRECQ; C. PALAMIDESSI; 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 Probabilistic Model for Molecular Systems
2005-01-01 R. BARBUTI; S. CATAUDELLA; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA
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 a Stochastic CLS
2009-01-01 Mariangiola Dezani-Ciancaglini; Paola Giannini; 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
Approximating Imperfect Cryptography in a Formal Model
2004-01-01 A. TROINA; A. ALDINI; R. GORRIERI
Automatic Analysis of a Non-Repudiation Protocol
2005-01-01 R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA
Automatic Analysis of the NRL Pump
2004-01-01 R. LANOTTE; A. MAGGIOLO-SCHETTINI; S. TINI; A. TROINA; E. TRONCI
Automatic Covert Channel Analysis of a Multilevel Secure Component
2004-01-01 R. LANOTTE; A. MAGGIOLO-SCHETTINI; S. TINI; A. TROINA; E. TRONCI
Bisimulation Congruences in the Calculus of Looping Sequences
2006-01-01 R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 1st International Workshop on Interactions between Computer Science and Biology (CS2Bio'10) | 2010 | Jean Krivine; Angelo Troina | |
| A Calculus of Looping Sequences for Modelling Microbiological Systems | 2006 | R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA | |
| A Calculus of Looping Sequences for Modelling Microbiological Systems | 2005 | R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA | |
| A Calculus of Looping Sequences with Local Rules | 2012 | L. Bioglio; M. Dezani-Ciancaglini; P. Giannini; A. Troina | |
| A Classification of Time and/or Probability Dependent Security Properties | 2006 | R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA | |
| A Formalism for the Description of Protein Interaction | 2010 | Roberto Barbuti; Mariangiola Dezani; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina | |
| A Methodology for the Stochastic Modelling and Simulation of Sympatric Speciation by Sexual Selection | 2009 | R. Barbuti; A. Maggiolo-Schettini; P. Milazzo; A. Troina | |
| A Probabilistic Applied Pi-Calculus | 2007 | J. GOUBAULT-LARRECQ; C. PALAMIDESSI; 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 Probabilistic Model for Molecular Systems | 2005 | R. BARBUTI; S. CATAUDELLA; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA | |
| 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 a Stochastic CLS | 2009 | Mariangiola Dezani-Ciancaglini; Paola Giannini; 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 | |
| Approximating Imperfect Cryptography in a Formal Model | 2004 | A. TROINA; A. ALDINI; R. GORRIERI | |
| Automatic Analysis of a Non-Repudiation Protocol | 2005 | R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA | |
| Automatic Analysis of the NRL Pump | 2004 | R. LANOTTE; A. MAGGIOLO-SCHETTINI; S. TINI; A. TROINA; E. TRONCI | |
| Automatic Covert Channel Analysis of a Multilevel Secure Component | 2004 | R. LANOTTE; A. MAGGIOLO-SCHETTINI; S. TINI; A. TROINA; E. TRONCI | |
| Bisimulation Congruences in the Calculus of Looping Sequences | 2006 | R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA |