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

Prabal Basu

Utah System of Higher Education

8H-index
21Paper Count
145Citation Count
Published Papers 2
Publication Date
logo
errVERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2026
IF0
err2026-01-01
err0
PREAI
errWaddoups, Nick; Boe, Jonah; Hartmanns, Arnd; Basu, Prabal; Roy, Sanghamitra; Chakraborty, Koushik; Zhang, Zhen
errShare
errSave
errIEEE TRANSACTIONS ON EMERGING TOPICS IN COMPUTING
IF5.4
err2018-01-01
err0
errOAAI
errBasu, Prabal; Pandey, Pramesh; Bal, Aatreyi; Rajamanikkam, Chidhambaranathan; Chakraborty, Koushik; Roy, Sanghamitra
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
张
张震 (Zhen Zhang)
H-index: 27 · Papers: 189
A
Arnd Hartmanns
H-index: 19 · Papers: 117
S
Sanghamitra Roy
H-index: 18 · Papers: 126
K
Koushik Chakraborty
H-index: 18 · Papers: 123
P
Pramesh Pandey
H-index: 6 · Papers: 11
View more