BRACCIALI, Andrea
BRACCIALI, Andrea
INFORMATICA
A Formal Model of Algorand Smart Contracts
2021-01-01 Bartoletti M.; Bracciali A.; Lepore C.; Scalas A.; Zunino R.
A general framework for blockchain analytics
2017-01-01 Bartoletti, Massimo; Lande, Stefano; Pompianu, Livio; BRACCIALI, ANDREA
A scalable fluid flow process algebraic approach to emergency egress analysis
2010-01-01 Massink M; Latella D; Bracciali A; Harrison MD
Citizens vote to act: Smart contracts for the management of water resources in smart cities
2019-01-01 Zecchini M; Bracciali A; Chatzigiannakis I; Vitaletti A
Decentralization in open quorum systems: Limitative results for ripple and stellar
2021-01-01 Bracciali A.; Grossi D.; de Haan R.
Deducing Interactions in Partially Unspecified Biological Systems
2007-01-01 P. BALDAN; BRACCIALI A; L.BRODO; R. BRUNI
Expressive Models for Synaptic Plasticity
2007-01-01 BRACCIALI A; M. BRUNELLI; E. CATALDO; P. DEGANO
High-Performance Haplotype Assembly
2015-01-01 Marco Aldinucci; Andrea Bracciali; Tobias Marschall; Murray Patterson; Nadia Pisanti; Massimo Torquati
Modelling non-linear crowd dynamics in Bio-PEPA
2011-01-01 Massink M; Latella D; Bracciali A; Hillston J
On Refining Design Patterns for Smart Contracts
2020-01-01 Zecchini M; Bracciali A; Chatzigiannakis I; Vitaletti A
On symbolic verification of bitcoin’s script language
2018-01-01 Klomp R.; Bracciali A.
On the Educational Curriculum in Finance and Technology
2018-01-01 Karkkainen T; Panos G A; Broby D; Bracciali A
Predictive scheduling for optimal cloud configuration
2014-01-01 Michael G. Epitropakis; Andrea Bracciali; Marco Aldinucci; Emily Potts; Edmund K. Burke
Results of Blockchain-Oriented Software Engineering 2024 Workshop: speculations on Blockchain for Energy Communities management
2024-01-01 Tonelli R.; Bracciali A.; Rocha H.
Smart contracts vulnerabilities: A call for blockchain software engineering?
2018-01-01 Destefanis G; Marchesi M; Ortu M; Tonelli R; Bracciali A; Hierons R
Survival vs revenue: Modelling and reasoning on population dynamics (WIP)
2013-01-01 Bracciali A; Caravagna G; Ullah A
Towards automated verification of Bitcoin-based decentralised applications
2023-01-01 Stefano Bistarelli, Andrea Bracciali, Rick Klomp, Ivan Mercanti