bibliographer - Joachim Klein

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]

Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination Christel Baier Christian Hensel Lisa Hutschenreiter Sebastian Junges Joost-Pieter Katoen Joachim Klein [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]

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

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

Experiments with deterministic ømega-automata for formulas of linear temporal logic Joachim Klein Christel Baier [github]

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

[show logs] [hide logs]