bibliographer - Daniel Hausmann

bibliographer a curated TCS bibliography

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

A Linear-Time Nominal mu-Calculus with Name Allocation Daniel Hausmann Stefan Milius Lutz Schröder [github]

Alternating Nominal Automata with Name Allocation Florian Frank Daniel Hausmann Stefan Milius Lutz Schrøder Henning Urbat [github]

Faster and Smaller Solutions of Obliging Games Daniel Hausmann Nir Piterman [github]

A Survey on Satisfiability Checking for the mu-Calculus through Tree Automata Daniel Hausmann Nir Piterman [github]

Quasipolynomial Computation of Nested Fixpoints Daniel Hausmann Lutz Schrøder [github]

Harnessing LTL With Freeze Quantification Daniel Hausmann Stefan Milius Lutz Schrøder [github]

Computing Nested Fixpoints in Quasipolynomial Time Daniel Hausmann Lutz Schrøder [github]

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

[show logs] [hide logs]