Search the dblp DataBase
Christian Dax :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Christian Dax , Martin Hofmann , Martin Lange A Proof System for the Linear Time µ-Calculus. [Citation Graph (0, 0)][DBLP ] FSTTCS, 2006, pp:273-284 [Conf ] Christian Dax , Martin Lange Game Over: The Foci Approach to LTL Satisfiability and Model Checking. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:119, n:1, pp:33-49 [Journal ] Christian Dax , Jochen Eisinger , Felix Klaedtke Mechanizing the Powerset Construction for Restricted Classes of omega -Automata. [Citation Graph (0, 0)][DBLP ] ATVA, 2007, pp:223-236 [Conf ] Bernd Becker , Christian Dax , Jochen Eisinger , Felix Klaedtke LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals. [Citation Graph (0, 0)][DBLP ] CAV, 2007, pp:307-310 [Conf ] Specification Languages for Stutter-Invariant Regular Properties. [Citation Graph (, )][DBLP ] On Regular Temporal Logics with Past, . [Citation Graph (, )][DBLP ] Alternation Elimination by Complementation (Extended Abstract). [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.002secs