Qiwi: A Beginner Friendly Quantum Language. - Abhinandan Pal; Anubhab Ghosh (SPLASH Companion, 2022)

Abstract Interpretation-Based Feature Importance for SVMs. - Abhinandan Pal; Francesco Ranzato; Caterina Urban; Marco Zanella (CoRR, 2022)

Neural Model Checking. - Mirco Giacobbe; Daniel Kroening; Abhinandan Pal; Michael Tautschnig (NeurIPS, 2024)

Abstract Interpretation-Based Feature Importance for Support Vector Machines. - Abhinandan Pal; Francesco Ranzato; Caterina Urban; Marco Zanella (VMCAI (1), 2024)