Towards a Coalgebraic Semantics of the Ambient Calculus. - Daniel Hausmann 001; Till Mossakowski; Lutz Schröder (CALCO, 2005)

Iterative Circular Coinduction for CoCasl in Isabelle/HOL. - Daniel Hausmann 001; Till Mossakowski; Lutz Schröder (FASE, 2005)

A coalgebraic approach to the semantics of the ambient calculus. - Daniel Hausmann 001; Till Mossakowski; Lutz Schröder (Theor. Comput. Sci., 2006)

Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung. - Udo Frese; Daniel Hausmann 001; Christoph Lüth; Holger Täubig; Dennis Walter (Software Engineering (Workshops), 2008)

The Importance of Being Formal. - Udo Frese; Daniel Hausmann 001; Christoph Lüth; Holger Täubig; Dennis Walter (SafeCert@ETAPS, 2008)

Optimizing Conditional Logic Reasoning within CoLoSS. - Daniel Hausmann 001; Lutz Schröder (M4M, 2009)

Optimal Tableaux for Conditional Logics with Cautious Monotonicity. - Lutz Schröder; Dirk Pattinson; Daniel Hausmann 001 (ECAI, 2010)

Global Caching for the Flat Coalgebraic µ-Calculus. - Daniel Hausmann 001; Lutz Schröder (TIME, 2015)

Global Caching for the Alternation-free μ-Calculus. - Daniel Hausmann 001; Lutz Schröder; Christoph Egger 001 (CONCUR, 2016)

Permutation Games for the Weakly Aconjunctive mu-Calculus. - Daniel Hausmann 001; Lutz Schröder; Hans-Peter Deifel (CoRR, 2017)

Permutation Games for the Weakly Aconjunctive mu μ -Calculus. - Daniel Hausmann 001; Lutz Schröder; Hans-Peter Deifel (TACAS (2), 2018)

Satisfiability Checking for the Coalgebraic µ-Calculus. - Daniel Hausmann 001 (2018)

Game-Based Local Model Checking for the Coalgebraic mu-Calculus. - Daniel Hausmann 001; Lutz Schröder (CONCUR, 2019)

Optimal Satisfiability Checking for Arithmetic mu -Calculi. - Daniel Hausmann 001; Lutz Schröder (FoSSaCS, 2019)

Optimal Satisfiability Checking for Arithmetic μ-Calculi. - Daniel Hausmann 001; Lutz Schröder (CoRR, 2019)

Computing Nested Fixpoints in Quasipolynomial Time. - Daniel Hausmann 001; Lutz Schröder (CoRR, 2019)

NP Reasoning in the Monotone μ-Calculus. - Daniel Hausmann 001; Lutz Schröder (IJCAR (1), 2020)

Cheap CTL Compassion in NuSMV. - Daniel Hausmann 001; Tadeusz Litak; Christoph Rauch; Matthias Zinner (VMCAI, 2020)

Harnessing LTL With Freeze Quantification. - Daniel Hausmann 001; Stefan Milius; Lutz Schröder (CoRR, 2020)

Nominal Büchi Automata with Name Allocation. - Henning Urbat; Daniel Hausmann 001; Stefan Milius; Lutz Schröder (CONCUR, 2021)

A Linear-Time Nominal μ-Calculus with Name Allocation. - Daniel Hausmann 001; Stefan Milius; Lutz Schröder (MFCS, 2021)

Quasipolynomial Computation of Nested Fixpoints. - Daniel Hausmann 001; Lutz Schröder (TACAS (1), 2021)

A Survey on Satisfiability Checking for the μ-Calculus Through Tree Automata. - Daniel Hausmann 001; Nir Piterman (Principles of Systems Design, 2022)

Benchmark data for COOL 2.2. - Oliver Görlitz; Daniel Hausmann 001; Merlin Humml; Dirk Pattinson; Simon Prucker; Lutz Schröder (Zenodo, 2022)

COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description). - Oliver Görlitz; Daniel Hausmann 001; Merlin Humml; Dirk Pattinson; Simon Prucker; Lutz Schröder (CADE, 2023)

Symbolic Reactive Synthesis for the Safety and EL-fragment of LTL. - Daniel Hausmann 001; Mathieu Lehaut; Nir Piterman (CoRR, 2023)

COOL 2 - A Generic Reasoner for Modal Fixpoint Logics. - Oliver Görlitz; Daniel Hausmann 001; Merlin Humml; Dirk Pattinson; Simon Prucker; Lutz Schröder (CoRR, 2023)

