Follow
Bharat Adsul
Bharat Adsul
Verified email at cse.iitb.ac.in
Title
Cited by
Cited by
Year
Rank-1 bimatrix games: a homeomorphism and a polynomial time algorithm
B Adsul, J Garg, R Mehta, M Sohoni
Proceedings of the forty-third annual ACM symposium on Theory of computing …, 2011
502011
Nash equilibria in Fisher market
B Adsul, CS Babu, J Garg, R Mehta, M Sohoni
Algorithmic Game Theory: Third International Symposium, SAGT 2010, Athens …, 2010
482010
Causal closure for MSC languages
B Adsul, M Mukund, KN Kumar, V Narayanan
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer …, 2005
312005
A generalization of the £o¶–Tarski preservation theorem
A Sankaran, B Adsul, S Chakraborty
Annals of Pure and Applied Logic 167 (3), 189-210, 2016
112016
Complete and tractable local linear time temporal logics over traces
B Adsul, M Sohoni
Automata, Languages and Programming: 29th International Colloquium, ICALP …, 2002
112002
Fast algorithms for rank-1 bimatrix games
B Adsul, J Garg, R Mehta, M Sohoni, B Von Stengel
Operations Research 69 (2), 613-631, 2021
102021
Local and global analysis of parametric solid sweeps
B Adsul, J Machchhar, M Sohoni
Computer Aided Geometric Design 31 (6), 294-316, 2014
102014
A simplex-like algorithm for Fisher markets
B Adsul, CS Babu, J Garg, R Mehta, M Sohoni
Algorithmic Game Theory: Third International Symposium, SAGT 2010, Athens …, 2010
92010
Preservation under substructures modulo bounded cores
A Sankaran, B Adsul, V Madan, P Kamath, S Chakraborty
International Workshop on Logic, Language, Information, and Computation, 291-305, 2012
82012
A geometric approach to the Kronecker problem II: rectangular shapes, invariants of matrices and the Artin–Procesi theorem
B Adsul, S Nayak, KV Subrahmanyam
preprint, 2007
82007
A geometric approach to the kronecker problem ii: rectangular shapes invariants of nn matrices and a generalization of the artin-procesi theorem
B Adsul, S Nayak, KV Subrahmanyam
Manuscript, available at http://www. cmi. ac. in/kv/ANS10. pdf, 2010
72010
A geometric approach to the Kronecker problem I: the two row case
B Adsul, KV Subrahmanyam
Proceedings Mathematical Sciences 118, 213-226, 2008
62008
A generalization of the £o¶-Tarski preservation theorem over classes of finite structures
A Sankaran, B Adsul, S Chakraborty
Mathematical Foundations of Computer Science 2014: 39th International …, 2014
52014
Quantum deformations of the restriction of GLmn (C)-modules to GLm (C)× GLn (C)
B Adsul, M Sohoni, KV Subrahmanyam
arXiv preprint math.RT/0905.0094, 2009
52009
A simplex-like algorithm for linear Fisher markets
B Adsul, CS Babu, J Garg, R Mehta, M Sohoni
Current Science, 1033-1042, 2012
42012
A geometric approach to the Kronecker problem II: Invariants of matrices for simultaneous left-right actions
B Adsul, S Nayak, KV Subrahmanyam
Manuscript, available in http://www. cmi. ac. in/kv/ANS10. pdf 18, 2010
42010
A computational framework for boundary representation of solid sweeps
B Adsul, J Machchhar, M Sohoni
Computer-Aided Design and Applications 12 (2), 181-191, 2015
32015
First-order logic and its infinitary quantifier extensions over countable words
B Adsul, S Sarkar, AV Sreejith
Fundamentals of Computation Theory: 23rd International Symposium, FCT 2021 …, 2021
22021
Wreath/cascade products and related decomposition results for the concurrent setting of mazurkiewicz traces (extended version)
B Adsul, P Gastin, S Sarkar, P Weil
arXiv preprint arXiv:2007.07940, 2020
22020
Block products for algebras over countable words and applications to logic
B Adsul, S Sarkar, AV Sreejith
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-13, 2019
22019
The system can't perform the operation now. Try again later.
Articles 1–20