dblp.uni-trier.dewww.uni-trier.de

Christian Dax

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
5EEChristian Dax, Felix Klaedtke: Alternation Elimination by Complementation (Extended Abstract). LPAR 2008: 214-229
2007
4EEChristian Dax, Jochen Eisinger, Felix Klaedtke: Mechanizing the Powerset Construction for Restricted Classes of omega -Automata. ATVA 2007: 223-236
3EEBernd Becker, Christian Dax, Jochen Eisinger, Felix Klaedtke: LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals. CAV 2007: 307-310
2006
2EEChristian Dax, Martin Hofmann, Martin Lange: A Proof System for the Linear Time µ-Calculus. FSTTCS 2006: 273-284
2005
1EEChristian Dax, Martin Lange: Game Over: The Foci Approach to LTL Satisfiability and Model Checking. Electr. Notes Theor. Comput. Sci. 119(1): 33-49 (2005)

Coauthor Index

1Bernd Becker [3]
2Jochen Eisinger [3] [4]
3Martin Hofmann [2]
4Felix Klaedtke [3] [4] [5]
5Martin Lange [1] [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)