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
422011
Nash equilibria in Fisher market
B Adsul, CS Babu, J Garg, R Mehta, M Sohoni
International Symposium on Algorithmic Game Theory, 30-41, 2010
342010
Causal closure for MSC languages
B Adsul, M Mukund, KN Kumar, V Narayanan
International Conference on Foundations of Software Technology and …, 2005
282005
Complete and tractable local linear time temporal logics over traces
B Adsul, M Sohoni
International Colloquium on Automata, Languages, and Programming, 926-937, 2002
112002
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
82016
A simplex-like algorithm for Fisher markets
B Adsul, CS Babu, J Garg, R Mehta, M Sohoni
International Symposium on Algorithmic Game Theory, 18-29, 2010
82010
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
Local and global analysis of parametric solid sweeps
B Adsul, J Machchhar, M Sohoni
Computer Aided Geometric Design 31 (6), 294-316, 2014
72014
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
72012
A geometric approach to the Kronecker problem II: rectangular shapes, invariants of nื n matrices, and a generalization of the Artin-Procesi theorem,(under preparation
B Adsul, S Nayak, KV Subrahmanyam
62010
A geometric approach to the Kronecker problem I: the two row case
B Adsul, KV Subrahmanyam
Proceedings Mathematical Sciences 118 (2), 213-226, 2008
62008
A generalization of the Łoś-Tarski preservation theorem over classes of finite structures
A Sankaran, B Adsul, S Chakraborty
International Symposium on Mathematical Foundations of Computer Science, 474-485, 2014
42014
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
42009
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
32010
Fast algorithms for rank-1 bimatrix games
B Adsul, J Garg, R Mehta, M Sohoni, B Von Stengel
Operations Research, 2020
22020
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
12015
Asynchronous automata-theoretic characterization of aperiodic trace languages
B Adsul, M Sohoni
International Conference on Foundations of Software Technology and …, 2004
12004
Keeping track of the Latest Gossip in shared memory systems
B Adsul, A Mehta, M Sohoni
International Conference on Foundations of Software Technology and …, 2000
12000
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
2020
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
2019
The system can't perform the operation now. Try again later.
Articles 1–20