The following pages link to Michele Boreale (Q418132):
Displayed 50 items.
- (Q236761) (redirect page) (← links)
- A coalgebraic perspective on linear weighted automata (Q418134) (← links)
- Deciding safety properties in infinite-state pi-calculus via behavioural types (Q418155) (← links)
- A method for symbolic analysis of security protocols (Q557806) (← links)
- Searching secrets rationally (Q899474) (← links)
- XPi: a typed process calculus for XML messaging (Q924673) (← links)
- Responsiveness in process calculi (Q959822) (← links)
- Quantifying information leakage in process calculi (Q1023286) (← links)
- Some congruence properties for \(\pi\)-calculus bisimilarities (Q1129260) (← links)
- A fully abstract semantics for causality in the \(\pi\)-calculus (Q1130165) (← links)
- Complete sets of axioms for finite basic LOTOS behavioural equivalences (Q1199556) (← links)
- On the expressiveness of internal mobility in name-passing calculi (Q1276243) (← links)
- Basic observables for processes (Q1286368) (← links)
- A complexity analysis of bisimilarity for value-passing processes (Q1575255) (← links)
- Trace and testing equivalence on asynchronous processes (Q1854499) (← links)
- Testing equivalence for mobile processes (Q1898467) (← links)
- A symbolic semantics for the \(\pi\)-calculus (Q1917090) (← links)
- Behavioural contracts with request-response operations (Q1951636) (← links)
- Spatial and behavioral types in the pi-calculus (Q1959478) (← links)
- A linear-algebraic method to compute polynomial PDE conservation laws (Q2048156) (← links)
- Weighted approximate Bayesian computation via Sanov's theorem (Q2135932) (← links)
- Processes as formal power series: a coinductive approach to denotational semantics (Q2503337) (← links)
- Worst- and average-case privacy breaches in randomization mechanisms (Q2517234) (← links)
- Proof Techniques for Cryptographic Processes (Q2784489) (← links)
- Worst- and Average-Case Privacy Breaches in Randomization Mechanisms (Q2915162) (← links)
- Asymptotic Risk Analysis for Trust and Reputation Systems (Q2927644) (← links)
- On the complexity of bisimilarity for value-passing processes (Q2956690) (← links)
- Algebra, Coalgebra, and Minimization in Polynomial Differential Equations (Q2988361) (← links)
- Asymptotic Information Leakage under One-Try Attacks (Q3000624) (← links)
- Quantitative Information Flow, with a View (Q3100904) (← links)
- A Semiring-Based Trace Semantics for Processes with Applications to Information Leakage Analysis (Q3163895) (← links)
- Weighted Bisimulation in Linear Algebraic Form (Q3184672) (← links)
- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation (Q3449467) (← links)
- Quantitative information flow under generic leakage functions and adaptive adversaries (Q3454523) (← links)
- A Type System for Client Progress in a Service-Oriented Calculus (Q3507394) (← links)
- Type Abstractions of Name-Passing Processes (Q3508534) (← links)
- Spatial and Behavioral Types in the Pi-Calculus (Q3541031) (← links)
- On the Relationship between Spatial Logics and Behavioral Simulations (Q3557848) (← links)
- Quantifying Information Leakage in Process Calculi (Q3591447) (← links)
- A Typed Calculus for Querying Distributed XML Documents (Q3608459) (← links)
- Deciding Safety Properties in Infinite-State Pi-Calculus via Behavioural Types (Q3638083) (← links)
- (Q4484506) (← links)
- (Q4535055) (← links)
- Algorithms for exact and approximate linear abstractions of polynomial continuous systems (Q4561454) (← links)
- Basic observables for processes (Q4571979) (← links)
- A fully abstract semantics for causality in the π-calculus (Q4596625) (← links)
- (Q4738218) (← links)
- On the Coalgebra of Partial Differential Equations (Q5092383) (← links)
- Complete Algorithms for Algebraic Strongest Postconditions and Weakest Preconditions in Polynomial ODE’S (Q5127191) (← links)
- Trustworthy Global Computing (Q5394795) (← links)