List of works - Andrea Bracciali

A Coordination-based Methodology for Security Protocol Verification

scientific article published in February 2005

A Scalable Fluid Flow Process Algebraic Approach to Emergency Egress Analysis

scientific article published in September 2010

A formal approach to component adaptation

scientific article published in January 2005

A framework for specifying and verifying the behaviour of open systems

scientific article published in May 2005

A semantic framework for open processes

scientific article published in December 2007

A symbolic framework for multi-faceted security protocol analysis

scientific article published on 4 September 2007

An integrated modelling approach for R5–X4 mutation and HAART therapy assessment

scientific article published on 14 October 2010

CRAFTING THE MIND OF PROSOCS AGENTS

scientific article published in February 2006

Control Flow Analysis for Brane Calculi

scientific article published in January 2009

Formal reasoning on qualitative models of coinfection of HIV and Tuberculosis and HAART therapy

scientific article published on 18 January 2010

High-Performance Haplotype Assembly

scientific article published in 2015

Modelling Non-linear Crowd Dynamics in Bio-PEPA

scientific article published in 2011

On Refining Design Patterns for Smart Contracts

On Symbolic Semantics for Name-decorated Contexts

On deducing causality in metabolic networks

scientific article

On the Educational Curriculum in Finance and Technology

scientific article published in 2018

Scalable context-dependent analysis of emergency egress models

scientific article published on 3 July 2011

Security Issues in Component-based Design

scientific article published in August 2001

StochKit-FF: Efficient Systems Biology on Multicore Architectures