Keeping Track of the Latest Gossip in Shared Memory Systems. - Bharat Adsul; Aranyak Mehta; Milind A. Sohoni (FSTTCS, 2000)

Local Normal Forms for Logics over Traces. - Bharat Adsul; Milind A. Sohoni (FSTTCS, 2002)

Complete and Tractable Local Linear Time Temporal Logics over Traces. - Bharat Adsul; Milind A. Sohoni (ICALP, 2002)

Asynchronous Automata-Theoretic Characterization of Aperiodic Trace Languages. - Bharat Adsul; Milind A. Sohoni (FSTTCS, 2004)

Causal Closure for MSC Languages. - Bharat Adsul; Madhavan Mukund; K. Narayan Kumar; Vasumathi Narayanan (FSTTCS, 2005)

Quantum deformations of the restriction of GLmn(C)-modules to GLm(C) × GLn(C) - Bharat Adsul; Milind A. Sohoni; K. V. Subrahmanyam 001 (CoRR, 2009)

A Simplex-Like Algorithm for Fisher Markets. - Bharat Adsul; Ch. Sobhan Babu; Jugal Garg; Ruta Mehta; Milind A. Sohoni (SAGT, 2010)

Nash Equilibria in Fisher Market. - Bharat Adsul; Ch. Sobhan Babu; Jugal Garg; Ruta Mehta; Milind A. Sohoni (SAGT, 2010)

Rank-1 Bi-matrix Games: A Homeomorphism and a Polynomial Time Algorithm - Bharat Adsul; Jugal Garg; Ruta Mehta; Milind A. Sohoni (CoRR, 2010)

Rank-1 bimatrix games: a homeomorphism and a polynomial time algorithm. - Bharat Adsul; Jugal Garg; Ruta Mehta; Milind A. Sohoni (STOC, 2011)

Preservation under Substructures modulo Bounded Cores. - Abhisekh Sankaran; Bharat Adsul; Vivek Madan; Pritish Kamath; Supratik Chakraborty (WoLLIC, 2012)

A procedural framework and mathematical analysis for solid sweeps - Bharat Adsul; Jinesh Machchhar; Milind A. Sohoni (CoRR, 2012)

Generalizations of the Los-Tarski Preservation Theorem - Abhisekh Sankaran; Bharat Adsul; Supratik Chakraborty (CoRR, 2013)

A Generalization of the Łoś-Tarski Preservation Theorem over Classes of Finite Structures. - Abhisekh Sankaran; Bharat Adsul; Supratik Chakraborty (MFCS (1), 2014)

Local and global analysis of parametric solid sweeps. - Bharat Adsul; Jinesh Machchhar; Milind A. Sohoni (Comput. Aided Geom. Des., 2014)

A Computational Framework for Boundary Representation of Solid Sweeps. - Bharat Adsul; Jinesh Machchhar; Milind A. Sohoni (CoRR, 2014)

A generalization of the Łoś-Tarski preservation theorem. - Abhisekh Sankaran; Bharat Adsul; Supratik Chakraborty (Ann. Pure Appl. Log., 2016)

Incorporating Sharp Features in the General Solid Sweep Framework. - Bharat Adsul; Jinesh Machchhar; Milind A. Sohoni (Comput. Graph. Forum, 2016)

Block products for algebras over countable words and applications to logic. - Bharat Adsul; Saptarshi Sarkar 001; A. V. Sreejith (LICS, 2019)

Wreath/Cascade Products and Related Decomposition Results for the Concurrent Setting of Mazurkiewicz Traces. - Bharat Adsul; Paul Gastin; Saptarshi Sarkar 001; Pascal Weil (CONCUR, 2020)

Wreath/cascade products and related decomposition results for the concurrent setting of Mazurkiewicz traces (extended version). - Bharat Adsul; Paul Gastin; Saptarshi Sarkar 001; Pascal Weil (CoRR, 2020)

First-Order Logic and Its Infinitary Quantifier Extensions over Countable Words. - Bharat Adsul; Saptarshi Sarkar 001; A. V. Sreejith (FCT, 2021)

Fast Algorithms for Rank-1 Bimatrix Games. - Bharat Adsul; Jugal Garg; Ruta Mehta; Milind A. Sohoni; Bernhard von Stengel (Oper. Res., 2021)

Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages. - Bharat Adsul; Paul Gastin; Saptarshi Sarkar 001; Pascal Weil (CONCUR, 2022)

Geometric Complexity Theory - Lie Algebraic Methods for Projective Limits of Stable Points. - Bharat Adsul; Milind A. Sohoni; K. V. Subrahmanyam 001 (CoRR, 2022)

Asynchronous wreath product and cascade decompositions for concurrent behaviours. - Bharat Adsul; Paul Gastin; Saptarshi Sarkar 001; Pascal Weil (Log. Methods Comput. Sci., 2022)

Orbit closures, stabilizer limits and intermediate G-varieties. - Bharat Adsul; Milind A. Sohoni; K. V. Subrahmanyam 001 (CoRR, 2023)

Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words. - Bharat Adsul; Saptarshi Sarkar 001; A. V. Sreejith (J. Comput. Syst. Sci., 2023)

An expressively complete local past propositional dynamic logic over Mazurkiewicz traces and its applications. - Bharat Adsul; Paul Gastin; Shantanu Kulkarni; Pascal Weil (LICS, 2024)

Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages. - Bharat Adsul; Paul Gastin; Shantanu Kulkarni; Pascal Weil (CoRR, 2024)

Non-deterministic asynchronous automata games and their undecidability. - Bharat Adsul; Nehul Jain (CoRR, 2024)

Agricultural Landscape Understanding At Country-Scale. - Radhika Dua; Nikita Saxena; Aditi Agarwal; Alex Wilson; Gaurav Singh; Hoang Tran; Ishan Deshpande; Amandeep Kaur; Gaurav Aggarwal; Chandan Nath; Arnab Basu; Vishal Batchu; et al. (CoRR, 2024)

Characterizations of Fragments of Temporal Logic over Mazurkiewicz Traces. - Bharat Adsul; Paul Gastin; Shantanu Kulkarni (CONCUR, 2025)

Asynchronous Transition System Games for Two Processes and Their Analysis. - Bharat Adsul; Nehul Jain (ICLA, 2025)