![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Angelo Troina
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [i3]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 abs/2212.07105 (2022)
2010 – 2019
- 2017
- [b1]Angelo Troina:
Probabilistic Timed Automata for Security Analysis and Design. University of Pisa, Italy, GRIN Publishing 2017 - 2015
- [j16]Paola Giannini
, Emanuela Merelli
, Angelo Troina:
Interactions between Computer Science and Biology. Theor. Comput. Sci. 587: 1-2 (2015) - 2013
- [j15]Livio Bioglio, Mariangiola Dezani-Ciancaglini, Paola Giannini, Angelo Troina:
Type Directed Semantics for the Calculus of Looping Sequences. Int. J. Softw. Informatics 7(4): 501-526 (2013) - [c32]Emanuela Merelli
, Angelo Troina:
Preface. CS2Bio 2013: 1-3 - [e3]Emanuela Merelli, Angelo Troina:
Proceedings of the fourth International Workshop on Interactions between Computer Science and Biology, CS2Bio 2013, Florence, Italy, June 6, 2013. Electronic Notes in Theoretical Computer Science 299, Elsevier 2013 [contents] - 2012
- [j14]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: 75-95 (2012) - [j13]Livio Bioglio, Mariangiola Dezani-Ciancaglini
, Paola Giannini
, Angelo Troina:
Typed stochastic semantics for the calculus of looping sequences. Theor. Comput. Sci. 431: 165-180 (2012) - [c31]Pablo Ramón, Angelo Troina:
Modelling Ecological Systems with the Calculus of Wrapped Compartments. Int. Conf. on Membrane Computing 2012: 358-377 - [c30]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: 101-106 - 2011
- [j12]Sonia Ben Mokhtar, Simon Bliudze, Roberto Bruni, Alexandra Silva, Angelo Troina:
Concurrency and Interaction in Complex Systems. Sci. Ann. Comput. Sci. 21(1): 1-4 (2011) - [j11]Mario Coppo, Ferruccio Damiani
, Maurizio Drocco
, Elena Grassi
, Mike Guether, Angelo Troina:
Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis. Trans. Comp. Sys. Biology 13: 85-109 (2011) - [c29]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: 3-12 - [c28]Marco Aldinucci
, Mario Coppo, Ferruccio Damiani
, Maurizio Drocco
, Massimo Torquati
, Angelo Troina:
On Designing Multicore-Aware Simulators for Biological Systems. PDP 2011: 318-325 - [c27]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: 3-18 - [c26]Livio Bioglio, Mariangiola Dezani-Ciancaglini
, Paola Giannini, Angelo Troina:
A Calculus of Looping Sequences with Local Rules. DCM 2011: 43-58 - [i2]Livio Bioglio, Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Eva Sciacca
, Salvatore Spinella, Angelo Troina:
A Spatial Calculus of Wrapped Compartments. CoRR abs/1108.3426 (2011) - 2010
- [j10]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Angelo Troina:
Reachability results for timed automata with unbounded data structures. Acta Informatica 47(5-6): 279-311 (2010) - [j9]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): 1-29 (2010) - [j8]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Angelo Troina:
Weak bisimulation for Probabilistic Timed Automata. Theor. Comput. Sci. 411(50): 4291-4322 (2010) - [j7]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Angelo Troina:
Time and Probability-Based Information Flow Analysis. IEEE Trans. Software Eng. 36(5): 719-734 (2010) - [c25]Jeremy Sproston, Angelo Troina:
Simulation and Bisimulation for Probabilistic Timed Automata. FORMATS 2010: 213-227 - [c24]Mario Coppo, Ferruccio Damiani
, Maurizio Drocco
, Elena Grassi
, Angelo Troina:
Stochastic Calculus of Wrapped Compartments. QAPL 2010: 82-98 - [c23]Mario Coppo, Ferruccio Damiani
, Maurizio Drocco
, Elena Grassi
, Eva Sciacca
, Salvatore Spinella, Angelo Troina:
Hybrid Calculus of Wrapped Compartments. MeCBIC 2010: 102-120 - [c22]Sara Capecchi
, Angelo Troina:
Types for BioAmbients. FBTC 2010: 103-115 - [c21]Jean Krivine, Angelo Troina:
Preface. CS2Bio 2010: 1-2 - [e2]Jean Krivine, Angelo Troina:
Proceedings of the 1st International Workshop on Interactions between Computer Science and Biology, CS2Bio 2010, Amsterdam, The Netherlands, June 10, 2010. Electronic Notes in Theoretical Computer Science 268, Elsevier 2010 [contents] - [i1]Marco Aldinucci, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Massimo Torquati, Angelo Troina:
On Designing Multicore-aware Simulators for Biological Systems. CoRR abs/1010.2438 (2010)
2000 – 2009
- 2009
- [c20]Mariangiola Dezani-Ciancaglini
, Paola Giannini
, Angelo Troina:
A Type System for Required/Excluded Elements in CLS. DCM 2009: 38-48 - [c19]Mario Coppo, Ferruccio Damiani, Elena Grassi
, Mike Guether, Angelo Troina:
Modelling an Ammonium Transporter with SCLS. COMPMOD 2009: 77-92 - [c18]Mariangiola Dezani-Ciancaglini
, Paola Giannini
, Angelo Troina:
A Type System for a Stochastic CLS. MeCBIC 2009: 91-105 - [e1]Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto:
Proceedings of the First Interaction and Concurrency Experiences Workshop, ICE@ICALP 2008, Reykjavik, Iceland, July 6, 2008. Electronic Notes in Theoretical Computer Science 229(3), Elsevier 2009 [contents] - 2008
- [j6]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina:
Bisimulations in calculi modelling membranes. Formal Aspects Comput. 20(4-5): 351-377 (2008) - [j5]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): 76-94 (2008) - [j4]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: 86-113 (2008) - [c17]Filippo Bonchi
, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto
:
Preface. ICE@ICALP 2008: 1-2 - [c16]Jean Krivine, Robin Milner, Angelo Troina:
Stochastic Bigraphs. MFPS 2008: 73-96 - [c15]Bogdan Aman
, Mariangiola Dezani-Ciancaglini
, Angelo Troina:
Type Disciplines for Analysing Biologically Relevant Properties. MeCBIC 2008: 97-111 - 2007
- [j3]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Angelo Troina:
Parametric probabilistic transition systems for system design and analysis. Formal Aspects Comput. 19(1): 93-109 (2007) - [c14]Jean Goubault-Larrecq, Catuscia Palamidessi
, Angelo Troina:
A Probabilistic Applied Pi-Calculus. APLAS 2007: 175-190 - [c13]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina:
The Calculus of Looping Sequences for Modeling Biological Membranes. Workshop on Membrane Computing 2007: 54-76 - 2006
- [j2]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina:
A Calculus of Looping Sequences for Modelling Microbiological Systems. Fundam. Informaticae 72(1-3): 21-35 (2006) - [c12]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina:
Modeling Long-Running Transactions with Communicating Hierarchical Timed Automata. FMOODS 2006: 108-122 - [c11]Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina:
Bisimulation Congruences in the Calculus of Looping Sequences. ICTAC 2006: 93-107 - 2005
- [j1]Roberto Barbuti, Stefano Cataudella, Andrea Maggiolo-Schettini, Paolo Milazzo, Angelo Troina:
A Probabilistic Model for Molecular Systems. Fundam. Informaticae 67(1-3): 13-27 (2005) - [c10]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Angelo Troina:
Timed Automata with Data Structures for Distributed Systems Design and Analysis. SEFM 2005: 44-53 - [c9]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Angelo Troina:
A Classification of Time and/or Probability Dependent Security Properties. QAPL 2005: 177-193 - 2004
- [c8]Angelo Troina, Alessandro Aldini
, Roberto Gorrieri
:
Towards a Formal Treatment of Secrecy Against Computational Adversaries. Global Computing 2004: 77-92 - [c7]Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci:
Automatic Covert Channel Analysis of a Multilevel Secure Component. ICICS 2004: 249-261 - [c6]Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina:
Information Flow Analysis for Probabilistic Timed Automata. Formal Aspects in Security and Trust 2004: 13-26 - [c5]Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina:
Decidability Results for Parametric Probabilistic Transition Systems with an Application to Security. SEFM 2004: 114-121 - [c4]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Angelo Troina:
Automatic Analysis of a Non-Repudiation Protocol. QAPL 2004: 113-129 - 2003
- [c3]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Angelo Troina:
Weak Bisimulation for Probabilistic Timed Automata and Applications to Security. SEFM 2003: 34-43 - [c2]Angelo Troina, Alessandro Aldini
, Roberto Gorrieri
:
Approximating Imperfect Cryptography in a Formal Model. MEFISTO 2003: 183-203 - [c1]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Simone Tini
, Angelo Troina, Enrico Tronci
:
Automatic Analysis of the NRL Pump. MEFISTO 2003: 245-266
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:47 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint