| Research
- Talks
- Oberseminar Theoretische Informatik (information in German only)
- Circuits, Logic, and Games, Dagstuhl, 2010.
- Post's Lattice with Applications to Complexity Theory, ESSLLI 2007.
- Circuits, Logic, and Games, Dagstuhl, 2006.
- Complexity of Constraints, Dagstuhl, 2006.
- Logic and Circuit Complexity, ESSLLI 2003.
| |