Travelled to:1 × Greece
2 × Germany
Collaborated with:F.Klaedtke M.Lange B.Becker J.Eisinger
Talks about:constraint (1) automata (1) arithmet (1) regular (1) tempor (1) linear (1) elimin (1) altern (1) logic (1) integ (1)
Person: Christian Dax
DBLP: Dax:Christian
Contributed to:
2011
2009
2007Wrote 3 papers:
- FoSSaCS-2011-DaxK #automaton #word
- Alternation Elimination for Automata over Nested Words (CD, FK), pp. 168–183.
- ICALP-v2-2009-DaxKL #logic #on the
- On Regular Temporal Logics with Past, (CD, FK, ML), pp. 175–187.
- CAV-2007-BeckerDEK #constraints #integer #linear #named
- LIRA: Handling Constraints of Linear Arithmetics over the Integers and the Reals (BB, CD, JE, FK), pp. 307–310.