Follow
Angelo Troina
Angelo Troina
Dipartimento di Informatica - Scienza e Ingegneria, Università di Bologna
Verified email at unibo.it - Homepage
Title
Cited by
Cited by
Year
Stochastic bigraphs
J Krivine, R Milner, A Troina
Electronic Notes in Theoretical Computer Science 218, 73-96, 2008
1542008
Parametric probabilistic transition systems for system design and analysis
R Lanotte, A Maggiolo-Schettini, A Troina
Formal Aspects of Computing 19, 93-109, 2007
1012007
A calculus of looping sequences for modelling microbiological systems
R Barbuti, A Maggiolo-Schettini, P Milazzo, A Troina
Fundamenta Informaticae 72 (1-3), 21-35, 2006
982006
Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways
R Barbuti, A Maggiolo-Schettini, P Milazzo, P Tiberi, A Troina
Transactions on Computational Systems Biology IX, 86-113, 2008
60*2008
A probabilistic applied pi–calculus
J Goubault-Larrecq, C Palamidessi, A Troina
Programming Languages and Systems: 5th Asian Symposium, APLAS 2007 …, 2007
562007
Bisimulations in calculi modelling membranes
R Barbuti, A Maggiolo-Schettini, P Milazzo, A Troina
Formal Aspects of Computing 20, 351-377, 2008
472008
Bisimulation congruences in the calculus of looping sequences
R Barbuti, A Maggiolo-Schettini, P Milazzo, A Troina
Theoretical Aspects of Computing-ICTAC 2006: Third International Colloquium …, 2006
442006
Weak bisimulation for probabilistic timed automata and applications to security
R Lanotte, A Maggiolo-Schettini, A Troina
First International Conference onSoftware Engineering and Formal Methods …, 2003
44*2003
A probabilistic model for molecular systems
R Barbuti, S Cataudella, A Maggiolo-Schettini, P Milazzo, A Troina
Fundamenta Informaticae 67 (1-3), 13-27, 2005
372005
Design and verification of long-running transactions in a timed framework
R Lanotte, A Maggiolo-Schettini, P Milazzo, A Troina
Science of Computer Programming 73 (2-3), 76-94, 2008
322008
Stochastic calculus of wrapped compartments
M Coppo, F Damiani, M Drocco, E Grassi, A Troina
arXiv preprint arXiv:1006.5099, 2010
312010
Modeling long–running transactions with communicating hierarchical timed automata
R Lanotte, A Maggiolo-Schettini, P Milazzo, A Troina
Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 …, 2006
252006
Automatic analysis of a non-repudiation protocol
R Lanotte, A Maggiolo-Schettini, A Troina
Electronic Notes in Theoretical Computer Science 112, 113-129, 2005
252005
On designing multicore-aware simulators for biological systems
M Aldinucci, M Coppo, F Damiani, M Drocco, M Torquati, A Troina
2011 19th International Euromicro Conference on Parallel, Distributed and …, 2011
242011
Type disciplines for analysing biologically relevant properties
B Aman, M Dezani-Ciancaglini, A Troina
Electronic Notes in Theoretical Computer Science 227, 97-111, 2009
242009
The calculus of looping sequences for modeling biological membranes
R Barbuti, A Maggiolo–Schettini, P Milazzo, A Troina
Membrane Computing: 8th International Workshop, WMC 2007 Thessaloniki …, 2007
232007
A type system for required/excluded elements in CLS
M Dezani-Ciancaglini, P Giannini, A Troina
arXiv preprint arXiv:0911.2323, 2009
212009
Hybrid calculus of wrapped compartments
M Coppo, F Damiani, M Drocco, E Grassi, E Sciacca, S Spinella, A Troina
arXiv preprint arXiv:1011.0494, 2010
192010
Time and probability-based information flow analysis
R Lanotte, A Maggiolo-Schettini, A Troina
IEEE Transactions on Software Engineering 36 (5), 719-734, 2010
192010
A type system for a stochastic CLS
M Dezani-Ciancaglini, P Giannini, A Troina
arXiv preprint arXiv:0911.4985, 2009
192009
The system can't perform the operation now. Try again later.
Articles 1–20