BRACCIALI, Andrea
BRACCIALI, Andrea
INFORMATICA
A Decentralized Marketing Model for the Online Accommodation Rental Market
2022-01-01 Broby, Daniel; Bracciali, Andrea; Lamssaoui, Siham
A Formal Model of Algorand Smart Contracts
2021-01-01 Bartoletti M.; Bracciali A.; Lepore C.; Scalas A.; Zunino R.
Adversarial behaviours in mixing coins under incomplete information
2020-01-01 Wang Y; Bracciali A; Yang G; Li T; Yu X
High-Performance Haplotype Assembly
2015-01-01 Marco Aldinucci; Andrea Bracciali; Tobias Marschall; Murray Patterson; Nadia Pisanti; Massimo Torquati
Incentive Compatible and Anti-Compounding of Wealth in Proof-of-Stake
2020-01-01 Wang Y; Yang G; Bracciali A; Leung H; Tian H; Ke L; Yu X
On Refining Design Patterns for Smart Contracts
2020-01-01 Zecchini M; Bracciali A; Chatzigiannakis I; Vitaletti A
Programming languages for data-Intensive HPC applications: A systematic mapping study
2020-01-01 Amaral V.; Norberto B.; Goulao M.; Aldinucci M.; Benkner S.; Bracciali A.; Carreira P.; Celms E.; Correia L.; Grelck C.; Karatza H.; Kessler C.; Kilpatrick P.; Martiniano H.; Mavridis I.; Pllana S.; Respicio A.; Simao J.; Veiga L.; Visa A.
PWHATSHAP: efficient haplotyping for future generation sequencing
2016-01-01 Bracciali, Andrea; Aldinucci, Marco; Patterson, Murray; Marschall, Tobias; Pisanti, Nadia; Merelli, Ivan; Torquati, Massimo
Randomness invalidates criminal smart contracts
2019-01-01 Wang Y; Bracciali A; Li T; Li F; Cui X; Zhao M
StochKit-FF: Efficient systems biology on multicore architectures
2011-01-01 Marco Aldinucci; Andrea Bracciali; Pietro Liò; Anil Sorathiya; Massimo Torquati
The Technological Factor in the Conception of Central Bank Digital Currencies
2024-01-01 Vespri, Vincenzo; Bracciali, Andrea
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 Decentralized Marketing Model for the Online Accommodation Rental Market | 2022 | Broby, Daniel; Bracciali, Andrea; Lamssaoui, Siham | |
| A Formal Model of Algorand Smart Contracts | 2021 | Bartoletti M.; Bracciali A.; Lepore C.; Scalas A.; Zunino R. | |
| Adversarial behaviours in mixing coins under incomplete information | 2020 | Wang Y; Bracciali A; Yang G; Li T; Yu X | |
| High-Performance Haplotype Assembly | 2015 | Marco Aldinucci; Andrea Bracciali; Tobias Marschall; Murray Patterson; Nadia Pisanti; Massimo Torquati | |
| Incentive Compatible and Anti-Compounding of Wealth in Proof-of-Stake | 2020 | Wang Y; Yang G; Bracciali A; Leung H; Tian H; Ke L; Yu X | |
| On Refining Design Patterns for Smart Contracts | 2020 | Zecchini M; Bracciali A; Chatzigiannakis I; Vitaletti A | |
| Programming languages for data-Intensive HPC applications: A systematic mapping study | 2020 | Amaral V.; Norberto B.; Goulao M.; Aldinucci M.; Benkner S.; Bracciali A.; Carreira P.; Celms E.; Correia L.; Grelck C.; Karatza H.; Kessler C.; Kilpatrick P.; Martiniano H.; Mavridis I.; Pllana S.; Respicio A.; Simao J.; Veiga L.; Visa A. | |
| PWHATSHAP: efficient haplotyping for future generation sequencing | 2016 | Bracciali, Andrea; Aldinucci, Marco; Patterson, Murray; Marschall, Tobias; Pisanti, Nadia; Merelli, Ivan; Torquati, Massimo | |
| Randomness invalidates criminal smart contracts | 2019 | Wang Y; Bracciali A; Li T; Li F; Cui X; Zhao M | |
| StochKit-FF: Efficient systems biology on multicore architectures | 2011 | Marco Aldinucci; Andrea Bracciali; Pietro Liò; Anil Sorathiya; Massimo Torquati | |
| The Technological Factor in the Conception of Central Bank Digital Currencies | 2024 | Vespri, Vincenzo; Bracciali, Andrea | |
| Towards automated verification of Bitcoin-based decentralised applications | 2023 | Stefano Bistarelli, Andrea Bracciali, Rick Klomp, Ivan Mercanti |