Subash Chandra Bose

Verifying pipelined hardware using symbolic logic simulation

Subash Chandra Bose, Allan L. Fisher · 2003 · 36 citations

Computing, Computer Engineering, Computer Science +15

RETRACTED ARTICLE: Design a secure and efficient health record transaction utilizing block chain (SEHRTB) algorithm for health record transaction in block chain

Azath Mubarakali, Subash Chandra Bose, Karthik Srinivasan et al. · Journal of Ambient Intelligence and Humanized Computing · 2019 · 30 citations · Full text

Health Professions, Biomedical Informatics, Health Informatics +16

Kashmir: sources of conflict, dimensions of peace

Subash Chandra Bose · Survival · 1999 · 26 citations

Social Sciences, Conflict Studies, Peace Studies +10

Fault detection and state estimation in robotic automatic control using machine learning

Rajesh Natarajan, Santosh Reddy P, Subash Chandra Bose et al. · Array · 2023 · 20 citations · Full text

Engineering, Robotics Engineering, Systems Engineering +17

PARTHENON: a parallel theorem prover for nonHorn clauses

Subash Chandra Bose, E. M. Clarke, David E. Long et al. · 2003 · 18 citations · Full text

Computing, Computer Engineering, Computer Science +13