logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
B

Brijesh Dongol

University of Surrey

14H-index
140Paper Count
986Citation Count
Published Papers 5
Publication Date
logo
Model Checking Buffered Durable Linearizability in CSP
errINTEGRATED FORMAL METHODS, IFM 2025
IF0
err2026-01-01
err0
PREAI
errEdmonds, Chelsea; Derrick, John; Dongol, Brijesh; Schellhorn, Gerhard; Wehrheim, Heike
errShare
errSave
A Verified High-Performance Composable Object Library for Remote Direct Memory Access
errProceedings of the ACM on Programming Languages-PACMPL
IF2.8
err2026-01-01
err0
PREAI
errAmbal, Guillaume; Hodgkins, George; Madler, Mark; Chockler, Gregory; Dongol, Brijesh; Izraelevitz, Joseph; Raad, Azalea; Vafeiadis, Viktor
errShare
errSave
Relative Security: (Dis)Proving Resilience Against Semantic Optimization Vulnerabilities in Isabelle/HOL
errJournal of Automated Reasoning
IF0.8
err2025-11-18
err0
errOAAI
errDerrick, John; Dongol, Brijesh; Edmonds, Chelsea; Griffin, Matt; Popescu, Andrei; Wright, Jamie
errShare
errSave
A blockchain-enabled e-learning platform
errINTERACTIVE LEARNING ENVIRONMENTS
IF5.3
err2020-02-03
err49
PREAI
errLam, Tsz Yiu; Dongol, Brijesh
errShare
errSave
Verifying Linearisability: A Comparative Survey
errACM COMPUTING SURVEYS
IF28
err2015-09-24
err26
errOAAI
errDongol, Brijesh; Derrick, John
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
J
John Derrick
H-index: 30 · Papers: 312
H
Heike Wehrheim
H-index: 27 · Papers: 257
G
Gerhard Schellhorn
H-index: 27 · Papers: 147
G
Gregory Chockler
H-index: 23 · Papers: 96
A
Azalea Raad
H-index: 18 · Papers: 65
View more