21
Publications
506
Citations
13
H-Index
2010
Active since
Raju Halder is an author at Indian Institute of Technology Patna specializing in engineering, computer science, and data management.
Top concepts
EngineeringComputer ScienceData ManagementData SecurityFormal VerificationInformation SecurityCryptographyData PrivacyFormal MethodsBlockchain
Publications per year
2010–2023
21
21
Formal Verification of ROS-Based Robotic Applications Using Timed-Automata
Raju Halder, José Proença, Nuno Macedo et al. · 2017 · 55 citations · Full text
A Hierarchical and Abstraction-Based Blockchain Model
Swagatika Sahoo, Akshay M. Fajge, Raju Halder et al. · Applied Sciences · 2019 · 32 citations · Full text
Blockchain Consensus Protocol, Engineering, Network Analysis +16
Rows per page
1–5 of 21