Angelo Troina

Cited by

	All	Since 2020
Citations	1198	168
h-index	19	5
i10-index	33	3

120

2004200520062007200820092010201120122013201420152016201720182019202020212022202320249 14 19 59 80 99 97 96 109 78 103 86 35 52 34 43 28 23 52 18 47

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Ruggero LanotteUniversità dell'InsubriaVerified email at uninsubria.it
Paolo MilazzoDipartimento di Informatica, Università di PisaVerified email at di.unipi.it
Ferruccio DamianiFull Professor of Compurer Science, University of TorinoVerified email at di.unito.it
Maurizio DroccoVerified email at ibm.com
Eva SciaccaTechnology Researcher, INAF CataniaVerified email at inaf.it
Elena GrassiPostDoc in the Translational Cancer Medicine lab, Department of Oncology, University of TurinVerified email at unito.it
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityVerified email at di.unito.it
Marco AldinucciFull Professor in Computer Science, University of TorinoVerified email at unito.it
Massimo TorquatiComputer Science Department University of Pisa, ItalyVerified email at unipi.it
Jean KrivineCNRS and Université de ParisVerified email at irif.fr
Catuscia PalamidessiInriaVerified email at lix.polytechnique.fr
Jean Goubault-LarrecqVerified email at lsv.fr
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
Bogdan AmanInstitute of Computer Science, Romanian Academy AND Faculty of Computer Science, UAIC, Iasi, RomaniaVerified email at iit.academiaromana-is.ro
Pablo RamónUniversidad Técnica Particular de LojaVerified email at utpl.edu.ec
Jeremy SprostonAssistant professor, University of TurinVerified email at di.unito.it
Adriana CompagnoniProfessor of Computer Science, Stevens Institute of TechnologyVerified email at stevens.edu
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


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	158	2008
Parametric probabilistic transition systems for system design and analysis R Lanotte, A Maggiolo-Schettini, A Troina Formal Aspects of Computing 19, 93-109, 2007	109	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	100	2006
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	59	2007
Bisimulations in calculi modelling membranes R Barbuti, A Maggiolo-Schettini, P Milazzo, A Troina Formal Aspects of Computing 20, 351-377, 2008	48	2008
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	45	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	45*	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	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	32	2008
Stochastic calculus of wrapped compartments M Coppo, F Damiani, M Drocco, E Grassi, A Troina arXiv preprint arXiv:1006.5099, 2010	31	2010
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	25	2006
Automatic analysis of a non-repudiation protocol R Lanotte, A Maggiolo-Schettini, A Troina Electronic Notes in Theoretical Computer Science 112, 113-129, 2005	25	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 Membrane Computing: 8th International Workshop, WMC 2007 Thessaloniki …, 2007	24	2007
A type system for required/excluded elements in CLS M Dezani-Ciancaglini, P Giannini, A Troina arXiv preprint arXiv:0911.2323, 2009	21	2009
Time and probability-based information flow analysis R Lanotte, A Maggiolo-Schettini, A Troina IEEE Transactions on Software Engineering 36 (5), 719-734, 2010	20	2010
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	19	2010
A type system for a stochastic CLS M Dezani-Ciancaglini, P Giannini, A Troina arXiv preprint arXiv:0911.4985, 2009	19	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

Follow

Cited by

Co-authors