TROINA, ANGELO
TROINA, ANGELO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Angelo 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 for Modelling Microbiological Systems
2006 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 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 Troina, Angelo; Aldini, Alessandro; Gorrieri, Roberto
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
Bisimulations in Calculi Modelling Membranes
2008 R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA
Concurrency and Interaction in Complex Systems
2011 S. Ben Mokhtar; S. Bliudze; R. Bruni; A. Silva; A. Troina
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
A Calculus of Looping Sequences for Modelling Microbiological Systems | R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA | 2005-01-01 | - | Warsaw University | 4.01 Contributo in Atti di convegno | - |
A Calculus of Looping Sequences for Modelling Microbiological Systems | R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA | 2006-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
A Calculus of Looping Sequences with Local Rules | L. Bioglio; M. Dezani-Ciancaglini; P. Giannini; A. Troina | 2012-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | - | 1.04 Replica / breve intervento (e simili) | - |
A Classification of Time and/or Probability Dependent Security Properties | R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA | 2006-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
A Formalism for the Description of Protein Interaction | Roberto Barbuti; Mariangiola Dezani; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina | 2010-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
A Methodology for the Stochastic Modelling and Simulation of Sympatric Speciation by Sexual Selection | R. Barbuti; A. Maggiolo-Schettini; P. Milazzo; A. Troina | 2009-01-01 | JOURNAL OF BIOLOGICAL SYSTEMS | - | 1.01 Articolo in rivista | - |
A Probabilistic Applied Pi-Calculus | J. GOUBAULT-LARRECQ; C. PALAMIDESSI; A. TROINA | 2007-01-01 | LECTURE NOTES IN COMPUTER SCIENCE | Springer | 4.01 Contributo in Atti di convegno | - |
A Probabilistic Calculus for Molecular Systems | R. BARBUTI; S. CATAUDELLA; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA | 2004-01-01 | - | Humboldt-Univeristaet, Informatik-Berichte | 4.01 Contributo in Atti di convegno | - |
A Probabilistic Model for Molecular Systems | R. BARBUTI; S. CATAUDELLA; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA | 2005-01-01 | FUNDAMENTA INFORMATICAE | - | 1.01 Articolo in rivista | - |
A Spatial Calculus of Wrapped Compartments | Livio Bioglio; Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Eva Sciacca; Salvatore Spinella...; Angelo Troina | 2011-01-01 | - | Cornell University Library | 4.01 Contributo in Atti di convegno | - |
A Type System for a Stochastic CLS | Mariangiola Dezani-Ciancaglini; Paola Giannini; Angelo Troina | 2009-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | - |
A Type System for Required/Excluded Elements in CLS | Mariangiola Dezani; Paola Giannini; Angelo Troina | 2009-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | - |
An Alternative to Gillespie's Algorithm for Simulating Chemical Reactions | R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA | 2005-01-01 | - | - | 4.01 Contributo in Atti di convegno | - |
Approximating Imperfect Cryptography in a Formal Model | Troina, Angelo; Aldini, Alessandro; Gorrieri, Roberto | 2004-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
Automatic Analysis of a Non-Repudiation Protocol | R. LANOTTE; A. MAGGIOLO-SCHETTINI; A. TROINA | 2005-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
Automatic Analysis of the NRL Pump | R. LANOTTE; A. MAGGIOLO-SCHETTINI; S. TINI; A. TROINA; E. TRONCI | 2004-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
Automatic Covert Channel Analysis of a Multilevel Secure Component | R. LANOTTE; A. MAGGIOLO-SCHETTINI; S. TINI; A. TROINA; E. TRONCI | 2004-01-01 | LECTURE NOTES IN COMPUTER SCIENCE | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
Bisimulation Congruences in the Calculus of Looping Sequences | R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA | 2006-01-01 | LECTURE NOTES IN COMPUTER SCIENCE | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
Bisimulations in Calculi Modelling Membranes | R. BARBUTI; A. MAGGIOLO-SCHETTINI; P. MILAZZO; A. TROINA | 2008-01-01 | FORMAL ASPECTS OF COMPUTING | - | 1.01 Articolo in rivista | - |
Concurrency and Interaction in Complex Systems | S. Ben Mokhtar; S. Bliudze; R. Bruni; A. Silva; A. Troina | 2011-01-01 | SCIENTIFIC ANNALS OF COMPUTER SCIENCE | "Alexandru Ioan Cuza" University of Iaşi | 3.02 Curatela | - |