Model theory in Henselian fields:

• Trees of definable sets over the p-adics
  J. Reine Angew. Math., 642 (2010), 157-196.
• Approximations and Lipschitz continuity in p-adic semi-algebraic and subanalytic geometry
  With R. Cluckers; 2010. To appear in Confluentes Mathematici.
• Trees of definable sets in ℤ_p
  in Proceedings of the conference "Motivic Integration and its interaction with Model Theory and Non-Archimedean Geometry", R. Cluckers, J. Nicaise, and J. Sebag, eds., Cambridge University Press, 2011, 87-107.
• Non-archimedean Whitney stratifications
  2011. Preprint.
• Transfer principles for integrability and boundedness conditions for motivic exponential functions
  With R. Cluckers, J. Gordon; 2011. Preprint.
• Definability results for invariant distributions on a reductive unramified p-adic group
  With R. Cluckers, J. Gordon; 2011. Preprint.
• Approximations and Lipschitz continuity in Henselian valued fields of characteristic zero
  With R. Cluckers; Work in progress.

Other model theory:

• A measure for perfect PAC fields with pro-cyclic Galois group
  Journal of Algebra, 310 (2007), 371-395.
• Motives for perfect PAC fields with pro-cyclic Galois group
  J. Symbolic Logic, 73 (2008), 1036-1050.
• Quantifier elimination in ordered abelian groups
  With R. Cluckers; Confluentes Mathematici, 3 (2011), 587-615.
• A language for quantifier elimination in ordered abelian groups
  in Séminaire de Structures Algébriques Ordonnées 2009-2010, F. Delon, M. A. Dickmann, and D. Gondard, eds., vol. 85, Équipe de Logique Mathématique, Paris, 2011, 11 pp.
• Dimension in topological structures: topological closure and local property
  With A. Fornasiero; 2011. To appear in Proceedings of the Conference on Group Theory and Model Theory.

Representation theory:

• Untersuchungen zu den Kazhdan-Lusztig-Polynomen und zu dazu passenden Bimoduln
  2000. Diploma thesis, 56 pp.
• Kategorielle Langlands-Korrespondenz für die verallgemeinerten Lorentz-Gruppen
  2005. PhD thesis, 68 pp.
• Categorical Langlands correspondence for SO_n,1(ℝ)
  Represent. Theory, 10 (2006), 223-253 (electronic).
• 
  Kategorielle Langlands-Korrespondenz für SO(n,1)
  VDM-Verlag, Saarbrücken, 2008, 60 pp.

Combinatorics

• Achieving snaky
  With J. Schlage-Puchta; Integers, 7 (2007), G2, 28 pp. (electronic).
• Some strategies for higher dimensional animal achievement games
  With J. Schlage-Puchta; Discrete Math., 308 (2008), 3470-3478.
• Lower bounds for q-ary codes with large covering radius
  With W. Haas, J. Schlage-Puchta; Electron. J. Combin., 16 (2009), Research Paper 133, 21 pp.
• Inductive methods and zero-sum free sequences
  With G. Bhowmik, J. Schlage-Puchta; Integers, 9 (2009), A40, 515-536.
• The structure of maximal zero-sum free sequences
  With G. Bhowmik, J. Schlage-Puchta; Acta Arith., 143 (2010), 21-50.
• Zero-sum free sets with small sum-set
  With G. Bhowmik, J. Schlage-Puchta; Math. Comp., 80 (2011), 2253-2258.

Other scientific publications:

• CS Freiburg's participation at RoboCup'98: The world champions in robotic soccer
  With B. Nebel, W. Hatzack, T. Weigel, J. Gutmann, F. Rittinger, A. Topor; AI Communications, 11 (1998), 243-248.
• The CS Freiburg robotic soccer team: Reliable self-localization, multirobot sensor integration, and basic soccer skills
  With J. Gutmann, W. Hatzack, B. Nebel, F. Rittinger, A. Topor, T. Weigel; in RoboCup-98: Robot Soccer World Cup II, M. Asada and H. Kitano, eds., Springer-Verlag, Berlin, Heidelberg, New York, 1999, 93-108.
• Pinning balloons with perfect angles and optimal area
  With A. Schulz; in Graph Drawing, M. J. van Kreveld and B. Speckmann, eds., vol. 7034 of Lecture Notes in Computer Science, Springer, 2011, 154-165.

Non-scientific publications:

• 
  Nazo Nazo. Das große Buch der japanischen Zahlenrätsel
  With B. Seckinger; Fischer Taschenbuch Verlag, Frankfurt, 2006.
• Sudoku, meisterhaft 2. Alle Rätsel der zweiten deutschen Sudokumeisterschaft
  With S. Heine, B. Seckinger; Presse Service Heine, 2007.