I agree that this site is using cookies. You can find further informations here.
X
Bartoletti, Andrea
6  results:
Bookchapter (Online) X
Search for persons X
?
1

Formal Analysis of Lending Pools in Decentralized Finance:

, In: Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning; Lecture Notes in Computer Science,
Bartoletti, Massimo ; Chiang, James ; Junttila, Tommi... - p. 335-355 , 2022
Link: https://doi.org/10.1007/..
 
?
2

A Formal Model of Algorand Smart Contracts:

, In: Financial Cryptography and Data Security; Lecture Notes in Computer Science,
Bartoletti, Massimo ; Bracciali, Andrea ; Lepore, Cristian.. - p. 93-114 , 2021
Link: https://doi.org/10.1007/..
 
?
3

Indoor Residual Clutter Characterization for UWB Sensor Rad..:

, In: 2020 IEEE International Conference on Communications Workshops (ICC Workshops),
Morselli, Flavio ; Bartoletti, Stefania ; Conti, Andrea - p. 1-6 , 2020
Link: https://doi.org/10.1109/..
 
?
4

Crowd-Centric Counting via Unsupervised Learning:

, In: 2019 IEEE International Conference on Communications Workshops (ICC Workshops),
Morselli, Flavio ; Bartoletti, Stefania ; Mazuelas, Santiago.. - p. 1-6 , 2019
Link: https://doi.org/10.1109/..
 
?
5

A general framework for blockchain analytics:

, In: Proceedings of the 1st Workshop on Scalable and Resilient Infrastructures for Distributed Ledgers,
Bartoletti, Massimo ; Lande, Stefano ; Pompianu, Livio. - p. 1-6 , 2017
Link: https://dl.acm.org/doi/1..
 
?
6

UWB passive navigation in indoor environments:

, In: Proceedings of the 4th International Symposium on Applied Sciences in Biomedical and Communication Technologies,
Bartoletti, Stefania ; Guerra, Matteo ; Conti, Andrea - p. 1-5 , 2011
Link: https://dl.acm.org/doi/1..
 
1-6