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
522011
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
512010
Causal closure for MSC languages
B Adsul, M Mukund, KN Kumar, V Narayanan
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer …, 2005
312005
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
142021
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
132016
Complete and tractable local linear time temporal logics over traces
B Adsul, M Sohoni
Automata, Languages and Programming: 29th International Colloquium, ICALP …, 2002
122002
Local and global analysis of parametric solid sweeps
B Adsul, J Machchhar, M Sohoni
Computer Aided Geometric Design 31 (6), 294-316, 2014
102014
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
92012
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
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 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
72014
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 simplex-like algorithm for linear Fisher markets
B Adsul, CS Babu, J Garg, R Mehta, M Sohoni
Current Science, 1033-1042, 2012
52012
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 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
Asynchronous automata-theoretic characterization of aperiodic trace languages
B Adsul, M Sohoni
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer …, 2005
42005
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
32020
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
Asynchronous wreath product and cascade decompositions for concurrent behaviours
B Adsul, P Gastin, S Sarkar, P Weil
Logical Methods in Computer Science 18, 2022
22022
The system can't perform the operation now. Try again later.
Articles 1–20