| Automating cutting planes is NP-hard M Göös, S Koroth, I Mertz, T Pitassi Proceedings of the 52nd Annual ACM SIGACT Symposium on Theory of Computing …, 2020 | 33 | 2020 |
| Query-to-communication lifting using low-discrepancy gadgets A Chattopadhyay, Y Filmus, S Koroth, O Meir, T Pitassi SIAM Journal on Computing 50 (1), 171-210, 2021 | 29 | 2021 |
| Query-to-communication lifting for BPP using inner product A Chattopadhyay, Y Filmus, S Koroth, O Meir, T Pitassi 46th International Colloquium on Automata, Languages, and Programming (ICALP …, 2019 | 22 | 2019 |
| Improved composition theorems for functions and relations S Koroth, O Meir Approximation, Randomization, and Combinatorial Optimization. Algorithms and …, 2018 | 18 | 2018 |
| Algorithms and lower bounds for de morgan formulas of low-communication leaf gates V Kabanets, S Koroth, Z Lu, D Myrisiotis, IC Oliveira ACM Transactions on Computation Theory (TOCT) 13 (4), 1-37, 2021 | 15 | 2021 |
| Depth lower bounds against circuits with sparse orientation S Koroth, J Sarma Fundamenta Informaticae 152 (2), 123-144, 2017 | 8 | 2017 |
| On disperser/lifting properties of the index and inner-product functions P Beame, S Koroth arXiv preprint arXiv:2211.17211, 2022 | 5 | 2022 |
| Characterization and lower bounds for branching program size using projective dimension K Dinesh, S Koroth, J Sarma ACM Transactions on Computation Theory (TOCT) 11 (2), 1-22, 2019 | 2 | 2019 |
| Galaxia: A Semi-decentralized System for Implementing Secure-Group P2P Networks S Muralidharan, S Koroth, N Anto, R Pandarachalil 2009 First International Conference on Networks & Communications, 289-294, 2009 | 2 | 2009 |
| Toward probabilistic checking against non-signaling strategies with constant locality MM Jahanara, S Koroth, I Shinkar arXiv preprint arXiv:2009.04892, 2020 | 1 | 2020 |
| Subclasses of baxter permutations based on pattern avoidance S Balachandran, S Koroth Computer Science–Theory and Applications: 11th International Computer …, 2016 | 1 | 2016 |
| Sub-families of baxter permutations based on pattern avoidance S Balachandran, S Koroth arXiv preprint arXiv:1112.1374, 2011 | 1 | 2011 |
| Toward Probabilistic Checking against Non-Signaling Strategies with Constant Locality M Mahdi Jahanara, S Koroth, I Shinkar arXiv e-prints, arXiv: 2009.04892, 2020 | | 2020 |
| Non-monotonicity, Projective Dimension and Circuit Depth and Size Lower Bounds S KOROTH INDIAN INSTITUTE OF TECHNOLOGY, MADRAS, 2017 | | 2017 |
| A Study on Hierarchical Floorplans of Order k S Koroth, S Balachandran | | 2016 |
| 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2016) M Thorup, M Sagiv, H Hermanns, A Madry, FV Fomin, T Bultan, S Baruah, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2016 | | 2016 |
| A Study on Hierarchical Floorplans of Order k S Balachandran, S Koroth arXiv preprint arXiv:1112.1396, 2011 | | 2011 |
| A study on the number of Hierarchical Rectangular Partitions of Order k S Balachandran, S Koroth arXiv preprint arXiv:1112.1374, 2011 | | 2011 |
Or MeirAssociate Professor of Computer Science, University of HaifaVerified email at cs.haifa.ac.il
