Daniel Hausmann

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 33

Top Venues

CoRR

CONCUR

FoSSaCS (1)

IEEE Control. Syst. Lett.

University of Erlangen-Nuremberg, Germany (PHD)

Education History

University of Erlangen-Nuremberg, Germany

PHD

Publications

Daniel Hausmann, Mathieu Lehaut, Nir Piterman
Symbolic Solution of Emerson-Lei Games for Reactive Synthesis. FoSSaCS (1) (2024)
Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger
Generic Model Checking for Modal Fixpoint Logics in COOL-MC. VMCAI (1) (2024)
Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck
Fair ømega-Regular Games. FoSSaCS (1) (2024)
Daniel Hausmann
Faster Game Solving by Fixpoint Acceleration. CoRR (2024)
Daniel Hausmann, Nir Piterman
Faster and Smaller Solutions of Obliging Games. CoRR (2024)
Daniel Hausmann, Nir Piterman
Faster and Smaller Solutions of Obliging Games. CONCUR (2024)
Daniel Hausmann, Lutz Schröder
Coalgebraic Satisfiability Checking for Arithmetic $\mu$-Calculi. Log. Methods Comput. Sci. 20 (3) (2024)
Daniel Hausmann, Mathieu Lehaut, Nir Piterman
Symbolic Reactive Synthesis for the Safety and EL-fragment of LTL. CoRR (2023)
Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder
COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description). CADE (2023)
Daniel Hausmann, Prabhat Kumar Jha, Nir Piterman
Games for Efficient Supervisor Synthesis. IEEE Control. Syst. Lett. 7 (2023)
Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck
Fair $ω$-Regular Games. CoRR (2023)
Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder
COOL 2 - A Generic Reasoner for Modal Fixpoint Logics. CoRR (2023)
Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger
Generic Model Checking for Modal Fixpoint Logics in COOL-MC. CoRR (2023)
Daniel Hausmann, Nir Piterman
A Survey on Satisfiability Checking for the μ-Calculus through Tree Automata. CoRR (2022)
Daniel Hausmann, Nir Piterman
A Survey on Satisfiability Checking for the μ-Calculus Through Tree Automata. Principles of Systems Design (2022)
Daniel Hausmann, Lutz Schröder
Coalgebraic Satisfiability Checking for Arithmetic μ-Calculi. CoRR (2022)
Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder
Nominal Büchi Automata with Name Allocation. CONCUR (2021)
Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder
Nominal Büchi Automata with Name Allocation. CoRR (2021)
Daniel Hausmann, Lutz Schröder
Quasipolynomial Computation of Nested Fixpoints. TACAS (1) (2021)
Daniel Hausmann, Stefan Milius, Lutz Schröder
A Linear-Time Nominal μ-Calculus with Name Allocation. MFCS (2021)
Daniel Hausmann, Lutz Schröder
NP Reasoning in the Monotone μ-Calculus. IJCAR (1) (2020)
Daniel Hausmann, Tadeusz Litak, Christoph Rauch, Matthias Zinner
Cheap CTL Compassion in NuSMV. VMCAI (2020)
Daniel Hausmann, Lutz Schröder
NP Reasoning in the Monotone $μ$-Calculus. CoRR (2020)
Daniel Hausmann, Stefan Milius, Lutz Schröder
Harnessing LTL With Freeze Quantification. CoRR (2020)
Daniel Hausmann, Lutz Schröder
Optimal Satisfiability Checking for Arithmetic μ-Calculi. CoRR (2019)
Daniel Hausmann, Lutz Schröder
Computing Nested Fixpoints in Quasipolynomial Time. CoRR (2019)
Daniel Hausmann, Lutz Schröder
Game-Based Local Model Checking for the Coalgebraic mu-Calculus. CONCUR (2019)
Daniel Hausmann, Lutz Schröder
Optimal Satisfiability Checking for Arithmetic \mu -Calculi. FoSSaCS (2019)
Daniel Hausmann, Lutz Schröder, Hans-Peter Deifel
Permutation Games for the Weakly Aconjunctive \mu μ -Calculus. TACAS (2) (2018)
Daniel Hausmann, Lutz Schröder, Hans-Peter Deifel
Permutation Games for the Weakly Aconjunctive mu-Calculus. CoRR (2017)
Daniel Hausmann, Lutz Schröder, Christoph Egger
Global Caching for the Alternation-free μ-Calculus. CoRR (2016)
Daniel Hausmann, Lutz Schröder, Christoph Egger
Global Caching for the Alternation-free μ-Calculus. CONCUR (2016)
Daniel Hausmann, Lutz Schröder
Global Caching for the Flat Coalgebraic µ-Calculus. TIME (2015)
Daniel Hausmann, Lutz Schröder
Optimizing Conditional Logic Reasoning within CoLoSS. Electron. Notes Theor. Comput. Sci. 262 (2010)
Lutz Schröder, Dirk Pattinson, Daniel Hausmann
Optimal Tableaux for Conditional Logics with Cautious Monotonicity. ECAI (2010)
Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter
The Importance of Being Formal. Electron. Notes Theor. Comput. Sci. 238 (4) (2009)
Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter
Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung. Software Engineering (Workshops) (2008)
Daniel Hausmann, Till Mossakowski, Lutz Schröder
A coalgebraic approach to the semantics of the ambient calculus. Theor. Comput. Sci. 366 (1-2) (2006)
Daniel Hausmann, Till Mossakowski, Lutz Schröder
Iterative Circular Coinduction for CoCasl in Isabelle/HOL. FASE (2005)
Daniel Hausmann, Till Mossakowski, Lutz Schröder
Towards a Coalgebraic Semantics of the Ambient Calculus. CALCO (2005)

Daniel Hausmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Daniel Hausmann