Concepedia

Alessandro Ricottone

AR

Statistics

Publications

1

Citations

13

H-Index

1

Active since

2017

Alessandro Ricottone is an author specializing in formal verification, computational complexity, and formal methods.

ORCID

Top concepts

Publications per year

2017–2017

1

Publications

1

Proposal for a fully decentralized blockchain and proof-of-work algorithm for solving NP-complete problems

Carlos Oliver, Alessandro Ricottone, Pericles Philippopoulos · arXiv (Cornell University) · 2017 · 13 citations · Full text

, , +15

1–1 of 1