Daniel Hausmann

Available identifiers

zbMath Open hausmann.danielMaRDI QIDQ784133

List of research outcomes

Publication	Date of Publication	Type
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Daniel Hausmann