×

zbMATH — the first resource for mathematics

Troina, Angelo

Compute Distance To:
Author ID: troina.angelo Recent zbMATH articles by "Troina, Angelo"
Published as: Troina, Angelo
Documents Indexed: 29 Publications since 2004, including 3 Books

Publications by Year

Citations contained in zbMATH

20 Publications have been cited 105 times in 68 Documents Cited by Year
Stochastic bigraphs. Zbl 1286.68354
Krivine, Jean; Milner, Robin; Troina, Angelo
18
2008
A calculus of looping sequences for modelling microbiological systems. Zbl 1101.92021
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
16
2006
Bisimulations in calculi modelling membranes. Zbl 1152.68035
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
9
2008
Parametric probabilistic transition systems for system design and analysis. Zbl 1111.68084
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo
8
2007
Bisimulation congruences in the calculus of looping sequences. Zbl 1168.68435
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
8
2006
Automatic analysis of a non-repudiation protocol. Zbl 1272.68326
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo
7
2005
Weak bisimulation for probabilistic timed automata. Zbl 1208.68160
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo
6
2010
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways. Zbl 1241.92019
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tiberi, Paolo; Troina, Angelo
6
2008
The calculus of looping sequences for modeling biological membranes. Zbl 1137.68371
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
4
2007
A probabilistic model for molecular systems. Zbl 1096.68101
Barbuti, Roberto; Cataudella, Stefano; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
4
2005
Simulation techniques for the calculus of wrapped compartments. Zbl 1238.68096
Coppo, Mario; Damiani, Ferruccio; Drocco, Maurizio; Grassi, Elena; Sciacca, Eva; Spinella, Salvatore; Troina, Angelo
3
2012
Type disciplines for analysing biologically relevant properties. Zbl 1348.92066
Aman, Bogdan; Dezani-Ciancaglini, Mariangiola; Troina, Angelo
3
2009
Design and verification of long-running transactions in a timed framework. Zbl 1170.68024
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
3
2008
Reachability results for timed automata with unbounded data structures. Zbl 1214.68199
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo
2
2010
Simulation and bisimulation for probabilistic timed automata. Zbl 1290.68081
Sproston, Jeremy; Troina, Angelo
2
2010
A probabilistic applied pi-calculus. Zbl 1137.68448
Goubault-Larrecq, Jean; Palamidessi, Catuscia; Troina, Angelo
2
2007
Interactions between computer science and biology. Zbl 1315.00097
Giannini, Paola (ed.); Merelli, Emanuela (ed.); Troina, Angelo (ed.)
1
2015
Typed stochastic semantics for the calculus of looping sequences. Zbl 1284.68317
Bioglio, Livio; Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Troina, Angelo
1
2012
A formalism for the description of protein interaction. Dedicated to Jerzy Tiuryn on the occasion of his 60th birthday. Zbl 1214.68183
Barbuti, Roberto; Dezani-Ciancaglini, Mariangiola; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
1
2010
Towards a formal treatment of secrecy against computational adversaries. Zbl 1111.68447
Troina, Angelo; Aldini, Alessandro; Gorrieri, Roberto
1
2005
Interactions between computer science and biology. Zbl 1315.00097
Giannini, Paola (ed.); Merelli, Emanuela (ed.); Troina, Angelo (ed.)
1
2015
Simulation techniques for the calculus of wrapped compartments. Zbl 1238.68096
Coppo, Mario; Damiani, Ferruccio; Drocco, Maurizio; Grassi, Elena; Sciacca, Eva; Spinella, Salvatore; Troina, Angelo
3
2012
Typed stochastic semantics for the calculus of looping sequences. Zbl 1284.68317
Bioglio, Livio; Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Troina, Angelo
1
2012
Weak bisimulation for probabilistic timed automata. Zbl 1208.68160
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo
6
2010
Reachability results for timed automata with unbounded data structures. Zbl 1214.68199
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo
2
2010
Simulation and bisimulation for probabilistic timed automata. Zbl 1290.68081
Sproston, Jeremy; Troina, Angelo
2
2010
A formalism for the description of protein interaction. Dedicated to Jerzy Tiuryn on the occasion of his 60th birthday. Zbl 1214.68183
Barbuti, Roberto; Dezani-Ciancaglini, Mariangiola; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
1
2010
Type disciplines for analysing biologically relevant properties. Zbl 1348.92066
Aman, Bogdan; Dezani-Ciancaglini, Mariangiola; Troina, Angelo
3
2009
Stochastic bigraphs. Zbl 1286.68354
Krivine, Jean; Milner, Robin; Troina, Angelo
18
2008
Bisimulations in calculi modelling membranes. Zbl 1152.68035
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
9
2008
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways. Zbl 1241.92019
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tiberi, Paolo; Troina, Angelo
6
2008
Design and verification of long-running transactions in a timed framework. Zbl 1170.68024
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
3
2008
Parametric probabilistic transition systems for system design and analysis. Zbl 1111.68084
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo
8
2007
The calculus of looping sequences for modeling biological membranes. Zbl 1137.68371
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
4
2007
A probabilistic applied pi-calculus. Zbl 1137.68448
Goubault-Larrecq, Jean; Palamidessi, Catuscia; Troina, Angelo
2
2007
A calculus of looping sequences for modelling microbiological systems. Zbl 1101.92021
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
16
2006
Bisimulation congruences in the calculus of looping sequences. Zbl 1168.68435
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
8
2006
Automatic analysis of a non-repudiation protocol. Zbl 1272.68326
Lanotte, Ruggero; Maggiolo-Schettini, Andrea; Troina, Angelo
7
2005
A probabilistic model for molecular systems. Zbl 1096.68101
Barbuti, Roberto; Cataudella, Stefano; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Troina, Angelo
4
2005
Towards a formal treatment of secrecy against computational adversaries. Zbl 1111.68447
Troina, Angelo; Aldini, Alessandro; Gorrieri, Roberto
1
2005
all top 5

