Scholar
Dr. Raju Halder
Google Scholar ID: mA0HQJEAAAAJ
Associate Professor, Indian Institute of Technology Patna
Formal Methods
Program Analysis and verification
Robotics
Blockchain and Smart Contract
Safety
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
908
H-index
13
i10-index
26
Publications
20
Co-authors
28
list available
Co-authors
5 total
Agostino Cortesi
professor of Computer Science, Ca' Foscari University
Atul Thakur
Associate Professor of Mechanical Engineering, Indian Institute of Technology Patna
Joydeep Chandra
Indian Institute of Technology, Patna
Samrat Mondal
Associate Professor, Indian Institute of Technology Patna
Jose Proenca
CISTER, Faculty of Sciences, University or Porto, Portugal
