Publications and others:

• Query evaluation on compressed instances (pdf)
  with Martin Grohe and Christoph Koch
  extended abstract accepted for publication at the IEEE Symposium on Logic in Computer Science 2003
• The complexity of first-order and monadic second-order logic revisited (pdf)
  with Martin Grohe
  Preprint, extended abstract appeared at the IEEE Symposium on Logic in Computer Science 2002
  Full version invited to Anals of Pure and Applied Logic
• Generalized model-checking over locally tree-decomposable classes (pdf)
  Extended abstract appeared in Proceedings of the
  19th International Symposium on Theoretical Aspects of Computer Science 2002, Nice, France
  Lecture Notes in Computer Science 2285, Springer Verlag, 2001
  Journal Version invited to Theory of Computing Systems
  
• Easy Instances for Model-Checking
  Ph.D. Thesis, June 2001 pdf
  
• Query evaluation via tree-decompositions
  with Jörg Flum and Martin Grohe
  Appeared in the Journal of the ACM. Volume 49, Issue 6, 2002
  Conference version appeared in Proceedings of the 8th International Conference on Database Theory 2001
  Lecture Notes in Computer Science 1973, Springer-Verlag, 1999.
• Deciding first-order properties of tree-decomposable structures
  with Martin Grohe
  Appeared in the Journal of the ACM. Volume 48,Issue 6, 2001
  Conference version appeared in Proceedings of the 26th International Colloquium on Automata, Languages, and Programming 2000.
  Lecture Notes in Computer Science 1644, Springer-Verlag, 1999.
• A survey on Oracles and Quantifiers
  with J. Makowsky und A. Pnueli (in preparation)
  
• Oracles and Quantifiers
  (not published)