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
Finding Vulnerabilities in Solidity Smart Contracts with In-Context Learning
2025-01-01 Badaruddin Chachar; Marc Cavazza; Andrea Bracciali; Pietro Ferrara; Agostino Cortesi
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
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Formal Model of Algorand Smart Contracts | 2021 | Bartoletti M.; Bracciali A.; Lepore C.; Scalas A.; Zunino R. | |
| A general framework for blockchain analytics | 2017 | Bartoletti, Massimo; Lande, Stefano; Pompianu, Livio; BRACCIALI, ANDREA | |
| A scalable fluid flow process algebraic approach to emergency egress analysis | 2010 | Massink M; Latella D; Bracciali A; Harrison MD | |
| Citizens vote to act: Smart contracts for the management of water resources in smart cities | 2019 | Zecchini M; Bracciali A; Chatzigiannakis I; Vitaletti A | |
| Decentralization in open quorum systems: Limitative results for ripple and stellar | 2021 | Bracciali A.; Grossi D.; de Haan R. | |
| Deducing Interactions in Partially Unspecified Biological Systems | 2007 | P. BALDAN; BRACCIALI A; L.BRODO; R. BRUNI | |
| Expressive Models for Synaptic Plasticity | 2007 | BRACCIALI A; M. BRUNELLI; E. CATALDO; P. DEGANO | |
| Finding Vulnerabilities in Solidity Smart Contracts with In-Context Learning | 2025 | Badaruddin Chachar; Marc Cavazza; Andrea Bracciali; Pietro Ferrara; Agostino Cortesi | |
| High-Performance Haplotype Assembly | 2015 | Marco Aldinucci; Andrea Bracciali; Tobias Marschall; Murray Patterson; Nadia Pisanti; Massimo Torquati | |
| Modelling non-linear crowd dynamics in Bio-PEPA | 2011 | Massink M; Latella D; Bracciali A; Hillston J | |
| On Refining Design Patterns for Smart Contracts | 2020 | Zecchini M; Bracciali A; Chatzigiannakis I; Vitaletti A | |
| On symbolic verification of bitcoin’s script language | 2018 | Klomp R.; Bracciali A. | |
| On the Educational Curriculum in Finance and Technology | 2018 | Karkkainen T; Panos G A; Broby D; Bracciali A | |
| Predictive scheduling for optimal cloud configuration | 2014 | 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 | Tonelli R.; Bracciali A.; Rocha H. | |
| Smart contracts vulnerabilities: A call for blockchain software engineering? | 2018 | Destefanis G; Marchesi M; Ortu M; Tonelli R; Bracciali A; Hierons R | |
| Survival vs revenue: Modelling and reasoning on population dynamics (WIP) | 2013 | Bracciali A; Caravagna G; Ullah A | |
| Towards automated verification of Bitcoin-based decentralised applications | 2023 | Stefano Bistarelli, Andrea Bracciali, Rick Klomp, Ivan Mercanti |