Bharat Adsul

43 papers A* 4B 6C 1Journal 25Unranked 7
YearRankTypeTitle / Venue / Authors
2025 — conf
Asynchronous Transition System Games for Two Processes and Their Analysis.
ICLA
Bharat Adsul, Nehul Jain
2025 B conf
Characterizations of Fragments of Temporal Logic over Mazurkiewicz Traces.
CONCUR
Bharat Adsul, Paul Gastin, Shantanu Kulkarni
2025 — conf
Distributed Games with a Central Decision Maker.
FSTTCS
Bharat Adsul, Nehul Jain
2024 J jnl
Agricultural Landscape Understanding At Country-Scale.
CoRR
Radhika Dua, Nikita Saxena, Aditi Agarwal, Alex Wilson, Gaurav Singh, Hoang Tran, Ishan Deshpande, Amandeep Kaur, Gaurav Aggarwal, Chandan Nath, Arnab Basu, Vishal Batchu, Sharath Holla, Bindiya Kurle, Olana Missura, Rahul Aggarwal, Shubhika Garg, Nishi Shah, Avneet Singh, Dinesh Tewari, Agata Dondzik, Bharat Adsul, Milind A. Sohoni, Asim Rama Praveen, Aaryan Dangi, Lisan Kadivar, E. Abhishek, Niranjan Sudhansu, Kamlakar Hattekar, Sameer Datar, Musty Krishna Chaithanya, Anumas Ranjith Reddy, Aashish Kumar, Betala Laxmi Tirumala, Alok Talekar
2024 A* conf
An expressively complete local past propositional dynamic logic over Mazurkiewicz traces and its applications.
LICS
Bharat Adsul, Paul Gastin, Shantanu Kulkarni, Pascal Weil
2024 J jnl
Non-deterministic asynchronous automata games and their undecidability.
CoRR
Bharat Adsul, Nehul Jain
2024 J jnl
Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages.
CoRR
Bharat Adsul, Paul Gastin, Shantanu Kulkarni, Pascal Weil
2023 J jnl
Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words.
J. Comput. Syst. Sci.
Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith
2023 J jnl
Orbit closures, stabilizer limits and intermediate G-varieties.
CoRR
Bharat Adsul, Milind A. Sohoni, K. V. Subrahmanyam
2022 J jnl
Asynchronous wreath product and cascade decompositions for concurrent behaviours.
Log. Methods Comput. Sci.
Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil
2022 J jnl
Geometric Complexity Theory - Lie Algebraic Methods for Projective Limits of Stable Points.
CoRR
Bharat Adsul, Milind A. Sohoni, K. V. Subrahmanyam
2022 B conf
Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages.
CONCUR
Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil
2021 J jnl
Asynchronous wreath product and cascade decompositions for concurrent behaviours.
CoRR
Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil
2021 J jnl
Fast Algorithms for Rank-1 Bimatrix Games.
Oper. Res.
Bharat Adsul, Jugal Garg, Ruta Mehta, Milind A. Sohoni, Bernhard von Stengel
2021 B conf
First-Order Logic and Its Infinitary Quantifier Extensions over Countable Words.
FCT
Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith
2021 J jnl
First-Order logic and its Infinitary Quantifier Extensions over Countable Words.
CoRR
Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith
2020 B conf
Wreath/Cascade Products and Related Decomposition Results for the Concurrent Setting of Mazurkiewicz Traces.
CONCUR
Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil
2020 J jnl
Wreath/cascade products and related decomposition results for the concurrent setting of Mazurkiewicz traces (extended version).
CoRR
Bharat Adsul, Paul Gastin, Saptarshi Sarkar, Pascal Weil
2019 A* conf
Block products for algebras over countable words and applications to logic.
LICS
Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith
2018 J jnl
Fast Algorithms for Rank-1 Bimatrix Games.
CoRR
Bharat Adsul, Jugal Garg, Ruta Mehta, Milind A. Sohoni, Bernhard von Stengel
2016 J jnl
A generalization of the Łoś-Tarski preservation theorem.
Ann. Pure Appl. Log.
Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty
2016 J jnl
Incorporating Sharp Features in the General Solid Sweep Framework.
Comput. Graph. Forum
Bharat Adsul, Jinesh Machchhar, Milind A. Sohoni
2014 J jnl
A Computational Framework for Boundary Representation of Solid Sweeps.
CoRR
Bharat Adsul, Jinesh Machchhar, Milind A. Sohoni
2014 — conf
A Generalization of the Łoś-Tarski Preservation Theorem over Classes of Finite Structures.
MFCS (1)
Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty
2014 J jnl
A Generalization of the Łoś-Tarski Preservation Theorem over Classes of Finite Structures.
CoRR
Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty
2014 J jnl
Incorporating Sharp Features in the General Solid Sweep Framework.
CoRR
Bharat Adsul, Jinesh Machchhar, Milind A. Sohoni
2014 J jnl
Local and global analysis of parametric solid sweeps.
Comput. Aided Geom. Des.
Bharat Adsul, Jinesh Machchhar, Milind A. Sohoni
2013 J jnl
Generalizations of the Los-Tarski Preservation Theorem
CoRR
Abhisekh Sankaran, Bharat Adsul, Supratik Chakraborty
2013 J jnl
Local and Global Analysis of Parametric Solid Sweeps.
CoRR
Bharat Adsul, Jinesh Machchhar, Milind A. Sohoni
2012 J jnl
A procedural framework and mathematical analysis for solid sweeps
CoRR
Bharat Adsul, Jinesh Machchhar, Milind A. Sohoni
2012 J jnl
Preservation under Substructures modulo Bounded Cores
CoRR
Abhisekh Sankaran, Bharat Adsul, Vivek Madan, Pritish Kamath, Supratik Chakraborty
2012 C conf
Preservation under Substructures modulo Bounded Cores.
WoLLIC
Abhisekh Sankaran, Bharat Adsul, Vivek Madan, Pritish Kamath, Supratik Chakraborty
2011 A* conf
Rank-1 bimatrix games: a homeomorphism and a polynomial time algorithm.
STOC
Bharat Adsul, Jugal Garg, Ruta Mehta, Milind A. Sohoni
2010 B conf
A Simplex-Like Algorithm for Fisher Markets.
SAGT
Bharat Adsul, Ch. Sobhan Babu, Jugal Garg, Ruta Mehta, Milind A. Sohoni
2010 B conf
Nash Equilibria in Fisher Market.
SAGT
Bharat Adsul, Ch. Sobhan Babu, Jugal Garg, Ruta Mehta, Milind A. Sohoni
2010 J jnl
Nash equilibria in Fisher market
CoRR
Bharat Adsul, Ch. Sobhan Babu, Jugal Garg, Ruta Mehta, Milind A. Sohoni
2010 J jnl
Rank-1 Bi-matrix Games: A Homeomorphism and a Polynomial Time Algorithm
CoRR
Bharat Adsul, Jugal Garg, Ruta Mehta, Milind A. Sohoni
2009 J jnl
Quantum deformations of the restriction of GL
CoRR
Bharat Adsul, Milind A. Sohoni, K. V. Subrahmanyam
2005 — conf
Causal Closure for MSC Languages.
FSTTCS
Bharat Adsul, Madhavan Mukund, K. Narayan Kumar, Vasumathi Narayanan
2004 — conf
Asynchronous Automata-Theoretic Characterization of Aperiodic Trace Languages.
FSTTCS
Bharat Adsul, Milind A. Sohoni
2002 A* conf
Complete and Tractable Local Linear Time Temporal Logics over Traces.
ICALP
Bharat Adsul, Milind A. Sohoni
2002 — conf
Local Normal Forms for Logics over Traces.
FSTTCS
Bharat Adsul, Milind A. Sohoni
2000 — conf
Keeping Track of the Latest Gossip in Shared Memory Systems.
FSTTCS
Bharat Adsul, Aranyak Mehta, Milind A. Sohoni