×

zbMATH — the first resource for mathematics

Boreale, Michele

Compute Distance To:
Author ID: boreale.michele Recent zbMATH articles by "Boreale, Michele"
Published as: Boreale, M.; Boreale, Michele
External Links: MGP
Documents Indexed: 56 Publications since 1992, including 2 Books

Publications by Year

Citations contained in zbMATH Open

48 Publications have been cited 317 times in 228 Documents Cited by Year
A fully abstract semantics for causality in the \(\pi\)-calculus. Zbl 0908.68103
Boreale, Michele; Sangiorgi, Davide
35
1998
On the expressiveness of internal mobility in name-passing calculi. Zbl 0915.68059
Boreale, Michele
25
1998
Testing equivalence for mobile processes. Zbl 0835.68073
Boreale, Michele; De Nicola, Rocco
23
1995
Proof techniques for cryptographic processes. Zbl 1017.68050
Boreale, Michele; De Nicola, Rocco; Pugliese, Rosario
20
2002
Symbolic trace analysis of cryptographic protocols. Zbl 0986.94022
Boreale, Michele
18
2001
A coalgebraic perspective on linear weighted automata. Zbl 1279.68235
Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra
15
2012
Some congruence properties for \(\pi\)-calculus bisimilarities. Zbl 0902.68117
Boreale, Michele; Sangiorgi, Davide
13
1998
Weighted bisimulation in linear algebraic form. Zbl 1254.68130
Boreale, Michele
12
2009
Basic observables for processes. Zbl 0928.68013
Boreale, Michele; De Nicola, Rocco; Pugliese, Rosario
12
1999
A symbolic semantics for the \(\pi\)-calculus. Zbl 0853.68126
Boreale, Michele; De Nicola, Rocco
12
1996
Trace and testing equivalence on asynchronous processes. Zbl 1009.68079
Boreale, Michele; De Nicola, Rocco; Pugliese, Rosario
11
2002
Asymptotic information leakage under one-try attacks. Zbl 1326.94077
Boreale, Michele; Pampaloni, Francesca; Paolini, Michela
9
2011
A type system for client progress in a service-oriented calculus. Zbl 1143.68469
Acciai, Lucia; Boreale, Michele
9
2008
A fully abstract semantics for causality in the \(\pi\)-calculus. Zbl 1379.68245
Boreale, Michele; Sangiorgi, Davide
7
1995
Quantifying information leakage in process calculi. Zbl 1167.68038
Boreale, Michele
6
2009
XPi: a typed process calculus for XML messaging. Zbl 1146.68050
Acciai, Lucia; Boreale, Michele
6
2008
Processes as formal power series: a coinductive approach to denotational semantics. Zbl 1097.68070
Boreale, Michele; Gadducci, Fabio
6
2006
D-fusion: A distinctive fusion calculus. Zbl 1116.68540
Boreale, Michele; Buscemi, Maria Grazia; Montanari, Ugo
6
2004
A framework for the analysis of security protocols. Zbl 1012.68520
Boreale, Michele; Buscemi, Maria Grazia
6
2002
Algebra, coalgebra, and minimization in polynomial differential equations. Zbl 06720984
Boreale, Michele
5
2017
A general name binding mechanism. Zbl 1151.68508
Boreale, Michele; Buscemi, Maria Grazia; Montanari, Ugo
5
2005
Deciding safety properties in infinite-state pi-calculus via behavioural types. Zbl 1248.68346
Acciai, Lucia; Boreale, Michele
4
2009
Responsiveness in process calculi. Zbl 1157.68050
Acciai, Lucia; Boreale, Michele
4
2008
Spatial and behavioral types in the pi-calculus. Zbl 1160.03312
Acciai, Lucia; Boreale, Michele
4
2008
Quantifying information leakage in process calculi. Zbl 1133.68382
Boreale, Michele
4
2006
Denotational testing semantics in coinductive form. Zbl 1124.68383
Boreale, Michele; Gadducci, Fabio
4
2003
Quantitative information flow under generic leakage functions and adaptive adversaries. Zbl 1448.68236
Boreale, Michele; Pampaloni, Francesca
3
2015
Spatial and behavioral types in the pi-calculus. Zbl 1209.68331
Acciai, Lucia; Boreale, Michele
3
2010
On the relationship between spatial logics and behavioral simulations. Zbl 1284.03204
Acciai, Lucia; Boreale, Michele; Zavattaro, Gianluigi
3
2010
CaSPiS: a calculus of sessions, pipelines and services. Zbl 1361.68161
Boreale, Michele; Bruni, Roberto; De Nicola, Rocco; Loreti, Michele
2
2015
Asymptotic information leakage under one-try attacks. Zbl 1361.68079
Boreale, Michele; Pampaloni, Francesca; Paolini, Michela
2
2015
Analysis of probabilistic systems via generating functions and Padé approximation. Zbl 1440.60071
Boreale, Michele
2
2015
Worst- and average-case privacy breaches in randomization mechanisms. Zbl 1369.94575
Boreale, Michele; Paolini, Michela
2
2015
Behavioural contracts with request-response operations. Zbl 1264.68117
Acciai, Lucia; Boreale, Michele; Zavattaro, Gianluigi
2
2013
Worst- and average-case privacy breaches in randomization mechanisms. Zbl 1329.94084
Boreale, Michele; Paolini, Michela
2
2012
A method for symbolic analysis of security protocols. Zbl 1068.94009
Boreale, Michele; Buscemi, Maria Grazia
2
2005
On compositional reasoning in the spi-calculus. Zbl 1077.68713
Boreale, Michele; Gorla, Daniele
2
2002
Algebra, coalgebra, and minimization in polynomial differential equations. Zbl 07029313
Boreale, Michele
1
2019
Algorithms for exact and approximate linear abstractions of polynomial continuous systems. Zbl 1417.93147
Boreale, Michele
1
2018
Asymptotic risk analysis for trust and reputation systems. Zbl 1302.68303
Boreale, Michele; Celestini, Alessandro
1
2013
Formal techniques for distributed systems. Joint IFIP WG 6.1 international conference, FMOODS/FORTE 2013, held as part of the 8th international federated conference on distributed computing techniques, DisCo Tec 2013, Florence, Italy, June 3–5, 2013. Proceedings. Zbl 1283.68029
Beyer, Dirk (ed.); Boreale, Michele (ed.)
1
2013
Deciding safety properties in infinite-state pi-calculus via behavioural types. Zbl 1279.68192
Acciai, Lucia; Boreale, Michele
1
2012
A semiring-based trace semantics for processes with applications to information leakage analysis. Zbl 1198.68118
Boreale, Michele; Clark, David; Gorla, Daniele
1
2010
Type abstractions of name-passing processes. Zbl 1141.68500
Acciai, Lucia; Boreale, Michele
1
2007
A concurrent calculus with atomic transactions. Zbl 1187.68062
Acciai, Lucia; Boreale, Michele; Dal Zilio, Silvano
1
2007
Symbolic analysis of crypto-protocols based on modular exponentiation. Zbl 1124.94301
Boreale, Michele; Buscemi, Maria Grazia
1
2003
Divergence in testing and readiness semantics. Zbl 0989.68084
Boreale, M.; Nicola, R. D.; Pugliese, R.
1
2001
A complexity analysis of bisimilarity for value-passing processes. Zbl 0944.68135
Boreale, M.; Trevisan, L.
1
2000
Algebra, coalgebra, and minimization in polynomial differential equations. Zbl 07029313
Boreale, Michele
1
2019
Algorithms for exact and approximate linear abstractions of polynomial continuous systems. Zbl 1417.93147
Boreale, Michele
1
2018
Algebra, coalgebra, and minimization in polynomial differential equations. Zbl 06720984
Boreale, Michele
5
2017
Quantitative information flow under generic leakage functions and adaptive adversaries. Zbl 1448.68236
Boreale, Michele; Pampaloni, Francesca
3
2015
CaSPiS: a calculus of sessions, pipelines and services. Zbl 1361.68161
Boreale, Michele; Bruni, Roberto; De Nicola, Rocco; Loreti, Michele
2
2015
Asymptotic information leakage under one-try attacks. Zbl 1361.68079
Boreale, Michele; Pampaloni, Francesca; Paolini, Michela
2
2015
Analysis of probabilistic systems via generating functions and Padé approximation. Zbl 1440.60071
Boreale, Michele
2
2015
Worst- and average-case privacy breaches in randomization mechanisms. Zbl 1369.94575
Boreale, Michele; Paolini, Michela
2
2015
Behavioural contracts with request-response operations. Zbl 1264.68117
Acciai, Lucia; Boreale, Michele; Zavattaro, Gianluigi
2
2013
Asymptotic risk analysis for trust and reputation systems. Zbl 1302.68303
Boreale, Michele; Celestini, Alessandro
1
2013
Formal techniques for distributed systems. Joint IFIP WG 6.1 international conference, FMOODS/FORTE 2013, held as part of the 8th international federated conference on distributed computing techniques, DisCo Tec 2013, Florence, Italy, June 3–5, 2013. Proceedings. Zbl 1283.68029
Beyer, Dirk (ed.); Boreale, Michele (ed.)
1
2013
A coalgebraic perspective on linear weighted automata. Zbl 1279.68235
Bonchi, Filippo; Bonsangue, Marcello; Boreale, Michele; Rutten, Jan; Silva, Alexandra
15
2012
Worst- and average-case privacy breaches in randomization mechanisms. Zbl 1329.94084
Boreale, Michele; Paolini, Michela
2
2012
Deciding safety properties in infinite-state pi-calculus via behavioural types. Zbl 1279.68192
Acciai, Lucia; Boreale, Michele
1
2012
Asymptotic information leakage under one-try attacks. Zbl 1326.94077
Boreale, Michele; Pampaloni, Francesca; Paolini, Michela
9
2011
Spatial and behavioral types in the pi-calculus. Zbl 1209.68331
Acciai, Lucia; Boreale, Michele
3
2010
On the relationship between spatial logics and behavioral simulations. Zbl 1284.03204
Acciai, Lucia; Boreale, Michele; Zavattaro, Gianluigi
3
2010
A semiring-based trace semantics for processes with applications to information leakage analysis. Zbl 1198.68118
Boreale, Michele; Clark, David; Gorla, Daniele
1
2010
Weighted bisimulation in linear algebraic form. Zbl 1254.68130
Boreale, Michele
12
2009
Quantifying information leakage in process calculi. Zbl 1167.68038
Boreale, Michele
6
2009
Deciding safety properties in infinite-state pi-calculus via behavioural types. Zbl 1248.68346
Acciai, Lucia; Boreale, Michele
4
2009
A type system for client progress in a service-oriented calculus. Zbl 1143.68469
Acciai, Lucia; Boreale, Michele
9
2008
XPi: a typed process calculus for XML messaging. Zbl 1146.68050
Acciai, Lucia; Boreale, Michele
6
2008
Responsiveness in process calculi. Zbl 1157.68050
Acciai, Lucia; Boreale, Michele
4
2008
Spatial and behavioral types in the pi-calculus. Zbl 1160.03312
Acciai, Lucia; Boreale, Michele
4
2008
Type abstractions of name-passing processes. Zbl 1141.68500
Acciai, Lucia; Boreale, Michele
1
2007
A concurrent calculus with atomic transactions. Zbl 1187.68062
Acciai, Lucia; Boreale, Michele; Dal Zilio, Silvano
1
2007
Processes as formal power series: a coinductive approach to denotational semantics. Zbl 1097.68070
Boreale, Michele; Gadducci, Fabio
6
2006
Quantifying information leakage in process calculi. Zbl 1133.68382
Boreale, Michele
4
2006
A general name binding mechanism. Zbl 1151.68508
Boreale, Michele; Buscemi, Maria Grazia; Montanari, Ugo
5
2005
A method for symbolic analysis of security protocols. Zbl 1068.94009
Boreale, Michele; Buscemi, Maria Grazia
2
2005
D-fusion: A distinctive fusion calculus. Zbl 1116.68540
Boreale, Michele; Buscemi, Maria Grazia; Montanari, Ugo
6
2004
Denotational testing semantics in coinductive form. Zbl 1124.68383
Boreale, Michele; Gadducci, Fabio
4
2003
Symbolic analysis of crypto-protocols based on modular exponentiation. Zbl 1124.94301
Boreale, Michele; Buscemi, Maria Grazia
1
2003
Proof techniques for cryptographic processes. Zbl 1017.68050
Boreale, Michele; De Nicola, Rocco; Pugliese, Rosario
20
2002
Trace and testing equivalence on asynchronous processes. Zbl 1009.68079
Boreale, Michele; De Nicola, Rocco; Pugliese, Rosario
11
2002
A framework for the analysis of security protocols. Zbl 1012.68520
Boreale, Michele; Buscemi, Maria Grazia
6
2002
On compositional reasoning in the spi-calculus. Zbl 1077.68713
Boreale, Michele; Gorla, Daniele
2
2002
Symbolic trace analysis of cryptographic protocols. Zbl 0986.94022
Boreale, Michele
18
2001
Divergence in testing and readiness semantics. Zbl 0989.68084
Boreale, M.; Nicola, R. D.; Pugliese, R.
1
2001
A complexity analysis of bisimilarity for value-passing processes. Zbl 0944.68135
Boreale, M.; Trevisan, L.
1
2000
Basic observables for processes. Zbl 0928.68013
Boreale, Michele; De Nicola, Rocco; Pugliese, Rosario
12
1999
A fully abstract semantics for causality in the \(\pi\)-calculus. Zbl 0908.68103
Boreale, Michele; Sangiorgi, Davide
35
1998
On the expressiveness of internal mobility in name-passing calculi. Zbl 0915.68059
Boreale, Michele
25
1998
Some congruence properties for \(\pi\)-calculus bisimilarities. Zbl 0902.68117
Boreale, Michele; Sangiorgi, Davide
13
1998
A symbolic semantics for the \(\pi\)-calculus. Zbl 0853.68126
Boreale, Michele; De Nicola, Rocco
12
1996
Testing equivalence for mobile processes. Zbl 0835.68073
Boreale, Michele; De Nicola, Rocco
23
1995
A fully abstract semantics for causality in the \(\pi\)-calculus. Zbl 1379.68245
Boreale, Michele; Sangiorgi, Davide
7
1995
all top 5

