arXiv2
Search
Dark
/ Date
/ Name
Aa
W
/ Date
/ Name
"au:"Andrea Bracciali"" — arXiv2 Search
Showing 1–5 of 5 results
/ Date
/ Name
Sep 25, 2020
A formal model of Algorand smart contracts
Nov 19, 2019
Decentralization in Open Quorum Systems
Jul 4, 2017
A general framework for blockchain analytics
Jul 11, 2010
StochKit-FF: Efficient Systems Biology on Multicore Architectures
Feb 22, 2010
A Taxonomy of Causality-Based Biological Properties