Angelo Troina

Cited by

	All	Since 2016
Citations	1025	183
h-index	18	6
i10-index	30	3

120

2004200520062007200820092010201120122013201420152016201720182019202011 13 17 56 76 95 101 99 111 76 92 92 37 55 35 28 28

Co-authors

Paolo MilazzoDipartimento di Informatica, Università di PisaVerified email at di.unipi.it
Ruggero LanotteRicercatore in Informatica Università dell'InsubriaVerified email at uninsubria.it
Ferruccio DamianiAssociate Professor of Compurer Science, University of TorinoVerified email at di.unito.it
Maurizio DroccoIBMVerified email at ibm.com
Eva SciaccaTechnology Researcher, INAF CataniaVerified email at inaf.it
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityVerified email at di.unito.it
Paola GianniniProfessor of Computer Science, Universita' del Piemonte OrientaleVerified email at di.unipmn.it
Elena GrassiPhD student, Dept. of Molecular Biotechnology and Health Sciences, Molecular Biotechnology Center, University of TurinVerified email at unito.it
Marco AldinucciFull Professor in Computer Science, University of TorinoVerified email at unito.it
Livio BioglioResearch FellowVerified email at di.unito.it
Jean KrivineCNRS and Université de ParisVerified email at irif.fr
Massimo TorquatiComputer Science Department University of Pisa, ItalyVerified email at di.unipi.it
simone tiniUniversità dell'InsubriaVerified email at uninsubria.it
Alessandro AldiniAssociate Professor in Computer Science, University of UrbinoVerified email at uniurb.it
Enrico TronciSapienza University of RomeVerified email at di.uniroma1.it
Catuscia PalamidessiINRIA, University of Paris Saclay and Ecole PolytechniqueVerified email at lix.polytechnique.fr
Jean Goubault-LarrecqVerified email at lsv.fr
Bogdan AmanInstitute of Computer Science, Romanian Academy, Iasi BranchVerified email at iit.academiaromana-is.ro
Jeremy SprostonAssistant professor, University of TurinVerified email at di.unito.it
Sara CapecchiDipartimento di InformaticaVerified email at unito.it

Angelo Troina

Dipartimento di Informatica - Scienza e Ingegneria, Università di Bologna

Verified email at unibo.it - Homepage

Concurrent Systems Real-Time and Probabilistic Systems Security Analysis and Design Systems Biology Philosophy of Informatio


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Stochastic bigraphs J Krivine, R Milner, A Troina Electronic Notes in Theoretical Computer Science 218, 73-96, 2008	123	2008
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	92	2006
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	70	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	57*	2008
A probabilistic applied pi–calculus J Goubault-Larrecq, C Palamidessi, A Troina Asian Symposium on Programming Languages and Systems, 175-190, 2007	46	2007
Bisimulations in calculi modelling membranes R Barbuti, A Maggiolo-Schettini, P Milazzo, A Troina Formal Aspects of Computing 20 (4-5), 351-377, 2008	44	2008
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	44	2006
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	41*	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	36	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	30	2008
Stochastic calculus of wrapped compartments M Coppo, F Damiani, M Drocco, E Grassi, A Troina arXiv preprint arXiv:1006.5099, 2010	27	2010
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	25	2006
Type disciplines for analysing biologically relevant properties B Aman, M Dezani-Ciancaglini, A Troina Electronic Notes in Theoretical Computer Science 227, 97-111, 2009	23	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	21	2007
Automatic analysis of a non-repudiation protocol R Lanotte, A Maggiolo-Schettini, A Troina Electronic Notes in Theoretical Computer Science 112, 113-129, 2005	21	2005
A type system for required/excluded elements in CLS M Dezani-Ciancaglini, P Giannini, A Troina arXiv preprint arXiv:0911.2323, 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
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	18	2011
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	17	2010
A type system for a stochastic CLS M Dezani-Ciancaglini, P Giannini, A Troina arXiv preprint arXiv:0911.4985, 2009	17	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors