| Stochastic bigraphs J Krivine, R Milner, A Troina Electronic Notes in Theoretical Computer Science 218, 73-96, 2008 | 162 | 2008 |
| 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 | 116 | 2007 |
| 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 | 102 | 2006 |
| A probabilistic applied pi–calculus J Goubault-Larrecq, C Palamidessi, A Troina Asian Symposium on Programming Languages and Systems, 175-190, 2007 | 61 | 2007 |
| 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 |
| Bisimulations in calculi modelling membranes R Barbuti, A Maggiolo-Schettini, P Milazzo, A Troina Formal Aspects of Computing 20 (4), 351-377, 2008 | 47 | 2008 |
| 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 | 47* | 2003 |
| 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 | 45 | 2006 |
| 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 | 38 | 2005 |
| 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 | 31 | 2008 |
| Stochastic calculus of wrapped compartments M Coppo, F Damiani, M Drocco, E Grassi, A Troina arXiv preprint arXiv:1006.5099, 2010 | 30 | 2010 |
| Automatic analysis of a non-repudiation protocol R Lanotte, A Maggiolo-Schettini, A Troina Electronic Notes in Theoretical Computer Science 112, 113-129, 2005 | 26 | 2005 |
| 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 | 24 | 2011 |
| Type disciplines for analysing biologically relevant properties B Aman, M Dezani-Ciancaglini, A Troina Electronic Notes in Theoretical Computer Science 227, 97-111, 2009 | 24 | 2009 |
| 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 | 23 | 2007 |
| 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 | 23 | 2006 |
| Time and probability-based information flow analysis R Lanotte, A Maggiolo-Schettini, A Troina IEEE Transactions on Software Engineering 36 (5), 719-734, 2010 | 21 | 2010 |
| A type system for required/excluded elements in CLS M Dezani-Ciancaglini, P Giannini, A Troina arXiv preprint arXiv:0911.2323, 2009 | 21 | 2009 |
| A type system for a stochastic CLS M Dezani-Ciancaglini, P Giannini, A Troina arXiv preprint arXiv:0911.4985, 2009 | 20 | 2009 |
| 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 | 19 | 2005 |
Ruggero LanotteUniversità dell'InsubriaVerified email at uninsubria.it