Cited by 309 Authors

18 Boreale, Michele
14 Sangiorgi, Davide
11 Bonchi, Filippo
9 Yoshida, Nobuko
8 Pugliese, Rosario
8 Rutten, Jan J. M. M.
8 Silva, Alexandra
7 Bonsangue, Marcello Maria
7 De Nicola, Rocco
7 Palamidessi, Catuscia
6 Fu, Yuxi
6 Gorla, Daniele
5 Bruni, Roberto
5 Padovani, Luca
4 Amadio, Roberto M.
4 Caires, Luís
4 Chevalier, Yannick
4 Gadducci, Fabio
4 Hennessy, Matthew C. B.
4 Hirschkoff, Daniel
4 Hüttel, Hans
4 Lanese, Ivan
4 Lin, Huimin
4 Madiot, Jean-Marie
4 Montanari, Ugo G.
4 Nestmann, Uwe
4 Priami, Corrado
4 Rusinowitch, Michaël
3 Abadi, Martín
3 Acciai, Lucia
3 Alvim, Mário S.
3 Baldan, Paolo
3 Borgström, Johannes
3 Buscemi, Maria Grazia
3 Cacciagrano, Diletta Romana
3 Chatzikokolakis, Konstantinos
3 Corradini, Flavio
3 Degano, Pierpaolo
3 Dezani-Ciancaglini, Mariangiola
3 Fournet, Cédric
3 Gardner, Philippa Anne
3 Honda, Kohei
3 Laneve, Cosimo
3 Loreti, Michele
3 Mezzina, Claudio Antares
3 Pous, Damien
3 Rathke, Julian
3 Ravara, António
3 Stahl, Christian
3 Tiu, Alwen Fernanto
3 Vieira, Hugo Torres
3 Vogler, Walter
2 Bérard, Béatrice
2 Berger, Martin J.
2 Bertolotti, Ivan Cibrario
2 Blanchet, Bruno
2 Bodei, Chiara
2 Caltais, Georgiana
2 Cardelli, Luca
2 Castagna, Giuseppe
2 Ciancia, Vincenzo
2 Clark, David
2 Cortier, Véronique
2 Cremers, Cas J. F.
2 de Frutos-Escrig, David
2 Delaune, Stéphanie
2 Deng, Yuxin
2 Durante, Luca
2 Gordon, Andrew D.
2 Gori, Roberta
2 Gorrieri, Roberto
2 Gregorio-Rodríguez, Carlos
2 Hansen, Helle Hvid
2 Hierons, Robert Mark
2 Jacobs, Bart
2 Johansen, Christian
2 König, Barbara
2 Köpf, Boris
2 Küpper, Sebastian
2 Küsters, Ralf
2 Maffeis, Sergio
2 Medić, Doriana
2 Monreale, Giacoma Valentina
2 Nicola, R. D.
2 Normann, Håkon
2 Oliveira, José Nuno
2 Panangaden, Prakash
2 Paolini, Michela
2 Parrow, Joachim
2 Pérez, Jorge A.
2 Peters, Kirstin
2 Petrisan, Daniela Luan
2 Pfenning, Frank
2 Phillips, Iain W.
2 Prokić, Ivan
2 Rot, Jurriaan
2 Sammartino, Matteo
2 Sisto, Riccardo
2 Smith, Geoffrey D.
2 Tiezzi, Francesco
...and 209 more Authors

Citations by Year