Active closed-loop control of supersonic impinging jet flows using POD models. - Anuradha Annaswamy; Jae Jeen Choi; Debashis Sahoo; Farrukh S. Alvi; Huadong Lou (CDC, 2002)

Improved Symbolic Verification Using Partitioning Techniques. - Subramanian K. Iyer; Debashis Sahoo; Christian Stangier; Amit Narayan; Jawahar Jain (CHARME, 2003)

A Partitioning Methodology for BDD-Based Verification. - Debashis Sahoo; Subramanian K. Iyer; Jawahar Jain; Christian Stangier; Amit Narayan; David L. Dill; E. Allen Emerson (FMCAD, 2004)

Verification of Industrial Designs Using A Computing Grid With More than 100 Nodes. - Subramanian K. Iyer; Jawahar Jain; Debashis Sahoo; Takeshi Shimizu (Asian Test Symposium, 2005)

A New Reachability Algorithm for Symmetric Multi-processor Architecture. - Debashis Sahoo; Jawahar Jain; Subramanian K. Iyer; David L. Dill (ATVA, 2005)

Error Detection Using BMC in a Parallel Environment. - Subramanian K. Iyer; Jawahar Jain; Mukul R. Prasad; Debashis Sahoo; Thomas Sidle (CHARME, 2005)

Predictive Reachability Using a Sample-Based Approach. - Debashis Sahoo; Jawahar Jain; Subramanian K. Iyer; David L. Dill; E. Allen Emerson (CHARME, 2005)

Multi-threaded reachability. - Debashis Sahoo; Jawahar Jain; Subramanian K. Iyer; David L. Dill; E. Allen Emerson (DAC, 2005)

Under-approximation Heuristics for Grid-based Bounded Model Checking. - Subramanian K. Iyer; Jawahar Jain; Debashis Sahoo; E. Allen Emerson (PDMC@ICALP, 2005)

On partitioning and symbolic model checking. - Subramanian K. Iyer; Debashis Sahoo; E. Allen Emerson; Jawahar Jain (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2006)

MiDReG: A method of mining developmentally regulated genes using Boolean implications. - Debashis Sahoo; Jun Seita; Deepta Bhattacharya; Matthew A. Inlay; Irving L. Weissman; Sylvia K. Plevritis; David L. Dill (Proc. Natl. Acad. Sci. USA, 2010)

Systems biology approach to identify markers of differentiation in bladder cancer. - Jens-Peter Volkmer; Debashis Sahoo; Robert K. Chin (BCB, 2012)

Three differentiation states risk-stratify bladder cancer into distinct subtypes. - Jens-Peter Volkmer; Debashis Sahoo; Robert K. Chin; Philip Levy Ho; Chad Tang; Antonina V. Kurtova; Stephen B. Willingham; Senthil K. Pazhanisamy; Humberto Contreras-Trujillo; Theresa A. Storm; Yair Lotan; Andrew H. Beck; et al. (Proc. Natl. Acad. Sci. USA, 2012)

MEMTONIC: A Neuromorphic Accelerator for Energy Efficient Deep Learning. - Dharanidhar Dang; Sahar Taheri; Bill Lin 001; Debashis Sahoo (DAC, 2020)

BPhoton-CNN: An Ultrafast Photonic Backpropagation Accelerator for Deep Learning. - Dharanidhar Dang; Aurosmita Khansama; Rabi N. Mahapatra; Debashis Sahoo (ACM Great Lakes Symposium on VLSI, 2020)

Comparative Analysis of Multi-Step Time-Series Forecasting for Network Load Dataset. - Debashis Sahoo; Naveksha Sood; Usha Rani; George Abraham; Varun Dutt; Dileep D. (ICCCNT, 2020)

Boolean implication analysis unveils candidate universal relationships in microbiome data. - Daniella Vo; Shayal Charisma Singh; Sara Safa; Debashis Sahoo (BMC Bioinform., 2021)

BPLight-CNN: A Photonics-Based Backpropagation Accelerator for Deep Learning. - Dharanidhar Dang; Sai Vineel Reddy Chittamuru; Sudeep Pasricha; Rabi N. Mahapatra; Debashis Sahoo (ACM J. Emerg. Technol. Comput. Syst., 2021)

Boolean implication analysis of single-cell data predicts retinal cell type markers. - Rohan Subramanian; Debashis Sahoo (BMC Bioinform., 2022)

LiteCON: An All-Photonic Neuromorphic Accelerator for Energy-efficient Deep Learning (Preprint). - Dharanidhar Dang; Bill Lin 001; Debashis Sahoo (CoRR, 2022)

NeuCASL: From Logic Design to System Simulation of Neuromorphic Engines. - Dharanidhar Dang; Amitash Nanda; Bill Lin 001; Debashis Sahoo (CoRR, 2022)

LiteCON: An All-photonic Neuromorphic Accelerator for Energy-efficient Deep Learning. - Dharanidhar Dang; Bill Lin 001; Debashis Sahoo (ACM Trans. Archit. Code Optim., 2022)

Designed Framework for Advanced Intelligent Job Recommendation System. - Debashis Sahoo; Suvendu Chandan Nayak; Nayan Ranjan Paul; Sadanand Saha; Prangyan Ranjan Patra; Pritam Kumar Kuanr (OCIT, 2023)

Building Communication Efficient Asynchronous Peer-to-Peer Federated LLMs with Blockchain. - Sree Bhargavi Balija; Amitash Nanda; Debashis Sahoo (AAAI Spring Symposia, 2024)

CPTQuant - A Novel Mixed Precision Post-Training Quantization Techniques for Large Language Models. - Amitash Nanda; Sree Bhargavi Balija; Debashis Sahoo (CoRR, 2024)

FedNAMs: Performing Interpretability Analysis in Federated Learning Context. - Amitash Nanda; Sree Bhargavi Balija; Debashis Sahoo (CoRR, 2025)

Decoding Federated Learning: The FedNAM+ Conformal Revolution. - Sree Bhargavi Balija; Amitash Nanda; Debashis Sahoo (CoRR, 2025)