TROINA, ANGELO

TROINA, ANGELO  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 66 (tempo di esecuzione: 0.041 secondi).
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