Cited by 131 Authors

16 Milazzo, Paolo
14 Maggiolo-Schettini, Andrea
11 Barbuti, Roberto
9 Pardini, Giovanni
8 Troina, Angelo
4 Lanotte, Ruggero
3 Calder, Muffy
3 Levi, Francesca
2 Bartocci, Ezio
2 Bioglio, Livio
2 Bove, Pasquale
2 Caravagna, Giulio
2 Dezani-Ciancaglini, Mariangiola
2 Galpin, Vashti
2 Hillston, Jane
2 Krivine, Jean
2 Lhoussaine, Cédric
2 Milner, Robin
2 Norman, Gethin
2 Plotkin, Gordon D.
2 Scatena, Guido
2 Sevegnani, Michele
2 Sproston, Jeremy
2 Tini, Simone
2 Uhrmacher, Adelinde M.
1 Adão, Pedro
1 Aman, Bogdan
1 André, Étienne
1 Bacci, Giorgio
1 Baier, Christel
1 Ban Kirigin, Tajana
1 Basin, David A.
1 Basuki, Thomas Anung
1 Bortolussi, Luca
1 Cai, Xiaojuan
1 Casagrande, Alberto
1 Cassez, Franck
1 Cau, Antonio
1 Cerone, Antonio
1 Chen, Jing
1 Chen, Zhenbang
1 Coppo, Mario
1 Credi, A.
1 Cremers, Cas J. F.
1 Damgaard, Troels Christoffer
1 Damiani, Ferruccio
1 Delahaye, Benoît
1 Deng, Yuxin
1 Dingel, Juergen
1 Drábik, Peter
1 Drocco, Maurizio
1 Fribourg, Laurent
1 Garavelli, Marco
1 Giannini, Paola
1 Gori, Roberta
1 Grassi, Elena
1 Grodzki, Grzegorz
1 Grosu, Radu
1 Hayman, Jonathan Mark
1 Helms, Tobias
1 Hensel, Christian
1 Højsgaard, Espen
1 Honorato-Zimmer, Ricardo
1 Hutschenreiter, Lisa
1 John, Mathias
1 Junges, Sebastian
1 Kanovich, Max Iosifovich
1 Katoen, Joost-Pieter
1 Katsaros, Panagiotis
1 Klein, Joachim
1 Kuttler, Céline
1 Laneve, Cosimo
1 Li, Lei
1 Liu, Zhiming
1 Longo, Giuseppe
1 Luo, Zhengqin
1 Macià Soler, Hermenegilda
1 Mateus, Paulo C.
1 Maus, Carsten
1 Meadows, Catherine A.
1 Merro, Massimo
1 Miculan, Marino
1 Millar, Andrew J.
1 Mjolsness, Eric
1 Nebut, Mirabelle
1 Nenzi, Laura
1 Niehren, Joachim
1 Nigam, Vivek
1 Oury, Nicolas
1 Paolini, Luca
1 Parker, David F.
1 Parker, David J.
1 Perovic, Ranko
1 Piazza, Carla
1 Piccolo, Mauro
1 Piech, Henryk
1 Pinna, G. Michele
1 Pradalier, Sylvain
1 Ramakrishnan, C. R.
1 Roşu, Grigore
...and 31 more Authors

Citations by Year