Anantha Padmanabha
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2019–2024
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | KR | Boundedness for Unions of Conjunctive Regular Path Queries over Simple Regular Expressions. | Diego Figueira, S. Krishna, Om Swostik Mishra, Anantha Padmanabha |
| 2023 | ICDT | A Simple Algorithm for Consistent Query Answering Under Primary Keys. | Diego Figueira, Anantha Padmanabha, Luc Segoufin, Cristina Sirangelo |
| 2022 | MFCS | Generalized Bundled Fragments for First-Order Modal Logic. | Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang |
| 2020 | ICDCIT | Verifying Implicitly Quantified Modal Logic over Dynamic Networks of Processes. | Anantha Padmanabha, R. Ramanujam |
| 2019 | MFCS | Two variable fragment of Term Modal Logic. | Anantha Padmanabha, R. Ramanujam |