bibliographer - K. Quaas

bibliographer a curated TCS bibliography

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

Recognizability of the support of recognizable series over the semiring of the integers is undecidable D. Kirsten K. Quaas [github]

The Containment Problem for Unambiguous Register Automata A. Mottet K. Quaas [github]

Synchronizing Data Words for Register Automata K. Quaas M. Shirmohammadi [github]

Revisiting reachability in timed automata K. Quaas M. Shirmohammadi J. Worrell [github]

Library Size: 13G (4 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]