bibliographer - David Muller

bibliographer a curated TCS bibliography

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

Markov Chains and Unambiguous Automata Christel Baier Stefan Kiefer Joachim Klein David Muller James Worrell [github]

Markov Chains and Unambiguous Büchi Automata Christel Baier Stefan Kiefer Joachim Klein Sascha Klüppelholz David Müller James Worrell [github]

From LTL to Unambiguous Btextbackslash''uchi Automata via Disambiguation of Alternating Automata Simon Jantsch David Muller Christel Baier Joachim Klein [github]

Markov Chains and Unambiguous Buchi Automata Christel Baier Stefan Kiefer Joachim Klein Sascha Kluppelholz David Muller James Worrell [github]

Alternating automata on infinite objects, determinacy and Rabintextquotesingles theorem David Muller Paul E. Schupp [github]

From LTL to unambiguous Büchi automata via disambiguation of alternating automata Simon Jantsch David Müller Christel Baier Joachim Klein [github]

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

[show logs] [hide logs]