bibliographer - Sascha Klüppelholz

bibliographer a curated TCS bibliography

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

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

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

Computing Conditional Probabilities: Implementation and Evaluation Steffen Märcker Christel Baier Joachim Klein Sascha Klüppelholz [github]

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

[show logs] [hide logs]