K. S. Thejaswini
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
9
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Decoupled Planning for Multiple Omega-Regular Objectives. | Guy Avni, Thomas A. Henzinger, Kaushik Mallik, Suman Sadhukhan, K. S. Thejaswini |
| 2026 | CAV | Randomise Alone, Reach as a Team. | Lonard Brice, Thomas A. Henzinger, Alipasha Montaseri, Ali Shafiee, K. S. Thejaswini |
| 2026 | LICS | Dicey Games: Shared Sources of Randomness in Distributed Systems. | Lonard Brice, Thomas A. Henzinger, K. S. Thejaswini |
| 2025 | CCS | Privacy-Preserving Runtime Verification. | Thomas A. Henzinger, Mahyar Karimi, K. S. Thejaswini |
| 2025 | MFCS | Finding Equilibria: Simpler for Pessimists, Simplest for Optimists. | Lonard Brice, Thomas A. Henzinger, K. S. Thejaswini |
| 2025 | MFCS | Resolving Nondeterminism with Randomness. | Thomas A. Henzinger, Aditya Prakash, K. S. Thejaswini |
| 2024 | TACAS | Rabin Games and Colourful Universal Trees. | Rupak Majumdar, Irmak Saglam, K. S. Thejaswini |
| 2024 | VMCAI | Solving Two-Player Games Under Progress Assumptions. | Anne-Kathrin Schmuck, K. S. Thejaswini, Irmak Saglam, Satya Prakash Nayak |
| 2023 | FOSSACS | On History-Deterministic One-Counter Nets. | Aditya Prakash, K. S. Thejaswini |
| 2021 | CONCUR | Adaptive Synchronisation of Pushdown Automata. | A. R. Balasubramanian, K. S. Thejaswini |
| 2020 | ICALP | The Strahler Number of a Parity Game. | Laure Daviaud, Marcin Jurdzinski, K. S. Thejaswini |