Testing Equivalence for Mobile Processes (Extended Abstract). - Michele Boreale; Rocco De Nicola (CONCUR, 1992)

Complete Sets of Axioms for Finite Basic LOTOS Behavioural Equivalences. - Michele Boreale; Paola Inverardi; Monica Nesi (Inf. Process. Lett., 1992)

A Symbolic Semantics for the pi-calculus (Extended Abstract). - Michele Boreale; Rocco De Nicola (CONCUR, 1994)

On the Complexity of Bisimilarity for Value-Passing Processes (Extended Abstract). - Michele Boreale; Luca Trevisan 001 (FSTTCS, 1995)

Testing Equivalence for Mobile Processes - Michele Boreale; Rocco De Nicola (Inf. Comput., 1995)

Symbolic Bisimulation for Timed Processes. - Michele Boreale (AMAST, 1996)

Bisimilarity Problems Requiring Exponential Time. - Michele Boreale; Luca Trevisan 001 (MFCS, 1996)

A Symbolic Semantics for the pi-Calculus. - Michele Boreale; Rocco De Nicola (Inf. Comput., 1996)

Asynchronous Observations of Processes. - Michele Boreale; Rocco De Nicola; Rosario Pugliese (FoSSaCS, 1998)

Bisimulation in Name-Passing Calculi without Matching. - Michele Boreale; Davide Sangiorgi (LICS, 1998)

Bisimulations in the join-calculus. - Michele Boreale; Cédric Fournet; Cosimo Laneve (PROCOMET, 1998)

A Fully Abstract Semantics for Causality in the pi-Calculus. - Michele Boreale; Davide Sangiorgi (Acta Informatica, 1998)

On the Expressiveness of Internal Mobility in Name-Passing Calculi. - Michele Boreale (Theor. Comput. Sci., 1998)

Some Congruence Properties for Pi-Calculus Bisimilarities. - Michele Boreale; Davide Sangiorgi (Theor. Comput. Sci., 1998)

A Theory of "May" Testing for Asynchronous Languages. - Michele Boreale; Rocco De Nicola; Rosario Pugliese (FoSSaCS, 1999)

Basic Observables for Processes. - Michele Boreale; Rocco De Nicola; Rosario Pugliese (Inf. Comput., 1999)

Process Algebraic Analysis of Cryptographic Protocols. - Michele Boreale; Rocco De Nicola; Rosario Pugliese (FORTE, 2000)

A complexity analysis of bisimilarity for value-passing processes. - Michele Boreale; Luca Trevisan 001 (Theor. Comput. Sci., 2000)

Symbolic Trace Analysis of Cryptographic Protocols. - Michele Boreale (ICALP, 2001)

Proof Techniques for Cryptographic Processes. - Michele Boreale; Rocco De Nicola; Rosario Pugliese (SIAM J. Comput., 2001)

Divergence in testing and readiness semantics. - Michele Boreale; Rocco De Nicola; Rosario Pugliese (Theor. Comput. Sci., 2001)

A Framework for the Analysis of Security Protocols. - Michele Boreale; Maria Grazia Buscemi (CONCUR, 2002)

On Compositional Reasoning in the Spi-calculus. - Michele Boreale; Daniele Gorla (FoSSaCS, 2002)

Experimenting with STA, a tool for automatic analysis of security protocols. - Michele Boreale; Maria Grazia Buscemi (SAC, 2002)

Trace and Testing Equivalence on Asynchronous Processes. - Michele Boreale; Rocco De Nicola; Rosario Pugliese (Inf. Comput., 2002)

Symbolic Analysis of Crypto-Protocols Based on Modular Exponentiation. - Michele Boreale; Maria Grazia Buscemi (MFCS, 2003)

Denotational Testing Semantics in Coinductive Form. - Michele Boreale; Fabio Gadducci (MFCS, 2003)

D-Fusion: A Distinctive Fusion Calculus. - Michele Boreale; Maria Grazia Buscemi; Ugo Montanari (APLAS, 2004)

