28 citations · 46 across the 8 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.CR2010★ 2 cited
Safer in the Clouds (Extended Abstract)
Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari
We outline the design of a framework for modelling cloud computing systems.The approach is based on a declarative programming model which takes the form of a lambda-calculus enrich…
cs.CE2010
A Taxonomy of Causality-Based Biological Properties
Chiara Bodei, Andrea Bracciali, Davide Chiarugi +1
We formally characterize a set of causality-based properties of metabolic networks. This set of properties aims at making precise several notions on the production of metabolites,…