The following pages link to Michele Boreale (Q418132):
Displayed 14 items.
- Mathematical Foundations of Computer Science 2003 (Q5431313) (← links)
- Mathematical Foundations of Computer Science 2003 (Q5431314) (← links)
- Programming Languages and Systems (Q5464047) (← links)
- A semiring-based trace semantics for processes with applications to information leakage analysis (Q5740623) (← links)
- Asymptotic information leakage under one-try attacks (Q5740624) (← links)
- CaSPiS: a calculus of sessions, pipelines and services (Q5740635) (← links)
- A Concurrent Calculus with Atomic Transactions (Q5756487) (← links)
- Automatic pre- and postconditions for partial differential equations (Q5918408) (← links)
- Automatic pre- and postconditions for partial differential equations (Q5925548) (← links)
- Divergence in testing and readiness semantics (Q5958758) (← links)
- On the expressiveness of internal mobility in name-passing calculi (Q6104372) (← links)
- Bayesian parameter estimation with guarantees via interval analysis and simulation (Q6132489) (← links)
- Algebra and coalgebra of stream products (Q6134264) (← links)
- Linearization, model reduction and reachability in nonlinear ODEs (Q6173102) (← links)