Daniel Hausmann

Available identifiers

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	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	2023-08-21	Paper
A survey on satisfiability checking for the \(\mu \)-calculus through tree automata	2023-08-10	Paper
A Linear-Time Nominal μ-Calculus with Name Allocation.	2023-08-08	Paper
https://portal.mardi4nfdi.de/entity/Q5875397	2023-02-03	Paper
NP reasoning in the monotone \(\mu\)-calculus	2022-11-09	Paper
Quasipolynomial computation of nested fixpoints	2021-08-04	Paper
Cheap CTL compassion in NuSMV	2020-08-05	Paper
Optimal satisfiability checking for arithmetic \(\mu\)-calculi	2020-01-28	Paper
Permutation games for the weakly aconjunctive \(\mu \)-calculus	2019-09-16	Paper
Global Caching for the Alternation-free µ-Calculus	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	2007-01-09	Paper
Algebra and Coalgebra in Computer Science	2006-10-20	Paper
Fundamental Approaches to Software Engineering	2005-09-13	Paper

This page was built for person: Daniel Hausmann