logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
B

Brijesh Dongol

University of Surrey

14H指数
140论文数
986被引数
收录论文 5
发表时间
logo
errINTEGRATED FORMAL METHODS, IFM 2025
IF0
err2026-01-01
err0
PREAI
errEdmonds, Chelsea; Derrick, John; Dongol, Brijesh; Schellhorn, Gerhard; Wehrheim, Heike
err分享
err收藏
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
err分享
err收藏
errJournal of Automated Reasoning
IF0.8
err2025-11-18
err0
errOAAI
errDerrick, John; Dongol, Brijesh; Edmonds, Chelsea; Griffin, Matt; Popescu, Andrei; Wright, Jamie
err分享
err收藏
errINTERACTIVE LEARNING ENVIRONMENTS
IF5.3
err2020-02-03
err49
PREAI
errLam, Tsz Yiu; Dongol, Brijesh
err分享
err收藏
errACM COMPUTING SURVEYS
IF28
err2015-09-24
err26
errOAAI
errDongol, Brijesh; Derrick, John
err分享
err收藏

研究方向

暂无研究方向
合作学者
合作期刊
J
John Derrick
H 指数: 30 · 论文数: 312
H
Heike Wehrheim
H 指数: 27 · 论文数: 257
G
Gerhard Schellhorn
H 指数: 27 · 论文数: 147
G
Gregory Chockler
H 指数: 23 · 论文数: 96
A
Azalea Raad
H 指数: 18 · 论文数: 65
查看更多