Ikuti
Angelo Troina
Angelo Troina
Dipartimento di Informatica - Scienza e Ingegneria, Università di Bologna
Email yang diverifikasi di unibo.it - Beranda
Judul
Dikutip oleh
Dikutip oleh
Tahun
Stochastic bigraphs
J Krivine, R Milner, A Troina
Electronic Notes in Theoretical Computer Science 218, 73-96, 2008
1562008
Parametric probabilistic transition systems for system design and analysis
R Lanotte, A Maggiolo-Schettini, A Troina
Formal Aspects of Computing 19, 93-109, 2007
1102007
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
1012006
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
61*2008
A probabilistic applied pi–calculus
J Goubault-Larrecq, C Palamidessi, A Troina
Programming Languages and Systems: 5th Asian Symposium, APLAS 2007 …, 2007
592007
Bisimulations in calculi modelling membranes
R Barbuti, A Maggiolo-Schettini, P Milazzo, A Troina
Formal Aspects of Computing 20, 351-377, 2008
472008
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
46*2003
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
452006
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
382005
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
302010
Modeling long–running transactions with communicating hierarchical timed automata
R Lanotte, A Maggiolo-Schettini, P Milazzo, A Troina
International Conference on Formal Methods for Open Object-Based Distributed …, 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
Time and probability-based information flow analysis
R Lanotte, A Maggiolo-Schettini, A Troina
IEEE Transactions on Software Engineering 36 (5), 719-734, 2010
212010
A type system for required/excluded elements in CLS
M Dezani-Ciancaglini, P Giannini, A Troina
arXiv preprint arXiv:0911.2323, 2009
212009
A type system for a stochastic CLS
M Dezani-Ciancaglini, P Giannini, A Troina
arXiv preprint arXiv:0911.4985, 2009
202009
An alternative to Gillespie’s algorithm for simulating chemical reactions
R Barbuti, A Maggiolo-Schettini, P Milazzo, A Troina
Computational Methods in Systems Biology (CMSB’05), Edinburgh, 2005
192005
Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.
Artikel 1–20