Michele Boreale

Cited by

	All	Since 2020
Citations	2688	291
h-index	27	9
i10-index	52	9

220

110

165

1994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202513 22 31 24 54 57 52 36 70 117 115 152 106 172 203 167 158 114 127 72 79 133 65 64 44 93 56 56 51 39 79 10

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
Prof. Michele LoretiSchool of Science and Technology, University of CamerinoVerified email at unicam.it
Roberto BruniUniversity of PisaVerified email at di.unipi.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
Francesca PampaloniIMT LuccaVerified email at imtlucca.it
Antonio RavaraAssociate Professor, Department of Informatics, New University of LisbonVerified email at fct.unl.pt
Luis CairesProfessor of Computer Science, Instituto Superior Técnico, Universidade de LisboaVerified email at tecnico.ulisboa.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
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
Cosimo LaneveProfessor of Computer Science, University of BolognaVerified email at unibo.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 International Colloquium on Automata, Languages, and Programming, 667-681, 2001	217	2001
SCC: a service centered calculus M Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ... International Workshop on Web Services and Formal Methods, 38-57, 2006	210	2006
Proof techniques for cryptographic processes M Boreale, R De Nicola, R Pugliese SIAM Journal on Computing 31 (3), 947-986, 2001	188	2001
Sessions and pipelines for structured service programming M Boreale, R Bruni, R De Nicola, M Loreti International Conference on Formal Methods for Open Object-Based Distributed …, 2008	157	2008
A fully abstract semantics for causality in the-calculus M Boreale, D Sangiorgi Acta Informatica 35 (5), 353-400, 1998	145	1998
Testing equivalence for mobile processes M Boreale, R Denicola Information and Computation 120 (2), 279-303, 1995	127	1995
On the expressiveness of internal mobility in name-passing calculi M Boreale Theoretical computer science 195 (2), 205-226, 1998	102	1998
A Symbolic Semantics for the π-Calculus M Boreale, R De Nicola Information and Computation 126 (1), 34-52, 1996	88	1996
A coalgebraic perspective on linear weighted automata F Bonchi, M Bonsangue, M Boreale, J Rutten, A Silva Information and Computation 211, 77-105, 2012	73	2012
Bisimulation in name-passing calculi without matching M Boreale, D Sangiorgi Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science …, 1998	73	1998
Trace and testing equivalence on asynchronous processes M Boreale, R De Nicola, R Pugliese Information and Computation 172 (2), 139-164, 2002	69	2002
A Framework for the Analysis of Security Protocols^* M Boreale, MG Buscemi International Conference on Concurrency Theory, 483-498, 2002	62	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	54	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	51	2002
Weighted bisimulation in linear algebraic form M Boreale International Conference on Concurrency Theory, 163-177, 2009	48	2009
Quantifying information leakage in process calculi M Boreale Information and Computation 207 (6), 699-725, 2009	47	2009
Asymptotic information leakage under one-try attacks M Boreale, F Pampaloni, M Paolini Foundations of Software Science and Computational Structures: 14th …, 2011	38	2011
Quantifying information leakage in process calculi M Boreale Automata, Languages and Programming: 33rd International Colloquium, ICALP …, 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