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 | 51 | 2011 |
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 | 50 | 2010 |
Causal closure for MSC languages B Adsul, M Mukund, KN Kumar, V Narayanan FSTTCS 2005: Foundations of Software Technology and Theoretical Computer …, 2005 | 31 | 2005 |
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 | 13 | 2016 |
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 | 12 | 2021 |
Complete and tractable local linear time temporal logics over traces B Adsul, M Sohoni Automata, Languages and Programming: 29th International Colloquium, ICALP …, 2002 | 12 | 2002 |
Local and global analysis of parametric solid sweeps B Adsul, J Machchhar, M Sohoni Computer Aided Geometric Design 31 (6), 294-316, 2014 | 10 | 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 | 9 | 2012 |
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 | 9 | 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 |
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 | 7 | 2010 |
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 | 6 | 2014 |
A geometric approach to the Kronecker problem I: the two row case B Adsul, KV Subrahmanyam Proceedings Mathematical Sciences 118, 213-226, 2008 | 6 | 2008 |
A simplex-like algorithm for linear Fisher markets B Adsul, CS Babu, J Garg, R Mehta, M Sohoni Current Science, 1033-1042, 2012 | 5 | 2012 |
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 | 5 | 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 | 4 | 2010 |
Asynchronous automata-theoretic characterization of aperiodic trace languages B Adsul, M Sohoni FSTTCS 2004: Foundations of Software Technology and Theoretical Computer …, 2005 | 4 | 2005 |
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 | 3 | 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 | 3 | 2015 |
Asynchronous wreath product and cascade decompositions for concurrent behaviours B Adsul, P Gastin, S Sarkar, P Weil Logical Methods in Computer Science 18, 2022 | 2 | 2022 |