Daniel Hausmann

50 papers A* 2A 2B 10C 2Journal 21Unranked 12

Year	Rank	Type	Title / Venue / Authors
2025	A*	`conf`	Alternating Nominal Automata with Name Allocation. LICS Florian Frank, Daniel Hausmann, Stefan Milius, Lutz Schröder, Henning Urbat
2025	—	`conf`	Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames. SPIN Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder
2025	J	`jnl`	Efficient Model Checking for the Alternating-Time μ-Calculus via Effectivity Frames. CoRR Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder
2025	A*	`conf`	Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis. KR Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman
2025	J	`jnl`	Emerson-Lei and Manna-Pnueli Games for LTLf+ and PPLTL+ Synthesis. CoRR Daniel Hausmann, Shufang Zhu, Gianmarco Parretti, Christoph Weinhuber, Giuseppe De Giacomo, Nir Piterman
2025	—	`conf`	Generalised Reachability Games Revisited. GandALF Sougata Bose, Daniel Hausmann, Soumyajit Paul, Sven Schewe, Tansholpan Zhanabekova
2024	J	`jnl`	Alternating Nominal Automata with Name Allocation. CoRR Florian Frank, Daniel Hausmann, Stefan Milius, Lutz Schröder, Henning Urbat
2024	J	`jnl`	Coalgebraic Satisfiability Checking for Arithmetic μ-Calculi. Log. Methods Comput. Sci. Daniel Hausmann, Lutz Schröder
2024	B	`conf`	Distribution of Reconfiguration Languages Maintaining Tree-Like Communication Topology. ATVA Daniel Hausmann, Mathieu Lehaut, Nir Piterman
2024	J	`jnl`	Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology. CoRR Daniel Hausmann, Mathieu Lehaut, Nir Piterman
2024	—	`conf`	Fair ω-Regular Games. FoSSaCS (1) Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck
2024	—	`conf`	Faster Game Solving by Fixpoint Acceleration. FICS@CSL Daniel Hausmann
2024	B	`conf`	Faster and Smaller Solutions of Obliging Games. CONCUR Daniel Hausmann, Nir Piterman
2024	J	`jnl`	Faster and Smaller Solutions of Obliging Games. CoRR Daniel Hausmann, Nir Piterman
2024	—	`conf`	Generic Model Checking for Modal Fixpoint Logics in COOL-MC. VMCAI (1) Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger
2024	—	`conf`	Symbolic Solution of Emerson-Lei Games for Reactive Synthesis. FoSSaCS (1) Daniel Hausmann, Mathieu Lehaut, Nir Piterman
2023	A	`conf`	COOL 2 - A Generic Reasoner for Modal Fixpoint Logics (System Description). CADE Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder
2023	J	`jnl`	COOL 2 - A Generic Reasoner for Modal Fixpoint Logics. CoRR Oliver Görlitz, Daniel Hausmann, Merlin Humml, Dirk Pattinson, Simon Prucker, Lutz Schröder
2023	J	`jnl`	Fair ω-Regular Games. CoRR Daniel Hausmann, Nir Piterman, Irmak Saglam, Anne-Kathrin Schmuck
2023	J	`jnl`	Games for Efficient Supervisor Synthesis. IEEE Control. Syst. Lett. Daniel Hausmann, Prabhat Kumar Jha, Nir Piterman
2023	J	`jnl`	Generic Model Checking for Modal Fixpoint Logics in COOL-MC. CoRR Daniel Hausmann, Merlin Humml, Simon Prucker, Lutz Schröder, Aaron Strahlberger
2023	J	`jnl`	Symbolic Reactive Synthesis for the Safety and EL-fragment of LTL. CoRR Daniel Hausmann, Mathieu Lehaut, Nir Piterman
2022	—	`conf`	A Survey on Satisfiability Checking for the μ-Calculus Through Tree Automata. Principles of Systems Design Daniel Hausmann, Nir Piterman
2022	J	`jnl`	A Survey on Satisfiability Checking for the μ-Calculus through Tree Automata. CoRR Daniel Hausmann, Nir Piterman
2022	J	`jnl`	Coalgebraic Satisfiability Checking for Arithmetic μ-Calculi. CoRR Daniel Hausmann, Lutz Schröder
2021	B	`conf`	A Linear-Time Nominal μ-Calculus with Name Allocation. MFCS Daniel Hausmann, Stefan Milius, Lutz Schröder
2021	B	`conf`	Nominal Büchi Automata with Name Allocation. CONCUR Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder
2021	J	`jnl`	Nominal Büchi Automata with Name Allocation. CoRR Henning Urbat, Daniel Hausmann, Stefan Milius, Lutz Schröder
2021	—	`conf`	Quasipolynomial Computation of Nested Fixpoints. TACAS (1) Daniel Hausmann, Lutz Schröder
2020	B	`conf`	Cheap CTL Compassion in NuSMV. VMCAI Daniel Hausmann, Tadeusz Litak, Christoph Rauch, Matthias Zinner
2020	J	`jnl`	Harnessing LTL With Freeze Quantification. CoRR Daniel Hausmann, Stefan Milius, Lutz Schröder
2020	J	`jnl`	NP Reasoning in the Monotone $μ$-Calculus. CoRR Daniel Hausmann, Lutz Schröder
2020	—	`conf`	NP Reasoning in the Monotone μ-Calculus. IJCAR (1) Daniel Hausmann, Lutz Schröder
2019	J	`jnl`	Computing Nested Fixpoints in Quasipolynomial Time. CoRR Daniel Hausmann, Lutz Schröder
2019	B	`conf`	Game-Based Local Model Checking for the Coalgebraic mu-Calculus. CONCUR Daniel Hausmann, Lutz Schröder
2019	B	`conf`	Optimal Satisfiability Checking for Arithmetic \mu -Calculi. FoSSaCS Daniel Hausmann, Lutz Schröder
2019	J	`jnl`	Optimal Satisfiability Checking for Arithmetic μ-Calculi. CoRR Daniel Hausmann, Lutz Schröder
2018	—	`conf`	Permutation Games for the Weakly Aconjunctive \mu μ -Calculus. TACAS (2) Daniel Hausmann, Lutz Schröder, Hans-Peter Deifel
2018	—	`—`	Satisfiability Checking for the Coalgebraic µ-Calculus. Daniel Hausmann
2017	J	`jnl`	Permutation Games for the Weakly Aconjunctive mu-Calculus. CoRR Daniel Hausmann, Lutz Schröder, Hans-Peter Deifel
2016	B	`conf`	Global Caching for the Alternation-free μ-Calculus. CONCUR Daniel Hausmann, Lutz Schröder, Christoph Egger
2016	J	`jnl`	Global Caching for the Alternation-free μ-Calculus. CoRR Daniel Hausmann, Lutz Schröder, Christoph Egger
2015	C	`conf`	Global Caching for the Flat Coalgebraic µ-Calculus. TIME Daniel Hausmann, Lutz Schröder
2010	A	`conf`	Optimal Tableaux for Conditional Logics with Cautious Monotonicity. ECAI Lutz Schröder, Dirk Pattinson, Daniel Hausmann
2009	—	`conf`	Optimizing Conditional Logic Reasoning within CoLoSS. M4M Daniel Hausmann, Lutz Schröder
2008	—	`conf`	The Importance of Being Formal. SafeCert@ETAPS Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter
2008	C	`conf`	Zertifizierung einer Sicherungskomponente mittels durchgängig formaler Modellierung. Software Engineering (Workshops) Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter
2006	J	`jnl`	A coalgebraic approach to the semantics of the ambient calculus. Theor. Comput. Sci. Daniel Hausmann, Till Mossakowski, Lutz Schröder
2005	B	`conf`	Iterative Circular Coinduction for CoCasl in Isabelle/HOL. FASE Daniel Hausmann, Till Mossakowski, Lutz Schröder
2005	B	`conf`	Towards a Coalgebraic Semantics of the Ambient Calculus. CALCO Daniel Hausmann, Till Mossakowski, Lutz Schröder