Angelo Troina - RankMe

55 papers B 5C 3Journal 19Unranked 24

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