bibliographer - K. S. Thejaswini

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Resolving Nondeterminism with Randomness Thomas A. Henzinger Aditya Prakash K. S. Thejaswini [github]

A Technique to Speed up Symmetric Attractor-Based Algorithms for Parity Games K. S. Thejaswini Pierre Ohlmann Marcin Jurdziński [github]

On History-Deterministic One-Counter Nets Aditya Prakash K. S. Thejaswini [github]

Universal Algorithms for Parity Games and Nested Fixpoints Marcin Jurdziński Rémi Morvan K. S. Thejaswini [github]

The Strahler Number of a Parity Game Laure Daviaud Marcin Jurdziński K. S. Thejaswini [github]

The Strahler number of a parity game Laure Daviaud Marcin Jurdziński K. S. Thejaswini [github]

Library Size: 13G (6 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A

[show logs] [hide logs]