Foto del docente

Angelo Troina

Ricercatore confermato

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Pubblicazioni

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, Ithaca, New York, Cornell University, 2022, pp. 114 . [libro]

Troina, Angelo, Probabilistic Timed Automata for Security Analysis and Design, North Charleston, SC 29406, CreateSpace, 2017, pp. 146 . [libro]

Pablo Ramon; Angelo Troina, Ecological Modelling with the Calculus of Wrapped Compartments, 2015. [rapporto tecnico]

Giannini Paola; Merelli Emanuela; Troina Angelo, Interactions between Computer Science and Biology, «THEORETICAL COMPUTER SCIENCE», 2015, 587, pp. 1 - 2 [articolo]

Marco Aldinucci; Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Eva Sciacca; Salvatore Spinella; Massimo Torquati; Angelo Troina, On Designing Multicore-Aware Simulators for Systems Biology Endowed with OnLine Statistics, «BIOMED RESEARCH INTERNATIONAL», 2014, 2014, pp. 1 - 14 [articolo]

P. Ramón; A. Troina, Modelling Ecological Systems with the Calculus of Wrapped Compartments, in: International Conference on Membrane Computing - CMC 2012, HEIDELBERG, Springer-Verlag Berlin, 2013, pp. 358 - 377 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]

Merelli, Emanuela; Troina, Angelo, Preface, «ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE», 2013, 299, pp. 1 - 3 [articolo]

L. Bioglio; M. Dezani; P. Giannini; A. Troina, Type Directed Semantics for the Calculus of Looping Sequences, «INTERNATIONAL JOURNAL OF SOFTWARE AND INFORMATICS», 2013, 7, pp. 501 - 526 [articolo]

L. Bioglio; M. Dezani-Ciancaglini; P. Giannini; A. Troina, A Calculus of Looping Sequences with Local Rules, in: Proceedings 7th International Workshop on Developments of Computational Methods, 2012, 88, pp. 43 - 58 (atti di: 7th Workshop on Developments in Computational Models (DCM'11), Zurich, Switzerland, July 2011) [Contributo in Atti di convegno]

P. Ramón; A. Troina, Modelling Ecological Systems with the Calculus of Wrapped Compartments, in: Proceedings of the 13th International Conference on Membrane Computing (CMC13), Budapest, MTA SZTAKY, 2012, pp. 385 - 406 (atti di: CMC 2012, Budapest, Agosto 2012) [Contributo in Atti di convegno]

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, in: Euro-Par 2011: Parallel Processing Workshops, Revised Selected Papers, BERLIN HEIDELBERG, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7156, pp. 3 - 12 (atti di: 2nd International Workshop on High Performance Bioinformatics and Biomedicine (HiBB'11), Bordeaux, France, August 2011) [Contributo in Atti di convegno]

A. Compagnoni; M. Dezani-Ciancaglini; P. Giannini; K. Sauer; V. Sharma; A. Troina, Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions, in: Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012, 100, pp. 101 - 106 (atti di: 6th International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'12), Newcastle, UK, September 2012) [Contributo in Atti di convegno]

A. Compagnoni; M. Dezani-Ciancaglini; P. Giannini; K. Sauer; V. Sharma; A. Troina, Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions, in: Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012, 100, pp. 101 - 106 (atti di: 6th International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'12), Newcastle, UK, September 2012) [Contributo in Atti di convegno]

G. Ciobanu; A. Troina, Rate-Based Stochastic Fusion Calculus and Continuous Time Markov Chains, in: Proc. of the 13th Italian Conference on Theoretical Computer Science (ICTCS'12), Varese, Università dell'Insubria, 2012, pp. 86 - 89 (atti di: 13th Italian Conference on Theoretical Computer Science (ICTCS'12), Varese, Italy, September 2012) [Contributo in Atti di convegno]

Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Eva Sciacca; Salvatore Spinella; Angelo Troina, Simulation techniques for the calculus of wrapped compartments, «THEORETICAL COMPUTER SCIENCE», 2012, 431, pp. 75 - 95 [articolo]

Ultimi avvisi

Al momento non sono presenti avvisi.