| 2025 | CONCUR | Characterizations of Fragments of Temporal Logic over Mazurkiewicz Traces. | Bharat Adsul, Paul Gastin, Shantanu Kulkarni |
| 2024 | LICS | An expressively complete local past propositional dynamic logic over Mazurkiewicz traces and its applications. | Bharat Adsul, Paul Gastin, Shantanu Kulkarni, Pascal Weil |
| 2022 | CONCUR | Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages. | Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil |
| 2021 | FCT | First-Order Logic and Its Infinitary Quantifier Extensions over Countable Words. | Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith |
| 2020 | CONCUR | Wreath/Cascade Products and Related Decomposition Results for the Concurrent Setting of Mazurkiewicz Traces. | Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil |
| 2019 | LICS | Block products for algebras over countable words and applications to logic. | Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith |
| 2014 | MFCS | A Generalization of the Łoś-Tarski Preservation Theorem over Classes of Finite Structures. | Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty |
| 2012 | WoLLIC | Preservation under Substructures modulo Bounded Cores. | Abhisekh Sankaran, Bharat Adsul, Vivek Madan, Pritish Kamath, Supratik Chakraborty |
| 2011 | STOC | Rank-1 bimatrix games: a homeomorphism and a polynomial time algorithm. | Bharat Adsul, Jugal Garg, Ruta Mehta, Milind A. Sohoni |
| 2010 | SAGT | A Simplex-Like Algorithm for Fisher Markets. | Bharat Adsul, Ch. Sobhan Babu, Jugal Garg, Ruta Mehta, Milind A. Sohoni |
| 2010 | SAGT | Nash Equilibria in Fisher Market. | Bharat Adsul, Ch. Sobhan Babu, Jugal Garg, Ruta Mehta, Milind A. Sohoni |
| 2002 | ICALP | Complete and Tractable Local Linear Time Temporal Logics over Traces. | Bharat Adsul, Milind A. Sohoni |