bibliographer a curated TCS bibliography
  • obsidian
  • tags
  • authors
  • no doi
  • no pdf
  • bad author
  • add item
  • librarian

Strategic Dominance: A New Preorder for Nondeterministic Processes Thomas A. Henzinger Nicolas Mazzocchi N. Ege Saraç [github]
Safety and Liveness of Quantitative Automata Udi Boker Thomas A. Henzinger Nicolas Mazzocchi N. Ege Saraç [github]
FORQ-based Language Inclusion Formal Testing Kyveli Doveri Pierre Ganty Nicolas Mazzocchi [github]
Two-way Parikh Automata Emmanuel Filiot Shibashis Guha Nicolas Mazzocchi [github]
Decidable weighted expressions with Presburger combinators Emmanuel Filiot Nicolas Mazzocchi Jean-François Raskin [github]

Library Size: 13G (5 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A badge
[show logs] [hide logs]