1
Publications
13
Citations
1
H-Index
2017
Active since
Pouwelse Johan is an author specializing in formal verification, blockchain, and verification.
Top concepts
BlockchainEngineeringCryptographyVerificationCloud ComputingComputer ScienceFormal Verification
Publications per year
2017–2017
1
1
Implicit Consensus: Blockchain with Unbounded Throughput
Zhijie Ren, Kelong Cong, Pouwelse Johan et al. · arXiv (Cornell University) · 2017 · 13 citations · Full text
Blockchain Consensus Protocol, Engineering, Cryptography +12
Rows per page
1–1 of 1