3 citations · 4 across the 3 of their papers we have counts for
5 papers
A formal model of Algorand smart contracts
Massimo Bartoletti, Andrea Bracciali, Cristian Lepore +2
We develop a formal model of Algorand stateless smart contracts (stateless ASC1.) We exploit our model to prove fundamental properties of the Algorand blockchain, and to establish…
Decentralization in Open Quorum Systems
Andrea Bracciali, Davide Grossi, Ronald de Haan
Decentralisation is one of the promises introduced by blockchain technologies: fair and secure interaction amongst peers with no dominant positions, single points of failure or cen…
A general framework for blockchain analytics
Massimo Bartoletti, Andrea Bracciali, Stefano Lande +1
Modern cryptocurrencies exploit decentralised blockchains to record a public and unalterable history of transactions. Besides transactions, further information is stored for differ…
StochKit-FF: Efficient Systems Biology on Multicore Architectures
Marco Aldinucci, Andrea Bracciali, Pietro Liò +2
The stochastic modelling of biological systems is an informative, and in some cases, very adequate technique, which may however result in being more expensive than other modelling…
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,…