Weak Bisimulation for Probabilistic Timed Automata and Applications to Security. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (SEFM, 2003)

Automatic Analysis of the NRL Pump. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini; Angelo Troina; Enrico Tronci (MEFISTO, 2003)

Approximating Imperfect Cryptography in a Formal Model. - Angelo Troina; Alessandro Aldini; Roberto Gorrieri (MEFISTO, 2003)

Towards a Formal Treatment of Secrecy Against Computational Adversaries. - Angelo Troina; Alessandro Aldini; Roberto Gorrieri (Global Computing, 2004)

Automatic Covert Channel Analysis of a Multilevel Secure Component. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Simone Tini; Angelo Troina; Enrico Tronci (ICICS, 2004)

Information Flow Analysis for Probabilistic Timed Automata. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (Formal Aspects in Security and Trust, 2004)

Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (SEFM, 2004)

Automatic Analysis of a Non-Repudiation Protocol. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (QAPL, 2004)

Timed Automata with Data Structures for Distributed Systems Design and Analysis. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (SEFM, 2005)

A Classification of Time and/or Probability Dependent Security Properties. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (QAPL, 2005)

A Probabilistic Model for Molecular Systems. - Roberto Barbuti; Stefano Cataudella 001; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina (Fundam. Informaticae, 2005)

Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina (FMOODS, 2006)

Bisimulation Congruences in the Calculus of Looping Sequences. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina (ICTAC, 2006)

A Calculus of Looping Sequences for Modelling Microbiological Systems. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina (Fundam. Informaticae, 2006)

A Probabilistic Applied Pi-Calculus. - Jean Goubault-Larrecq; Catuscia Palamidessi; Angelo Troina (APLAS, 2007)

The Calculus of Looping Sequences for Modeling Biological Membranes. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina (Workshop on Membrane Computing, 2007)

Parametric probabilistic transition systems for system design and analysis. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (Formal Aspects Comput., 2007)

Type Disciplines for Analysing Biologically Relevant Properties. - Bogdan Aman; Mariangiola Dezani-Ciancaglini; Angelo Troina (MeCBIC, 2008)

Preface. - Filippo Bonchi; Davide Grohmann; Paola Spoletini; Angelo Troina; Emilio Tuosto (ICE@ICALP, 2008)

Stochastic Bigraphs. - Jean Krivine; Robin Milner; Angelo Troina (MFPS, 2008)

Bisimulations in calculi modelling membranes. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina (Formal Aspects Comput., 2008)

Design and verification of long-running transactions in a timed framework. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Paolo Milazzo; Angelo Troina (Sci. Comput. Program., 2008)

Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways. - Roberto Barbuti; Andrea Maggiolo-Schettini; Paolo Milazzo; Paolo Tiberi; Angelo Troina (Trans. Comp. Sys. Biology, 2008)

Modelling an Ammonium Transporter with SCLS. - Mario Coppo; Ferruccio Damiani; Elena Grassi; Mike Guether; Angelo Troina (COMPMOD, 2009)

A Type System for Required/Excluded Elements in CLS - Mariangiola Dezani-Ciancaglini; Paola Giannini; Angelo Troina (DCM, 2009)

A Type System for a Stochastic CLS - Mariangiola Dezani-Ciancaglini; Paola Giannini; Angelo Troina (MeCBIC, 2009)

Simulation and Bisimulation for Probabilistic Timed Automata. - Jeremy Sproston; Angelo Troina (FORMATS, 2010)

Reachability results for timed automata with unbounded data structures. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (Acta Informatica, 2010)

Types for BioAmbients - Sara Capecchi; Angelo Troina (FBTC, 2010)

Stochastic Calculus of Wrapped Compartments - Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Angelo Troina (QAPL, 2010)

Hybrid Calculus of Wrapped Compartments - Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Eva Sciacca; Salvatore Spinella; Angelo Troina (MeCBIC, 2010)

Preface. - Jean Krivine; Angelo Troina (CS2Bio, 2010)

A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday. - Roberto Barbuti; Andrea Maggiolo-Schettini; Angelo Troina; Mariangiola Dezani-Ciancaglini; Paolo Milazzo (Fundam. Informaticae, 2010)

Weak bisimulation for Probabilistic Timed Automata. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (Theor. Comput. Sci., 2010)

Time and Probability-Based Information Flow Analysis. - Ruggero Lanotte; Andrea Maggiolo-Schettini; Angelo Troina (IEEE Trans. Software Eng., 2010)

On Parallelizing On-Line Statistics for Stochastic Biological Simulations. - Marco Aldinucci; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Eva Sciacca; Salvatore Spinella; Massimo Torquati; Angelo Troina (Euro-Par Workshops (2), 2011)

On Designing Multicore-Aware Simulators for Biological Systems. - Marco Aldinucci; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Massimo Torquati; Angelo Troina (PDP, 2011)

A Spatial Calculus of Wrapped Compartments - Livio Bioglio; Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Eva Sciacca; Salvatore Spinella; Angelo Troina (CoRR, 2011)

Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments - Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Eva Sciacca; Salvatore Spinella; Angelo Troina (CompMod, 2011)

A Calculus of Looping Sequences with Local Rules - Livio Bioglio; Mariangiola Dezani-Ciancaglini; Paola Giannini; Angelo Troina (DCM, 2011)

Concurrency and Interaction in Complex Systems. - Sonia Ben Mokhtar; Simon Bliudze; Roberto Bruni 001; Alexandra Silva 001; Angelo Troina (Sci. Ann. Comput. Sci., 2011)

Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis. - Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Mike Guether; Angelo Troina (Trans. Comp. Sys. Biology, 2011)

Modelling Ecological Systems with the Calculus of Wrapped Compartments. - Pablo Ramón; Angelo Troina (Int. Conf. on Membrane Computing, 2012)

Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions - Adriana B. Compagnoni; Mariangiola Dezani-Ciancaglini; Paola Giannini; Karin Sauer; Vishakha Sharma 001; Angelo Troina (MeCBIC, 2012)

Typed stochastic semantics for the calculus of looping sequences. - Livio Bioglio; Mariangiola Dezani-Ciancaglini; Paola Giannini; Angelo Troina (Theor. Comput. Sci., 2012)

Simulation techniques for the calculus of wrapped compartments. - Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Eva Sciacca; Salvatore Spinella; Angelo Troina (Theor. Comput. Sci., 2012)

Preface. - Emanuela Merelli; Angelo Troina (CS2Bio, 2013)

Type Directed Semantics for the Calculus of Looping Sequences. - Livio Bioglio; Mariangiola Dezani-Ciancaglini; Paola Giannini; Angelo Troina (Int. J. Softw. Informatics, 2013)

Interactions between Computer Science and Biology. - Paola Giannini; Emanuela Merelli; Angelo Troina (Theor. Comput. Sci., 2015)

Probabilistic Timed Automata for Security Analysis and Design. - Angelo Troina (GRIN Publishing, 2017)

Modelling Biological and Ecological Systems with the Calculus of Wrapped Compartments. - Marco Aldinucci; Livio Bioglio; Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Pablo Ramón; Eva Sciacca; Salvatore Spinella; Angelo Troina (CoRR, 2022)