Follow
K. S. Thejaswini
K. S. Thejaswini
Institute of Science and Technology, Austria
Verified email at ista.ac.at - Homepage
Title
Cited by
Cited by
Year
The strahler number of a parity game
L Daviaud, M Jurdziński, KS Thejaswini
arXiv preprint arXiv:2003.08627, 2020
142020
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
72022
On History-Deterministic One-Counter Nets.
A Prakash, KS Thejaswini
FoSSaCS, 218-239, 2023
52023
A symmetric attractor-decomposition lifting algorithm for parity games
M Jurdziński, R Morvan, P Ohlmann, KS Thejaswini
arXiv preprint arXiv:2010.08288, 2020
52020
Rabin games and colourful universal trees
R Majumdar, I Sağlam, KS Thejaswini
International Conference on Tools and Algorithms for the Construction and …, 2024
22024
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
22023
Adaptive synchronisation of pushdown automata
AR Balasubramanian, KS Thejaswini
CONCUR 2021, 2021
22021
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
12024
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
12022
The Strahler number of a Parity Game
KS Thejaswini, L Daviaud, M Jurdzinski
2020
The system can't perform the operation now. Try again later.
Articles 1–10