Michele Boreale

Cited by

	All	Since 2018
Citations	2587	333
h-index	25	10
i10-index	49	11

200

100

150

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202313 18 25 19 51 52 48 40 73 117 109 161 105 169 193 174 155 114 129 74 87 139 69 68 45 95 57 55 56 23

Public access

View all

4 articles

1 article

available

not available

Based on funding mandates

Co-authors

Rocco De NicolaProfessor of Computer Science, IMT LuccaVerified email at imtlucca.it
Rosario PuglieseProfessor of Computer Science, University of FlorenceVerified email at unifi.it
Davide SangiorgiProfessor of Computer Science, University of BolognaVerified email at cs.unibo.it
Roberto BruniUniversity of PisaVerified email at di.unipi.it
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerified email at unicam.it
Gianluigi ZavattaroProfessor in Computer Science, University of BolognaVerified email at cs.unibo.it
Daniele GorlaVerified email at di.uniroma1.it
Vasco T. VasconcelosLASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de LisboaVerified email at di.fc.ul.pt
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonVerified email at fct.unl.pt
Luis CairesProfessor of Computer Science, Universidade Nova de LisboaVerified email at fct.unl.pt
Ivan LaneseUniversity of BolognaVerified email at unibo.it
Francisco MartinsAssociate Professor, Faculty of Sciences and Technology, University of the Azores and LASIGEVerified email at uac.pt
David ClarkComputer Science, University College LondonVerified email at ucl.ac.uk
Cosimo LaneveProfessor of Computer Science, University of BolognaVerified email at unibo.it
Fabio CorradiVerified email at unifi.it
Alexandra SilvaCornell UniversityVerified email at cornell.edu
Jan RuttenCWIVerified email at cwi.nl
Filippo BonchiCNRS ENS-LyonVerified email at ens-lyon.fr
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Fabio GadducciProfessore di Informatica, Università di PisaVerified email at unipi.it

Michele Boreale

Università di Firenze, DiSIA

Verified email at unifi.it - Homepage

Theoretical Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Symbolic trace analysis of cryptographic protocols M Boreale Automata, Languages and Programming: 28th International Colloquium, ICALP …, 2001	226	2001
SCC: A Service Centered Calculus M Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ... Web Services and Formal Methods: Third International Workshop, WS-FM 2006 …, 2006	208	2006
Proof techniques for cryptographic processes M Boreale, R De Nicola, R Pugliese SIAM Journal on Computing 31 (3), 947-986, 2001	183	2001
Sessions and pipelines for structured service programming M Boreale, R Bruni, R De Nicola, M Loreti Formal Methods for Open Object-Based Distributed Systems: 10th IFIP WG 6.1 …, 2008	158	2008
A fully abstract semantics for causality in the-calculus M Boreale, D Sangiorgi Acta Informatica 35 (5), 353-400, 1998	146	1998
Testing equivalence for mobile processes M Boreale, R Denicola Information and Computation 120 (2), 279-303, 1995	123	1995
On the expressiveness of internal mobility in name-passing calculi M Boreale Theoretical computer science 195 (2), 205-226, 1998	94	1998
A Symbolic Semantics for the π-Calculus M Boreale, R De Nicola Information and Computation 126 (1), 34-52, 1996	83	1996
Bisimulation in name-passing calculi without matching M Boreale, D Sangiorgi Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998	74	1998
Trace and testing equivalence on asynchronous processes M Boreale, R De Nicola, R Pugliese Information and Computation 172 (2), 139-164, 2002	64	2002
A coalgebraic perspective on linear weighted automata F Bonchi, M Bonsangue, M Boreale, J Rutten, A Silva Information and Computation 211, 77-105, 2012	63	2012
A Framework for the Analysis of Security Protocols^* M Boreale, MG Buscemi CONCUR 2002—Concurrency Theory: 13th International Conference Brno, Czech …, 2002	60	2002
A type system for client progress in a service-oriented calculus L Acciai, M Boreale Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the …, 2008	54	2008
Some congruence properties for π-calculus bisimilarities M Boreale, D Sangiorgi Theoretical Computer Science 198 (1-2), 159-176, 1998	53	1998
Experimenting with STA, a tool for automatic analysis of security protocols M Boreale, MG Buscemi Proceedings of the 2002 ACM symposium on Applied computing, 281-285, 2002	50	2002
Quantifying information leakage in process calculi M Boreale Information and Computation 207 (6), 699-725, 2009	49	2009
Weighted bisimulation in linear algebraic form M Boreale CONCUR 2009-Concurrency Theory: 20th International Conference, CONCUR 2009 …, 2009	42	2009
Asymptotic information leakage under one-try attacks M Boreale, F Pampaloni, M Paolini Foundations of Software Science and Computational Structures: 14th …, 2011	39	2011
Quantifying information leakage in process calculi M Boreale ICALP (2), 119-131, 2006	37	2006
Basic observables for processes M Boreale, R Pugliese Information and Computation 149 (1), 77-98, 1999	35	1999

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