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 | 42 | 2011 |
Nash equilibria in Fisher market B Adsul, CS Babu, J Garg, R Mehta, M Sohoni International Symposium on Algorithmic Game Theory, 30-41, 2010 | 34 | 2010 |
Causal closure for MSC languages B Adsul, M Mukund, KN Kumar, V Narayanan International Conference on Foundations of Software Technology and …, 2005 | 28 | 2005 |
Complete and tractable local linear time temporal logics over traces B Adsul, M Sohoni International Colloquium on Automata, Languages, and Programming, 926-937, 2002 | 11 | 2002 |
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 | 8 | 2016 |
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 | 8 | 2010 |
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 | 8 | 2007 |
Local and global analysis of parametric solid sweeps B Adsul, J Machchhar, M Sohoni Computer Aided Geometric Design 31 (6), 294-316, 2014 | 7 | 2014 |
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 | 7 | 2012 |
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 | 6 | 2010 |
A geometric approach to the Kronecker problem I: the two row case B Adsul, KV Subrahmanyam Proceedings Mathematical Sciences 118 (2), 213-226, 2008 | 6 | 2008 |
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 | 4 | 2014 |
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 | 4 | 2009 |
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 | 3 | 2010 |
Fast algorithms for rank-1 bimatrix games B Adsul, J Garg, R Mehta, M Sohoni, B Von Stengel Operations Research, 2020 | 2 | 2020 |
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 | 1 | 2015 |
Asynchronous automata-theoretic characterization of aperiodic trace languages B Adsul, M Sohoni International Conference on Foundations of Software Technology and …, 2004 | 1 | 2004 |
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 | 1 | 2000 |
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 |