Bernhard Scholz
Scholar

Bernhard Scholz

Google Scholar ID: 0z6_oNEAAAAJ
The University of Sydney
Programming Languages
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
2,544
 
H-index
21
 
i10-index
35
 
Publications
20
 
Co-authors
46
list available
Contact
EmailBernhard.Scholz@sydney.edu.auGitHubOpen ↗
Publications
6 items
SonicDB S6: A Storage-Efficient Verkle Trie for High-Throughput Blockchains
2026
Cited
0
A Fast Ethereum-Compatible Forkless Database
2025
Cited
0
Efficient Forkless Blockchain Databases
2025
Cited
0
Provenance Guided Rollback Suggestions
2025
Cited
0
Formal Model Guided Conformance Testing for Blockchains
2025
Cited
0
Reusable Formal Verification of DAG-based Consensus Protocols
arXiv.org · 2024
Cited
0
Co-authors
10 total
Pavle Subotic
Pavle Subotic
Formal Labs
Herbert Jordan
Herbert Jordan
Postdoc, University of Innsbruck
Thomas Fahringer
Thomas Fahringer
University of Innsbruck, Institute of Computer Science, Distributed and Parallel Systems Group
Yannis Smaragdakis
Yannis Smaragdakis
University of Athens
Neville Grech
Neville Grech
Dedaub
Padmanabhan krishnan
Padmanabhan krishnan
Oracle Labs, Brisbane
Vincent Gramoli
Vincent Gramoli
University of Sydney and EPFL
Jens Dietrich
Jens Dietrich
Victoria University of Wellington