Discriminative classifiers for speaker recognition

Speaker Recognition, Speaker Verification, Sparse Kernel Logistic Regression, Support Vector Machine

Task-dependent modulation of reward and novelty processing in human ventral striatum and midbrain

Magdeburg, Univ., Fak. für Naturwiss., Diss., 2008

Lagrangian methods for visualization and analysis of time-dependent vector fields

Magdeburg, Univ., Fak. für Informatik, Diss., 2013

Neural correlates of context-dependent memory : the role of the insula in episodic encoding and recognition memory ; an fMRI experiment

Magdeburg, Univ., Med. Fak., Diss., 2014

Product-line specification and verification with feature-oriented contracts

Magdeburg, Univ., Fak. für Informatik, Diss., 2015

Verification of system properties of polynomial systems using discrete-time approximations and set-based analysis

Magdeburg, Univ., Fak. für Elektrotechnik und Informationstechnik, Diss., 2015

Fast iterative solvers for time-dependent PDE-constrained optimization problems

Otto-von-Guericke-Universität Magdeburg, Fakultät für Mathematik, Kumulative Habilitation, 2016