Michele Boreale

Cited by

	All	Since 2019
Citations	2645	343
h-index	27	10
i10-index	52	12

220

110

165

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202413 22 31 24 54 57 52 36 70 117 115 152 105 173 203 166 158 115 127 72 79 135 64 65 43 93 56 55 50 36 53

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
Cosimo LaneveProfessor of Computer Science, University of BolognaVerified email at unibo.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

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
A coalgebraic perspective on linear weighted automata F Bonchi, M Bonsangue, M Boreale, J Rutten, A Silva Information and Computation 211, 77-105, 2012	70	2012
A complexity analysis of bisimilarity for value-passing processes M Boreale, L Trevisan Theoretical Computer Science 238 (1-2), 313-345, 2000	5	2000
A concurrent calculus with atomic transactions L Acciai, M Boreale, S Dal Zilio European Symposium on Programming, 48-63, 2007	17	2007
A Framework for the Analysis of Security Protocols^* M Boreale, MG Buscemi International Conference on Concurrency Theory, 483-498, 2002	61	2002
A fully abstract semantics for causality in the-calculus M Boreale, D Sangiorgi Acta Informatica 35 (5), 353-400, 1998	145	1998
A linear-algebraic method to compute polynomial PDE conservation laws M Boreale, L Collodi Journal of Symbolic Computation 108, 55-72, 2022	1	2022
A method for symbolic analysis of security protocols M Boreale, MG Buscemi Theoretical Computer Science 338 (1-3), 393-425, 2005	16	2005
A model checking tool for the pi-calculus based on piautomata M Boreale, G Ferro, G Ristori Technical Report B4-52-12-95, 1995	3	1995
A semiring-based trace semantics for processes with applications to information leakage analysis M Boreale, D Clark, D Gorla Mathematical Structures in Computer Science 25 (2), 259-291, 2015	4	2015
A semiring-based trace semantics for processes with applications to information leakage analysis M Boreale, D Clark, D Gorla IFIP International Conference on Theoretical Computer Science, 340-354, 2010	6	2010
A Symbolic Semantics for the π-calculus M Boreale, R De Nicola International Conference on Concurrency Theory, 299-314, 1994	23*	1994
A Symbolic Semantics for the π-Calculus M Boreale, R De Nicola Information and Computation 126 (1), 34-52, 1996	89	1996
A theory of “may” testing for asynchronous languages M Boreale, R De Nicola, R Pugliese International Conference on Foundations of Software Science and Computation …, 1999	12	1999
A Theory of Symbolic Bisimulation for Timed Processes M Boreale Rapporto tecnico SI/RR 96 (07), 1996		1996
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
A typed calculus for querying distributed XML documents L Acciai, M Boreale, S Dal Zilio International Symposium on Trustworthy Global Computing, 167-182, 2006	6	2006
Advanced mechanisms for service composition, query and discovery M Boreale, M Bravetti Rigorous Software Engineering for Service-Oriented Systems: Results of the …, 2011	9	2011
Algebra and coalgebra of stream products M Boreale, D Gorla arXiv preprint arXiv:2107.04455, 2021	5	2021
Algebra, coalgebra, and minimization in polynomial differential equations M Boreale Logical Methods in Computer Science 15, 2019	31	2019
Algorithms for exact and approximate linear abstractions of polynomial continuous systems M Boreale Proceedings of the 21st International Conference on Hybrid Systems …, 2018	10	2018

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