| The strahler number of a parity game L Daviaud, M Jurdziński, KS Thejaswini arXiv preprint arXiv:2003.08627, 2020 | 14 | 2020 |
| Universal Algorithms for Parity Games and Nested Fixpoints M Jurdziński, R Morvan, KS Thejaswini Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the …, 2022 | 6 | 2022 |
| On History-Deterministic One-Counter Nets. A Prakash, KS Thejaswini FoSSaCS, 218-239, 2023 | 5 | 2023 |
| A symmetric attractor-decomposition lifting algorithm for parity games M Jurdziński, R Morvan, P Ohlmann, KS Thejaswini arXiv preprint arXiv:2010.08288, 2020 | 5 | 2020 |
| Rabin games and colourful universal trees R Majumdar, I Sağlam, KS Thejaswini International Conference on Tools and Algorithms for the Construction and …, 2024 | 2 | 2024 |
| Adaptive synchronisation of pushdown automata AR Balasubramanian, KS Thejaswini CONCUR 2021, 2021 | 2 | 2021 |
| Simple and tight complexity lower bounds for solving Rabin games A Casares, M Pilipczuk, M Pilipczuk, US Souza, KS Thejaswini 2024 Symposium on Simplicity in Algorithms (SOSA), 160-167, 2024 | 1 | 2024 |
| Solving two-player games under progress assumptions AK Schmuck, KS Thejaswini, I Sağlam, SP Nayak International Conference on Verification, Model Checking, and Abstract …, 2023 | 1 | 2023 |
| A technique to speed up symmetric attractor-based algorithms for parity games KS Thejaswini, P Ohlmann, M Jurdzinski Proceedings of the 42nd IARCS Annual Conference on Foundations of Software …, 2022 | 1 | 2022 |
| The Strahler number of a Parity Game KS Thejaswini, L Daviaud, M Jurdzinski | | 2020 |
