1. Quantitative stochastic parity games;chatterjee;SODA,2004
2. The complexity of elementary algebra and geometry
3. Probabilistic linear-time model checking: An overview of the automata-theoretic approach;vardi;ARTS,1999
4. Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition;collins;Automata Theory and Formal Languages,1975
5. A gap property of deterministic tree languages