A General Name Binding Mechanism. - Michele Boreale; Maria Grazia Buscemi; Ugo Montanari (TGC, 2005)

A method for symbolic analysis of security protocols. - Michele Boreale; Maria Grazia Buscemi (Theor. Comput. Sci., 2005)

Attacking Right-to-Left Modular Exponentiation with Timely Random Faults. - Michele Boreale (FDTC, 2006)

A Typed Calculus for Querying Distributed XML Documents. - Lucia Acciai; Michele Boreale; Silvano Dal-Zilio (TGC, 2006)

SCC: A Service Centered Calculus. - Michele Boreale; Roberto Bruni 001; Luís Caires; Rocco De Nicola; Ivan Lanese; Michele Loreti; Francisco Martins; Ugo Montanari; António Ravara; Davide Sangiorgi; Vasco Thudichum Vasconcelos; Gianluigi Zavattaro (WS-FM, 2006)

Processes as formal power series: A coinductive approach to denotational semantics. - Michele Boreale; Fabio Gadducci (Theor. Comput. Sci., 2006)

A Concurrent Calculus with Atomic Transactions. - Lucia Acciai; Michele Boreale; Silvano Dal-Zilio (ESOP, 2007)

Type Abstractions of Name-Passing Processes. - Lucia Acciai; Michele Boreale (FSEN, 2007)

A Type System for Client Progress in a Service-Oriented Calculus. - Lucia Acciai; Michele Boreale (Concurrency, Graphs and Models, 2008)

Sessions and Pipelines for Structured Service Programming. - Michele Boreale; Roberto Bruni 001; Rocco De Nicola; Michele Loreti (FMOODS, 2008)

XPi: A typed process calculus for XML messaging. - Lucia Acciai; Michele Boreale (Sci. Comput. Program., 2008)

Responsiveness in process calculi. - Lucia Acciai; Michele Boreale (Theor. Comput. Sci., 2008)

Weighted Bisimulation in Linear Algebraic Form. - Michele Boreale (CONCUR, 2009)

Deciding Spatial and behavioral properties in the pi-calculus. - Lucia Acciai; Michele Boreale (ICTCS, 2009)

Quantifying information leakage in process calculi. - Michele Boreale (Inf. Comput., 2009)

On the Relationship between Spatial Logics and Behavioral Simulations. - Lucia Acciai; Michele Boreale; Gianluigi Zavattaro (FoSSaCS, 2010)

Spatial and behavioral types in the pi-calculus. - Lucia Acciai; Michele Boreale (Inf. Comput., 2010)

Static Analysis Techniques for Session-Oriented Calculi. - Lucia Acciai; Chiara Bodei; Michele Boreale; Roberto Bruni 001; Hugo Torres Vieira (Results of the SENSORIA Project, 2011)

Advanced Mechanisms for Service Composition, Query and Discovery. - Michele Boreale; Mario Bravetti (Results of the SENSORIA Project, 2011)

Quantitative Information Flow, with a View. - Michele Boreale; Francesca Pampaloni; Michela Paolini (ESORICS, 2011)

Linear-Time and May-Testing in a Probabilistic Reactive Setting. - Lucia Acciai; Michele Boreale; Rocco De Nicola (FMOODS/FORTE, 2011)

Quantitative Multirun Security under Active Adversaries. - Michele Boreale; Francesca Pampaloni (QEST, 2012)

Deciding safety properties in infinite-state pi-calculus via behavioural types. - Lucia Acciai; Michele Boreale (Inf. Comput., 2012)

A coalgebraic perspective on linear weighted automata. - Filippo Bonchi; Marcello M. Bonsangue; Michele Boreale; Jan J. M. M. Rutten; Alexandra Silva 001 (Inf. Comput., 2012)

Asymptotic Risk Analysis for Trust and Reputation Systems. - Michele Boreale; Alessandro Celestini (SOFSEM, 2013)

