K. S. Thejaswini

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 15

Top Topics

Relaxation Algorithm

Average Case Complexity

Top Venues

Publications

Rupak Majumdar, Irmak Saglam, K. S. Thejaswini
Rabin Games and Colourful Universal Trees. TACAS (3) (2024)
Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak
Solving Two-Player Games Under Progress Assumptions. VMCAI (1) (2024)
Antonio Casares, Marcin Pilipczuk, Michal Pilipczuk, Uéverton S. Souza, K. S. Thejaswini
Simple and tight complexity lower bounds for solving Rabin games. SOSA (2024)
Rupak Majumdar, Irmak Saglam, K. S. Thejaswini
Rabin Games and Colourful Universal Trees. CoRR (2024)
Antonio Casares, Marcin Pilipczuk, Michal Pilipczuk, Uéverton S. Souza, K. S. Thejaswini
Simple and tight complexity lower bounds for solving Rabin games. CoRR (2023)
Aditya Prakash, K. S. Thejaswini
On History-Deterministic One-Counter Nets. FoSSaCS (2023)
Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak
Solving Two-Player Games under Progress Assumptions. CoRR (2023)
K. S. Thejaswini, Pierre Ohlmann, Marcin Jurdzinski
A Technique to Speed up Symmetric Attractor-Based Algorithms for Parity Games. FSTTCS (2022)
Marcin Jurdzinski, Rémi Morvan, K. S. Thejaswini
Universal Algorithms for Parity Games and Nested Fixpoints. Principles of Systems Design (2022)
Aditya Prakash, K. S. Thejaswini
On History-Deterministic One-Counter Nets. CoRR (2022)
A. R. Balasubramanian, K. S. Thejaswini
Adaptive Synchronisation of Pushdown Automata. CONCUR (2021)
A. R. Balasubramanian, K. S. Thejaswini
Adaptive Synchronisation of Pushdown Automata. CoRR (2021)
Laure Daviaud, Marcin Jurdzinski, K. S. Thejaswini
The Strahler Number of a Parity Game. ICALP (2020)
Laure Daviaud, Marcin Jurdzinski, K. S. Thejaswini
The Strahler number of a parity game. CoRR (2020)
Marcin Jurdzinski, Rémi Morvan, Pierre Ohlmann, K. S. Thejaswini
A symmetric attractor-decomposition lifting algorithm for parity games. CoRR (2020)