Discovery of synergistic genetic network: A minimum spanning tree-based approach. - Prantik Chatterjee; Nikhil Ranjan Pal (J. Bioinform. Comput. Biol., 2016)

Finding Synergy Networks From Gene Expression Data: A Fuzzy-Rule-Based Approach. - Kaushik Sarkar; Prantik Chatterjee; Nikhil R. Pal (IEEE Trans. Fuzzy Syst., 2016)

Diagnosing Software Faults Using Multiverse Analysis. - Prantik Chatterjee; Abhijit Chatterjee; José Campos 001; Rui Abreu 001; Subhajit Roy 001 (IJCAI, 2020)

Proof-Guided Underapproximation Widening for Bounded Model Checking. - Prantik Chatterjee; Jaydeepsinh Meda; Akash Lal; Subhajit Roy 001 (CAV (1), 2022)

Augmenting Automated Spectrum Based Fault Localization for Multiple Faults. - Prantik Chatterjee; José Campos 001; Rui Abreu 001; Subhajit Roy 001 (IJCAI, 2023)

An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering. - Prantik Chatterjee; Pankaj Kumar Kalita; Sumit Lahiri; Sujit Kumar Muduli; Vishal Singh; Gourav Takhar; Subhajit Roy 001 (ASE, 2023)

Accelerated Bounded Model Checking Using Interpolation Based Summaries. - Mayank Solanki; Prantik Chatterjee; Akash Lal; Subhajit Roy 001 (TACAS (2), 2024)

Distributed bounded model checking. - Prantik Chatterjee; Subhajit Roy 001; Bui Phi Diep; Akash Lal (Formal Methods Syst. Des., 2024)