Daniel Hausmann

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Quasipolynomial Computation of Nested Fixpoints (2021) Hausmann D, Schröder L Conference contribution NP Reasoning in the Monotone mu-Calculus (2020) Hausmann D, Schröder L Conference contribution, Conference Contribution Cheap CTL Compassion in NuSMV (2020) Hausmann D, Litak TM, Rauch C, Zinner M Conference contribution Game-based local model checking for the coalgebraic µ-calculus (2019) Hausmann D, Schröder L Conference contribution Optimal Satisfiability Checking for Arithmetic µ-Calculi (2019) Hausmann D, Schröder L Conference contribution Permutation games for the weakly aconjunctive μ -calculus (2018) Hausmann D, Schröder L, Deifel HP Conference contribution, Original article Global Caching for the Alternation-free mu-Calculus (2016) Hausmann D, Schröder L, Egger C Conference contribution, Original article Global Caching for the Alternation-free Coalgebraic mu-calculus (2016) Hausmann D, Schröder L, Egger C Conference contribution Global Caching for the Flat Coalgebraic μ-Calculus (2015) Hausmann D, Schröder L Conference contribution, Conference Contribution Global Caching for the Flat Coalgebraic mu-Calculus (2015) Hausmann D, Schröder L Conference contribution, Original article