Statistics
Publications
52
Citations
4.3K
H-Index
25
Active since
1979
Mark Staples is an author at Data61 specializing in computing, computer science, and software engineering.
Publications per year
1979–2024
52
52
A Taxonomy of Blockchain-Based Systems for Architecture Design
Xiwei Xu, Ingo Weber, Mark Staples et al. · 2017 · 738 citations
Towards verifying ethereum smart contract bytecode in Isabelle/HOL
Sidney Amani, Myriam Bégel, Maksym Bortin et al. · 2018 · 231 citations
1–5 of 52