Daniël Reijsbergen

Publications

390

Citations

H-Index

2010

Active since

Affiliations

Singapore University of Technology and Design(Current)

University of Edinburgh

University of Twente

Daniël Reijsbergen is an author at Singapore University of Technology and Design specializing in engineering, computer science, and formal verification.

ORCID

Top concepts

EngineeringComputer ScienceFormal VerificationBlockchainCryptographyVerificationSystems EngineeringMechanism DesignData SecurityInformation Security

Publications per year

2010–2023

Publications

Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning

Nicolas Gast, Guillaume Massonnet, Daniël Reijsbergen et al. · 2015 · 60 citations · Full text

Transport Network Analysis, Engineering, Bike-sharing System +18

Incentives in Ethereum’s Hybrid Casper Protocol

Vitalik Buterin, Daniël Reijsbergen, Stefanos Leonardos et al. · 2019 · 56 citations

Blockchain Consensus Protocol, Engineering, Information Security +17

Weighted voting on the blockchain: Improving consensus in proof of stake protocols

Stefanos Leonardos, Daniël Reijsbergen, Georgios Piliouras · International Journal of Network Management · 2020 · 49 citations · Full text

Blockchain Consensus Protocol, Engineering, Stake Protocols +11

Decentralized and Lightweight Approach to Detect Eclipse Attacks on Proof of Work Blockchains

Bithin Alangot, Daniël Reijsbergen, Sarad Venugopalan et al. · IEEE Transactions on Network and Service Management · 2021 · 45 citations

Blockchain Consensus Protocol, Bitcoin Protocol, Engineering +18

On hypothesis testing for statistical model checking

Daniël Reijsbergen, Pieter-Tjerk de Boer, Werner Scheinhardt et al. · International Journal on Software Tools for Technology Transfer · 2014 · 30 citations

Engineering, Automated Reasoning, Verification +6

Rows per page

1–5 of 14