Daniel Hausmann

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Fair \(\omega \)-regular games	2024-10-30	Paper
Symbolic solution of Emerson-Lei games for reactive synthesis	2024-10-30	Paper
Coalgebraic satisfiability checking for arithmetic \(\mu\)-calculi Logical Methods in Computer Science	2024-09-04	Paper
COOL 2 – A Generic Reasoner for Modal Fixpoint Logics (System Description)	2024-04-26	Paper
Nominal Büchi Automata with Name Allocation arXiv preprint	2023-08-21	Paper
A survey on satisfiability checking for the \(\mu \)-calculus through tree automata Lecture Notes in Computer Science	2023-08-10	Paper
A Linear-Time Nominal μ-Calculus with Name Allocation. arXiv preprint	2023-08-08	Paper
Game-based local model checking for the coalgebraic \(\mu\)-calculus	2023-02-03	Paper
NP reasoning in the monotone \(\mu\)-calculus arXiv preprint	2022-11-09	Paper
Quasipolynomial computation of nested fixpoints arXiv preprint	2021-08-04	Paper
Cheap CTL compassion in NuSMV	2020-08-05	Paper
Optimal satisfiability checking for arithmetic \(\mu\)-calculi arXiv preprint	2020-01-28	Paper
Permutation games for the weakly aconjunctive \(\mu \)-calculus arXiv preprint	2019-09-16	Paper
Global caching for the alternation-free \(\mu\)-calculus arXiv preprint	2018-03-21	Paper
Optimal tableaux for conditional logics with cautious monotonicity	2011-05-11	Paper
A coalgebraic approach to the semantics of the ambient calculus Theoretical Computer Science	2007-01-09	Paper
Algebra and Coalgebra in Computer Science Lecture Notes in Computer Science	2006-10-20	Paper
Fundamental Approaches to Software Engineering Lecture Notes in Computer Science	2005-09-13	Paper

Research outcomes over time

This page was built for person: Daniel Hausmann