Model Checking a Logic over Systems with Regular Sets of Processes. - Anantha Padmanabha; R. Ramanujam 001 (DIAS/EDUDM@ISEC, 2017)

Bundled Fragments of First-Order Modal Logic: (Un)Decidability. - Anantha Padmanabha; R. Ramanujam 001; Yanjing Wang 001 (FSTTCS, 2018)

Propositional Modal Logic with Implicit Modal Quantification. - Anantha Padmanabha; R. Ramanujam 001 (ICLA, 2019)

Two variable fragment of Term Modal Logic. - Anantha Padmanabha; R. Ramanujam 001 (MFCS, 2019)

The Monodic Fragment of Propositional Term Modal Logic. - Anantha Padmanabha; R. Ramanujam 001 (Stud Logica, 2019)

Verifying Implicitly Quantified Modal Logic over Dynamic Networks of Processes. - Anantha Padmanabha; R. Ramanujam 001 (ICDCIT, 2020)

Reasoning in Large Games with Unboundedly Many Players. - Ramit Das; Anantha Padmanabha; R. Ramanujam 001 (LORI, 2021)

Generalized Bundled Fragments for First-Order Modal Logic. - Mo Liu 002; Anantha Padmanabha; R. Ramanujam 001; Yanjing Wang 001 (MFCS, 2022)

Are Bundles Good Deals for FOML? - Mo Liu 002; Anantha Padmanabha; Ramaswamy Ramanujam; Yanjing Wang 001 (CoRR, 2022)

Are bundles good deals for first-order modal logic? - Mo Liu 002; Anantha Padmanabha; R. Ramanujam 001; Yanjing Wang 001 (Inf. Comput., 2023)

A Decidable Fragment of First Order Modal Logic: Two Variable Term Modal Logic. - Anantha Padmanabha; R. Ramanujam 001 (ACM Trans. Comput. Log., 2023)

Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions. - Diego Figueira; S. Krishna 004; Om Swostik Mishra; Anantha Padmanabha (KR, 2024)

A Dichotomy in the Complexity of Consistent Query Answering for Two Atom Queries With Self-Join. - Anantha Padmanabha; Luc Segoufin; Cristina Sirangelo (Proc. ACM Manag. Data, 2024)

A Simple Algorithm for Consistent Query Answering under Primary Keys. - Diego Figueira; Anantha Padmanabha; Luc Segoufin; Cristina Sirangelo (Log. Methods Comput. Sci., 2025)

A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property. - Varad Joshi; Anantha Padmanabha (CoRR, 2025)