Christian Dax
From MaRDI portal
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