Games for Efficient Supervisor Synthesis. - Daniel Hausmann 001; Prabhat Kumar Jha; Nir Piterman (IEEE Control. Syst. Lett., 2023)

Benchmarking scripts for COOL 2.3. - Oliver Görlitz; Daniel Hausmann 001; Merlin Humml; Dirk Pattinson; Simon Prucker; Lutz Schröder (Zenodo, 2023)

Benchmarking scripts for COOL 2.3. - Oliver Görlitz; Daniel Hausmann 001; Merlin Humml; Dirk Pattinson; Simon Prucker; Lutz Schröder (Zenodo, 2023)

Benchmarking scripts for COOL 2.4. - Oliver Görlitz; Daniel Hausmann 001; Merlin Humml; Dirk Pattinson; Simon Prucker; Lutz Schröder (Zenodo, 2023)

Benchmarking for COOL Model Checking. - Daniel Hausmann 001; Merlin Humml; Simon Prucker; Lutz Schröder; Aaron Strahlberger (Zenodo, 2023)

Benchmarking for COOL Model Checking. - Daniel Hausmann 001; Merlin Humml; Simon Prucker; Lutz Schröder; Aaron Strahlberger (Zenodo, 2023)

Benchmarking for COOL Model Checking. - Daniel Hausmann 001; Merlin Humml; Simon Prucker; Lutz Schröder; Aaron Strahlberger (Zenodo, 2023)

Benchmarking for COOL Model Checking. - Daniel Hausmann 001; Merlin Humml; Simon Prucker; Lutz Schröder; Aaron Strahlberger (Zenodo, 2023)

Distribution of Reconfiguration Languages Maintaining Tree-Like Communication Topology. - Daniel Hausmann 001; Mathieu Lehaut; Nir Piterman (ATVA, 2024)

Faster and Smaller Solutions of Obliging Games. - Daniel Hausmann 001; Nir Piterman (CONCUR, 2024)

Symbolic Solution of Emerson-Lei Games for Reactive Synthesis. - Daniel Hausmann 001; Mathieu Lehaut; Nir Piterman (FoSSaCS (1), 2024)

Fair ω-Regular Games. - Daniel Hausmann 001; Nir Piterman; Irmak Saglam; Anne-Kathrin Schmuck (FoSSaCS (1), 2024)

Generic Model Checking for Modal Fixpoint Logics in COOL-MC. - Daniel Hausmann 001; Merlin Humml; Simon Prucker; Lutz Schröder; Aaron Strahlberger (VMCAI (1), 2024)

Faster Game Solving by Fixpoint Acceleration. - Daniel Hausmann 001 (CoRR, 2024)

Alternating Nominal Automata with Name Allocation. - Florian Frank 002; Daniel Hausmann 001; Stefan Milius; Lutz Schröder; Henning Urbat (CoRR, 2024)

Coalgebraic Satisfiability Checking for Arithmetic μ-Calculi. - Daniel Hausmann 001; Lutz Schröder (Log. Methods Comput. Sci., 2024)

Benchmarking for COOL Model Checking. - Daniel Hausmann 001; Merlin Humml; Simon Prucker; Lutz Schröder; Aaron Strahlberger (Zenodo, 2025)

Benchmarking for COOL Model Checking. - Daniel Hausmann 001; Merlin Humml; Simon Prucker; Lutz Schröder; Aaron Strahlberger (Zenodo, 2025)

Benchmarking for COOL Model Checking. - Daniel Hausmann 001; Merlin Humml; Simon Prucker; Lutz Schröder; Aaron Strahlberger (Zenodo, 2025)

Benchmarking for COOL Model Checking. - Daniel Hausmann 001; Merlin Humml; Simon Prucker; Lutz Schröder; Aaron Strahlberger (Zenodo, 2025)

Efficient Model Checking for the Alternating-Time µ-Calculus via Effectivity Frames - Artifact. - Merlin Humml; Daniel Hausmann 001; Lutz Schröder; Simon Prucker (Zenodo, 2025)

Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames. - Daniel Hausmann 001; Merlin Humml; Simon Prucker; Lutz Schröder (CoRR, 2025)

Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis. - Daniel Hausmann 001; Shufang Zhu 001; Gianmarco Parretti; Christoph Weinhuber; Giuseppe De Giacomo; Nir Piterman (CoRR, 2025)