Bharat Adsul

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 17

Top Topics

Quantifier Free

Guarded Fragment

Propositional Dynamic Logic

Top Venues

J. Comput. Syst. Sci.

Publications

Bharat Adsul, Paul Gastin, Shantanu Kulkarni, Pascal Weil
An expressively complete local past propositional dynamic logic over Mazurkiewicz traces and its applications. LICS (2024)
Bharat Adsul, Paul Gastin, Shantanu Kulkarni, Pascal Weil
Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages. CoRR (2024)
Bharat Adsul, Milind A. Sohoni, K. V. Subrahmanyam
Orbit closures, stabilizer limits and intermediate G-varieties. CoRR (2023)
Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith
Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words. J. Comput. Syst. Sci. 136 (2023)
Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil
Asynchronous wreath product and cascade decompositions for concurrent behaviours. Log. Methods Comput. Sci. 18 (2) (2022)
Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil
Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages. CONCUR (2022)
Bharat Adsul, Milind A. Sohoni, K. V. Subrahmanyam
Geometric Complexity Theory - Lie Algebraic Methods for Projective Limits of Stable Points. CoRR (2022)
Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith
First-Order Logic and Its Infinitary Quantifier Extensions over Countable Words. FCT (2021)
Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil
Asynchronous wreath product and cascade decompositions for concurrent behaviours. CoRR (2021)
Bharat Adsul, Jugal Garg, Ruta Mehta, Milind A. Sohoni, Bernhard von Stengel
Fast Algorithms for Rank-1 Bimatrix Games. Oper. Res. 69 (2) (2021)
Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith
First-Order logic and its Infinitary Quantifier Extensions over Countable Words. CoRR (2021)
Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil
Wreath/cascade products and related decomposition results for the concurrent setting of Mazurkiewicz traces (extended version). CoRR (2020)
Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil
Wreath/Cascade Products and Related Decomposition Results for the Concurrent Setting of Mazurkiewicz Traces. CONCUR (2020)
Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith
Block products for algebras over countable words and applications to logic. LICS (2019)
Bharat Adsul, Jugal Garg, Ruta Mehta, Milind A. Sohoni, Bernhard von Stengel
Fast Algorithms for Rank-1 Bimatrix Games. CoRR (2018)
Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty
A generalization of the Łoś-Tarski preservation theorem. Ann. Pure Appl. Log. 167 (3) (2016)
Bharat Adsul, Jinesh Machchhar, Milind A. Sohoni
Incorporating Sharp Features in the General Solid Sweep Framework. Comput. Graph. Forum 35 (5) (2016)
Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty
A Generalization of the Łoś-Tarski Preservation Theorem over Classes of Finite Structures. MFCS (1) (2014)
Bharat Adsul, Jinesh Machchhar, Milind A. Sohoni
A Computational Framework for Boundary Representation of Solid Sweeps. CoRR (2014)
Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty
A Generalization of the Łoś-Tarski Preservation Theorem over Classes of Finite Structures. CoRR (2014)
Bharat Adsul, Jinesh Machchhar, Milind A. Sohoni
Incorporating Sharp Features in the General Solid Sweep Framework. CoRR (2014)
Bharat Adsul, Jinesh Machchhar, Milind A. Sohoni
Local and global analysis of parametric solid sweeps. Comput. Aided Geom. Des. 31 (6) (2014)
Bharat Adsul, Jinesh Machchhar, Milind A. Sohoni
Local and Global Analysis of Parametric Solid Sweeps. CoRR (2013)
Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty
Generalizations of the Los-Tarski Preservation Theorem CoRR (2013)
Bharat Adsul, Jinesh Machchhar, Milind A. Sohoni
A procedural framework and mathematical analysis for solid sweeps CoRR (2012)
Abhisekh Sankaran, Bharat Adsul, Vivek Madan, Pritish Kamath, Supratik Chakraborty
Preservation under Substructures modulo Bounded Cores CoRR (2012)
Abhisekh Sankaran, Bharat Adsul, Vivek Madan, Pritish Kamath, Supratik Chakraborty
Preservation under Substructures modulo Bounded Cores. WoLLIC (2012)
Bharat Adsul, Jugal Garg, Ruta Mehta, Milind A. Sohoni
Rank-1 bimatrix games: a homeomorphism and a polynomial time algorithm. STOC (2011)
Bharat Adsul, Ch. Sobhan Babu, Jugal Garg, Ruta Mehta, Milind A. Sohoni
A Simplex-Like Algorithm for Fisher Markets. SAGT (2010)
Bharat Adsul, Ch. Sobhan Babu, Jugal Garg, Ruta Mehta, Milind A. Sohoni
Nash Equilibria in Fisher Market. SAGT (2010)
Bharat Adsul, Ch. Sobhan Babu, Jugal Garg, Ruta Mehta, Milind A. Sohoni
Nash equilibria in Fisher market CoRR (2010)
Bharat Adsul, Jugal Garg, Ruta Mehta, Milind A. Sohoni
Rank-1 Bi-matrix Games: A Homeomorphism and a Polynomial Time Algorithm CoRR (2010)
Bharat Adsul, Milind A. Sohoni, K. V. Subrahmanyam
(C) CoRR (2009)
Bharat Adsul, Madhavan Mukund, K. Narayan Kumar, Vasumathi Narayanan
Causal Closure for MSC Languages. FSTTCS (2005)
Bharat Adsul, Milind A. Sohoni
Asynchronous Automata-Theoretic Characterization of Aperiodic Trace Languages. FSTTCS (2004)
Bharat Adsul, Milind A. Sohoni
Local Normal Forms for Logics over Traces. FSTTCS (2002)
Bharat Adsul, Milind A. Sohoni
Complete and Tractable Local Linear Time Temporal Logics over Traces. ICALP (2002)
Bharat Adsul, Aranyak Mehta, Milind A. Sohoni
Keeping Track of the Latest Gossip in Shared Memory Systems. FSTTCS (2000)