Angelo Troina
Angelo Troina
Dipartimento di Informatica - Scienza e Ingegneria, Università di Bologna
Bestätigte E-Mail-Adresse bei unibo.it - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Stochastic bigraphs
J Krivine, R Milner, A Troina
Electronic Notes in Theoretical Computer Science 218, 73-96, 2008
1232008
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
922006
Parametric probabilistic transition systems for system design and analysis
R Lanotte, A Maggiolo-Schettini, A Troina
Formal Aspects of Computing 19 (1), 93-109, 2007
692007
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
57*2008
A probabilistic applied pi–calculus
J Goubault-Larrecq, C Palamidessi, A Troina
Asian Symposium on Programming Languages and Systems, 175-190, 2007
452007
Bisimulations in calculi modelling membranes
R Barbuti, A Maggiolo-Schettini, P Milazzo, A Troina
Formal Aspects of Computing 20 (4-5), 351-377, 2008
442008
Bisimulation congruences in the calculus of looping sequences
R Barbuti, A Maggiolo-Schettini, P Milazzo, A Troina
International Colloquium on Theoretical Aspects of Computing, 93-107, 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
40*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
362005
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
302008
Stochastic calculus of wrapped compartments
M Coppo, F Damiani, M Drocco, E Grassi, A Troina
arXiv preprint arXiv:1006.5099, 2010
272010
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
Type disciplines for analysing biologically relevant properties
B Aman, M Dezani-Ciancaglini, A Troina
Electronic Notes in Theoretical Computer Science 227, 97-111, 2009
232009
The calculus of looping sequences for modeling biological membranes
R Barbuti, A Maggiolo–Schettini, P Milazzo, A Troina
International Workshop on Membrane Computing, 54-76, 2007
212007
Automatic analysis of a non-repudiation protocol
R Lanotte, A Maggiolo-Schettini, A Troina
Electronic Notes in Theoretical Computer Science 112, 113-129, 2005
212005
A type system for required/excluded elements in CLS
M Dezani-Ciancaglini, P Giannini, A Troina
arXiv preprint arXiv:0911.2323, 2009
202009
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
192011
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
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
172010
A type system for a stochastic CLS
M Dezani-Ciancaglini, P Giannini, A Troina
arXiv preprint arXiv:0911.4985, 2009
172009
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20