Behavioural contracts with request-response operations. - Lucia Acciai; Michele Boreale; Gianluigi Zavattaro (Sci. Comput. Program., 2013)

On Formally Bounding Information Leakage by Statistical Estimation. - Michele Boreale; Michela Paolini (ISC, 2014)

Analysis of Probabilistic Systems via Generating Functions and Padé Approximation. - Michele Boreale (ICALP (2), 2015)

Quantitative information flow under generic leakage functions and adaptive adversaries. - Michele Boreale; Francesca Pampaloni (Log. Methods Comput. Sci., 2015)

CaSPiS: a calculus of sessions, pipelines and services. - Michele Boreale; Roberto Bruni 001; Rocco De Nicola; Michele Loreti (Math. Struct. Comput. Sci., 2015)

A semiring-based trace semantics for processes with applications to information leakage analysis. - Michele Boreale; David Clark 001; Daniele Gorla (Math. Struct. Comput. Sci., 2015)

Asymptotic information leakage under one-try attacks. - Michele Boreale; Francesca Pampaloni; Michela Paolini (Math. Struct. Comput. Sci., 2015)

Worst- and average-case privacy breaches in randomization mechanisms. - Michele Boreale; Michela Paolini (Theor. Comput. Sci., 2015)

Searching secrets rationally. - Michele Boreale; Fabio Corradi (Int. J. Approx. Reason., 2016)

Algorithms for exact and approximate linear abstractions of polynomial continuous systems. - Michele Boreale (HSCC, 2018)

Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE'S. - Michele Boreale (SOFSEM, 2018)

Approximate Model Counting, Sparse XOR Constraints and Minimum Distance. - Michele Boreale; Daniele Gorla (The Art of Modelling Computational Systems, 2019)

On the Coalgebra of Partial Differential Equations. - Michele Boreale (MFCS, 2019)

Algebra, coalgebra, and minimization in polynomial differential equations. - Michele Boreale (Log. Methods Comput. Sci., 2019)

Complete algorithms for algebraic strongest postconditions and weakest preconditions in polynomial odes. - Michele Boreale (Sci. Comput. Program., 2020)

Relative Privacy Threats and Learning From Anonymized Data. - Michele Boreale; Fabio Corradi; Cecilia Viscardi (IEEE Trans. Inf. Forensics Secur., 2020)

Algebra and Coalgebra of Stream Products. - Michele Boreale; Daniele Gorla (CONCUR, 2021)

Weighted approximate Bayesian computation via Sanov's theorem. - Cecilia Viscardi; Michele Boreale; Fabio Corradi (Comput. Stat., 2021)

Linearization, Model Reduction and Reachability in Nonlinear odes. - Michele Boreale; Luisa Collodi (RP, 2022)

Automatic pre- and postconditions for partial differential equations. - Michele Boreale (Inf. Comput., 2022)

A linear-algebraic method to compute polynomial PDE conservation laws. - Michele Boreale; Luisa Collodi (J. Symb. Comput., 2022)

Output Sampling for Output Diversity in Automatic Unit Test Generation. - Héctor D. Menéndez 001; Michele Boreale; Daniele Gorla; David Clark 001 (IEEE Trans. Software Eng., 2022)

Bayesian Parameter Estimation with Guarantees via Interval Analysis and Simulation. - Michele Boreale; Luisa Collodi (VMCAI, 2023)

Language Equivalence from Nondeterministic to Weighted Automata - and Back. - Michele Boreale; Luisa Collodi (ISoLA (1), 2024)

Guaranteed Inference for Probabilistic Programs: A Parallelisable, Small-Step Operational Approach. - Michele Boreale; Luisa Collodi (VMCAI (2), 2024)

An implicit function theorem for the stream calculus. - Michele Boreale; Luisa Collodi; Daniele Gorla (Log. Methods Comput. Sci., 2024)

Products, Polynomials and Differential Equations in the Stream Calculus. - Michele Boreale; Luisa Collodi; Daniele Gorla (ACM Trans. Comput. Log., 2024)