A Policy Model for Secure Information Flow.- A General Framework for Nondeterministic, Probabilis...

The present volume contains the proceedings of the 5th International Workshop on Formal Aspects i...

This book constitutes the refereed proceedings of the 12th European Symposium on Programming, ESO...

Invited Lecture.- Semantics and Enforcement of Expressive Information Flow Policies.- Session 1. ...

Ugo Montanari in a Nutshell.- Ugo Montanari in a Nutshell.- Graph Transformation.- Ugo Montanari ...

Regular Lectures.- Sensitivity Analysis of Stochastic Models of Bistable Biochemical Reactions.- ...