OpenAlex
Brijesh Dongol
Author
View works
Alternate names Brijesh Dongol, B. M. S. Dongol, B. Dongol
Institution University of Surrey
Past institutions University of Surrey, Brunel University of London, University of London, University of Sheffield, Queensland University of Technology +3 more
ORCID: Yes
H-index: 14
I10-index: 39
Works count: 143
Citations count: 927
Top works
A blockchain-enabled e-learning platform
2020 · Tsz Yiu Lam, Brijesh Dongol · Interactive Learning Environments
Verifying Linearisability
2015 · Brijesh Dongol, John Derrick · ACM Computing Surveys
A Survey of Practical Formal Methods for Security
2022 · Tomas Kulik, Brijesh Dongol, et al. · Formal Aspects of Computing
Key stats
year
open access
topic
type