Christian Dax

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
Game over: the foci approach to LTL satisfiability and model checking	2013-09-20	Paper
Alternation elimination for automata over nested words Foundations of Software Science and Computational Structures	2011-05-19	Paper
On regular temporal logics with past Acta Informatica	2010-06-21	Paper
Specification languages for stutter-invariant regular properties Automated Technology for Verification and Analysis	2009-12-01	Paper
On Regular Temporal Logics with Past, Automata, Languages and Programming	2009-07-14	Paper
Alternation Elimination by Complementation (Extended Abstract) Logic for Programming, Artificial Intelligence, and Reasoning	2009-01-27	Paper
Mechanizing the Powerset Construction for Restricted Classes of ω-Automata Automated Technology for Verification and Analysis	2008-07-03	Paper
A Proof System for the Linear Time μ-Calculus FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science	2008-04-17	Paper

Research outcomes over time

This page was built for person: Christian Dax