Search filters

List of works by Chiara Bodei

Checking global usage of resources handled with local policies

scientific article published in 2017

Control Flow Analysis for Brane Calculi

scientific article published in January 2009

Measuring security in IoT communications

scientific article published in 2019

On deducing causality in metabolic networks

scientific article

On the impact of discreteness and abstractions on modelling noise in gene regulatory networks

scientific article published on 8 April 2015

Performance Evaluation of Security Protocols Specified in LySa

Primitives for authentication in process algebras

scientific article published in June 2002

Static Analysis for the π-Calculus with Applications to Security

Techniques for Security Checking

scientific article published in June 2002

Paulina is supported by:

About Paulina

Help