TROINA, ANGELO
TROINA, ANGELO
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Angelo Troina
Modelling Biological and Ecological Systems with the Calculus of Wrapped Compartments
2022 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
2019 Angelo Troina
Probabilistic Timed Automata for Security Analysis and Design
2017 Troina, Angelo
Un Approccio Algebrico Probabilistico all'Analisi di Proprietà di Sicurezza di Sistemi Crittografici
2017 Troina, Angelo
Ecological Modelling with the Calculus of Wrapped Compartments
2015 Pablo Ramon; Angelo Troina
Interactions between Computer Science and Biology
2015 Giannini Paola; Merelli Emanuela; Troina Angelo
Interactions between Computer Science and Biology
2015 Paola Giannini; Emanuela Merelli; Angelo Troina
On Designing Multicore-Aware Simulators for Systems Biology Endowed with OnLine Statistics
2014 Marco Aldinucci; Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Eva Sciacca; Salvatore Spinella; Massimo Torquati; Angelo Troina
Modelling Ecological Systems with the Calculus of Wrapped Compartments
2013 P. Ramón; A. Troina
Preface
2013 Merelli, Emanuela; Troina, Angelo
Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology (CS2Bio'13)
2013 E. Merelli; A. Troina
Type Directed Semantics for the Calculus of Looping Sequences
2013 L. Bioglio; M. Dezani; P. Giannini; A. Troina
A Calculus of Looping Sequences with Local Rules
2012 L. Bioglio; M. Dezani-Ciancaglini; P. Giannini; A. Troina
Modelling Ecological Systems with the Calculus of Wrapped Compartments
2012 P. Ramón; A. Troina
On Parallelizing On-Line Statistics for Stochastic Biological Simulations
2012 Marco Aldinucci; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Eva Sciacca; Salvatore Spinella; Massimo Torquati; Angelo Troina
Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions
2012 A. Compagnoni; M. Dezani-Ciancaglini; P. Giannini; K. Sauer; V. Sharma; A. Troina
Rate-Based Stochastic Fusion Calculus and Continuous Time Markov Chains
2012 G. Ciobanu; A. Troina
Simulation techniques for the calculus of wrapped compartments
2012 Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Eva Sciacca; Salvatore Spinella; Angelo Troina
Typed stochastic semantics for the calculus of looping sequences
2012 Livio Bioglio; Mariangiola Dezani-Ciancaglini; Paola Giannini; Angelo Troina
A Spatial Calculus of Wrapped Compartments
2011 Livio Bioglio; Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Eva Sciacca; Salvatore Spinella; Angelo Troina
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Modelling Biological and Ecological Systems with the Calculus of Wrapped Compartments | Marco Aldinucci, Livio Bioglio, Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Maurizio Drocc...o, Elena Grassi, Pablo Ramón, Eva Sciacca, Salvatore Spinella, Angelo Troina | 2022-01-01 | - | Cornell University | 3.01 Monografia / trattato scientifico in forma di libro | - |
| Modelling biological and ecological systems with the Calculus of Wrapped Compartments | Angelo Troina | 2019-01-01 | - | GRIN Verlag | 3.01 Monografia / trattato scientifico in forma di libro | - |
| Probabilistic Timed Automata for Security Analysis and Design | Troina, Angelo | 2017-01-01 | - | CreateSpace | 3.01 Monografia / trattato scientifico in forma di libro | - |
| Un Approccio Algebrico Probabilistico all'Analisi di Proprietà di Sicurezza di Sistemi Crittografici | Troina, Angelo | 2017-01-01 | - | CreateSpace | 3.01 Monografia / trattato scientifico in forma di libro | - |
| Ecological Modelling with the Calculus of Wrapped Compartments | Pablo Ramon; Angelo Troina | 2015-01-01 | - | - | 7.13 Rapporto tecnico | - |
| Interactions between Computer Science and Biology | Giannini Paola; Merelli Emanuela; Troina Angelo | 2015-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| Interactions between Computer Science and Biology | Paola Giannini; Emanuela Merelli; Angelo Troina | 2015-01-01 | THEORETICAL COMPUTER SCIENCE | Elsevier B.V. | 3.02 Curatela | - |
| On Designing Multicore-Aware Simulators for Systems Biology Endowed with OnLine Statistics | Marco Aldinucci; Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Eva Sc...iacca; Salvatore Spinella; Massimo Torquati; Angelo Troina | 2014-01-01 | BIOMED RESEARCH INTERNATIONAL | - | 1.01 Articolo in rivista | - |
| Modelling Ecological Systems with the Calculus of Wrapped Compartments | P. Ramón; A. Troina | 2013-01-01 | - | Springer-Verlag Berlin | 2.01 Capitolo / saggio in libro | - |
| Preface | Merelli, Emanuela; Troina, Angelo | 2013-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology (CS2Bio'13) | E. Merelli; A. Troina | 2013-01-01 | ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE | ELSEVIER SCIENCE | 3.02 Curatela | - |
| Type Directed Semantics for the Calculus of Looping Sequences | L. Bioglio; M. Dezani; P. Giannini; A. Troina | 2013-01-01 | INTERNATIONAL JOURNAL OF SOFTWARE AND INFORMATICS | - | 1.01 Articolo in rivista | - |
| A Calculus of Looping Sequences with Local Rules | L. Bioglio; M. Dezani-Ciancaglini; P. Giannini; A. Troina | 2012-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | - | 1.04 Replica / breve intervento (e simili) | - |
| Modelling Ecological Systems with the Calculus of Wrapped Compartments | P. Ramón; A. Troina | 2012-01-01 | - | MTA SZTAKY | 4.01 Contributo in Atti di convegno | - |
| 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 | 2012-01-01 | - | Springer-Verlag | 4.01 Contributo in Atti di convegno | - |
| Parallel BioScape: A Stochastic and Parallel Language for Mobile and Spatial Interactions | A. Compagnoni; M. Dezani-Ciancaglini; P. Giannini; K. Sauer; V. Sharma; A. Troina | 2012-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | - |
| Rate-Based Stochastic Fusion Calculus and Continuous Time Markov Chains | G. Ciobanu; A. Troina | 2012-01-01 | - | Università dell'Insubria | 4.01 Contributo in Atti di convegno | - |
| Simulation techniques for the calculus of wrapped compartments | Mario Coppo; Ferruccio Damiani; Maurizio Drocco; Elena Grassi; Eva Sciacca; Salvatore Spinella; A...ngelo Troina | 2012-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| Typed stochastic semantics for the calculus of looping sequences | Livio Bioglio; Mariangiola Dezani-Ciancaglini; Paola Giannini; Angelo Troina | 2012-01-01 | THEORETICAL COMPUTER SCIENCE | - | 1.01 Articolo in rivista | - |
| A Spatial Calculus of Wrapped Compartments | Livio Bioglio; Cristina Calcagno; Mario Coppo; Ferruccio Damiani; Eva Sciacca; Salvatore Spinella...; Angelo Troina | 2011-01-01 | - | Cornell University Library | 4.01 Contributo in Atti di convegno | - |