pierpaolo degano

Formal Aspects of Security and Trust

This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop ...

Concurrency, Graphs and Models

This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65th birthday,...

Formal Aspects in Security and Trust

Foundations and Applications of Security Analysis

topics including formal specification, analysis and design of security protocols and their applic...

Formal Methods for Computational Systems Biology

Principles of Security and Trust

This book constitutes the refereed proceedings of the first International Conference on Principle...

Formal Aspects in Security and Trust

This book constitutes the thoroughly refereed post-workshop proceedings of the 5th International ...

Computational Methods in Systems Biology

This book constitutes the refereed proceedings of the 7th International Conference on Computation...

Programming Languages and Systems

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

Formal Aspects in Security and Trust

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

Programming Languages and Systems

 This book constitutes the refereed proceedings of the 12th European Symposium on Progr...

Concurrency, Graphs and Models

This Festschrift volume, pubished in honor of Ugo Montanari on the occasion of his 65 sup th...