Angelo Troina

Publication Activity (10 Years)

Years Active: 2003-2022
Publications (10 Years): 2

Top Venues

CoRR

Int. J. Softw. Informatics

Electron. Notes Theor. Comput. Sci.

Theor. Comput. Sci.

University of Pisa, Italy (PHD)

Education History

University of Pisa, Italy

PHD

Publications

Marco Aldinucci, Livio Bioglio, Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Pablo Ramón, Eva Sciacca, Salvatore Spinella, Angelo Troina
Modelling Biological and Ecological Systems with the Calculus of Wrapped Compartments. CoRR (2022)
Paola Giannini, Emanuela Merelli, Angelo Troina
Interactions between Computer Science and Biology. Theor. Comput. Sci. 587 (2015)
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Type Directed Semantics for the Calculus of Looping Sequences. Int. J. Softw. Informatics 7 (4) (2013)
Emanuela Merelli, Angelo Troina
Preface. Electron. Notes Theor. Comput. Sci. 299 (2013)
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
Typed stochastic semantics for the calculus of looping sequences. Theor. Comput. Sci. 431 (2012)
Pablo Ramón, Angelo Troina
Modelling Ecological Systems with the Calculus of Wrapped Compartments. Int. Conf. on Membrane Computing (2012)
Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini, Paola Giannini, Karin Sauer, Vishakha Sharma, Angelo Troina
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions MeCBIC (2012)
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Eva Sciacca, Salvatore Spinella, Angelo Troina
Simulation techniques for the calculus of wrapped compartments. Theor. Comput. Sci. 431 (2012)
Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Eva Sciacca, Salvatore Spinella, Massimo Torquati, Angelo Troina
On Parallelizing On-Line Statistics for Stochastic Biological Simulations. Euro-Par Workshops (2) (2011)
Livio Bioglio, Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Eva Sciacca, Salvatore Spinella, Angelo Troina
A Spatial Calculus of Wrapped Compartments CoRR (2011)
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Mike Guether, Angelo Troina
Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis. Trans. Comp. Sys. Biology 13 (2011)
Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Eva Sciacca, Salvatore Spinella, Angelo Troina
Modelling Spatial Interactions in the Arbuscular Mycorrhizal Symbiosis using the Calculus of Wrapped Compartments CompMod (2011)
Sonia Ben Mokhtar, Simon Bliudze, Roberto Bruni, Alexandra Silva, Angelo Troina
Concurrency and Interaction in Complex Systems. Sci. Ann. Comput. Sci. 21 (1) (2011)
Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Massimo Torquati, Angelo Troina
On Designing Multicore-Aware Simulators for Biological Systems. PDP (2011)
Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
A Calculus of Looping Sequences with Local Rules DCM (2011)
Jean Krivine, Angelo Troina
Preface. Electron. Notes Theor. Comput. Sci. 268 (2010)
Roberto Barbuti, Andrea Maggiolo-Schettini, Angelo Troina, Mariangiola Dezani-Ciancaglini, Paolo Milazzo
A Formalism for the Description of Protein Interaction Dedicated to Jerzy Tiuryn on the Occasion of his 60th Birthday. Fundam. Informaticae 103 (1-4) (2010)
Jeremy Sproston, Angelo Troina
Simulation and Bisimulation for Probabilistic Timed Automata. FORMATS (2010)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
Weak bisimulation for Probabilistic Timed Automata. Theor. Comput. Sci. 411 (50) (2010)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
Time and Probability-Based Information Flow Analysis. IEEE Trans. Software Eng. 36 (5) (2010)
Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Massimo Torquati, Angelo Troina
On Designing Multicore-aware Simulators for Biological Systems CoRR (2010)
Sara Capecchi, Angelo Troina
Types for BioAmbients FBTC (2010)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
Reachability results for timed automata with unbounded data structures. Acta Informatica 47 (5-6) (2010)
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Angelo Troina
Stochastic Calculus of Wrapped Compartments QAPL (2010)
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Eva Sciacca, Salvatore Spinella, Angelo Troina
Hybrid Calculus of Wrapped Compartments MeCBIC (2010)
Bogdan Aman, Mariangiola Dezani-Ciancaglini, Angelo Troina
Type Disciplines for Analysing Biologically Relevant Properties. Electron. Notes Theor. Comput. Sci. 227 (2009)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
A Type System for Required/Excluded Elements in CLS DCM (2009)
Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina
A Type System for a Stochastic CLS MeCBIC (2009)
Mario Coppo, Ferruccio Damiani, Elena Grassi, Mike Guether, Angelo Troina
Modelling an Ammonium Transporter with SCLS. COMPMOD (2009)
Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto
Preface. Electron. Notes Theor. Comput. Sci. 229 (3) (2009)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
Design and verification of long-running transactions in a timed framework. Sci. Comput. Program. 73 (2-3) (2008)
Jean Krivine, Robin Milner, Angelo Troina
Stochastic Bigraphs. MFPS (2008)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
Bisimulations in calculi modelling membranes. Formal Aspects Comput. 20 (4-5) (2008)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Paolo Tiberi, Angelo Troina
Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways. Trans. Comp. Sys. Biology 9 (2008)
Jean Goubault-Larrecq, Catuscia Palamidessi, Angelo Troina
A Probabilistic Applied Pi-Calculus. APLAS (2007)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
Parametric probabilistic transition systems for system design and analysis. Formal Aspects Comput. 19 (1) (2007)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
The Calculus of Looping Sequences for Modeling Biological Membranes. Workshop on Membrane Computing (2007)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
A Calculus of Looping Sequences for Modelling Microbiological Systems. Fundam. Informaticae 72 (1-3) (2006)
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
Bisimulation Congruences in the Calculus of Looping Sequences. ICTAC (2006)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata. FMOODS (2006)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
A Classification of Time and/or Probability Dependent Security Properties. Electron. Notes Theor. Comput. Sci. 153 (2) (2006)
Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina
A Probabilistic Model for Molecular Systems. Fundam. Informaticae 67 (1-3) (2005)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
Timed Automata with Data Structures for Distributed Systems Design and Analysis. SEFM (2005)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
Automatic Analysis of a Non-Repudiation Protocol. Electron. Notes Theor. Comput. Sci. 112 (2005)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
Information Flow Analysis for Probabilistic Timed Automata. Formal Aspects in Security and Trust (2004)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security. SEFM (2004)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci
Automatic Analysis of the NRL Pump. Electron. Notes Theor. Comput. Sci. 99 (2004)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci
Automatic Covert Channel Analysis of a Multilevel Secure Component. ICICS (2004)
Angelo Troina, Alessandro Aldini, Roberto Gorrieri
Approximating Imperfect Cryptography in a Formal Model. Electron. Notes Theor. Comput. Sci. 99 (2004)
Angelo Troina, Alessandro Aldini, Roberto Gorrieri
Towards a Formal Treatment of Secrecy Against Computational Adversaries. Global Computing (2004)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security. SEFM (2003)

Angelo Troina.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Angelo Troina