K. S. Thejaswini
Henzinger_Thomas Group
2 Publications
2024 | Published | Conference Paper | IST-REx-ID: 18955 | 
Simple and tight complexity lower bounds for solving Rabin games
A. Casares, M. Pilipczuk, M. Pilipczuk, U.S. Souza, K.S. Thejaswini, in:, 2024 Symposium on Simplicity in Algorithms, Society for Industrial and Applied Mathematics, 2024, pp. 160–167.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Casares, M. Pilipczuk, M. Pilipczuk, U.S. Souza, K.S. Thejaswini, in:, 2024 Symposium on Simplicity in Algorithms, Society for Industrial and Applied Mathematics, 2024, pp. 160–167.
2024 | Published | Conference Paper | IST-REx-ID: 15377 |
Rabin games and colourful universal trees
R. Majumdar, I. Sağlam, K.S. Thejaswini, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 213–231.
[Published Version]
View
| Files available
| DOI
| arXiv
R. Majumdar, I. Sağlam, K.S. Thejaswini, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 213–231.
Grants
2 Publications
2024 | Published | Conference Paper | IST-REx-ID: 18955 |
Simple and tight complexity lower bounds for solving Rabin games
A. Casares, M. Pilipczuk, M. Pilipczuk, U.S. Souza, K.S. Thejaswini, in:, 2024 Symposium on Simplicity in Algorithms, Society for Industrial and Applied Mathematics, 2024, pp. 160–167.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Casares, M. Pilipczuk, M. Pilipczuk, U.S. Souza, K.S. Thejaswini, in:, 2024 Symposium on Simplicity in Algorithms, Society for Industrial and Applied Mathematics, 2024, pp. 160–167.
2024 | Published | Conference Paper | IST-REx-ID: 15377 |
Rabin games and colourful universal trees
R. Majumdar, I. Sağlam, K.S. Thejaswini, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 213–231.
[Published Version]
View
| Files available
| DOI
| arXiv
R. Majumdar, I. Sağlam, K.S. Thejaswini, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 213–231.