Christian Dax

From MaRDI portal
Person:977175

Available identifiers

zbMath Open dax.christianMaRDI QIDQ977175

List of research outcomes





PublicationDate of PublicationType
Game over: the foci approach to LTL satisfiability and model checking2013-09-20Paper
Alternation elimination for automata over nested words2011-05-19Paper
On regular temporal logics with past2010-06-21Paper
Specification languages for stutter-invariant regular properties2009-12-01Paper
On Regular Temporal Logics with Past,2009-07-14Paper
Alternation Elimination by Complementation (Extended Abstract)2009-01-27Paper
Mechanizing the Powerset Construction for Restricted Classes of ω-Automata2008-07-03Paper
A Proof System for the Linear Time μ-Calculus2008-04-17Paper

Research outcomes over time

This page was built for person: Christian Dax

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:977175&oldid=7350454"
Powered by MediaWiki