Shiladitya Ghosh

Input Elimination Transformations for Scalable Verification and Trace Reconstruction

Jason Baumgartner, Alexander Ivrii, Raj Kumar Gajavelly, 2019, 2019 Formal Methods in Computer Aided Design (FMCAD).

Formal Methods for Validation and Test Point Prioritization in Railway Signaling Logic

Pallab Dasgupta, Alok Katiyar, Arindam Das, 2017, IEEE Transactions on Intelligent Transportation Systems.

Sustainability of cereal straws for the fermentative production of second generation biofuels: A review of the efficiency and economics of biochemical pretreatment processes

Ranjana Chowdhury, Shiladitya Ghosh, Pinaki Bhattacharya, 2017 .

Hydrogen from food processing wastes via photofermentation using Purple Non-sulfur Bacteria (PNSB) – A review

Pinaki Bhattacharya, Ranjana Chowdhury, Shiladitya Ghosh, 2017 .