The Features-and-Fluents Semantics for the Fluent Calculus. - Michael Thielscher; Thomas Witkowski (KR, 2006)

Model checking concurrent linux device drivers. - Thomas Witkowski; Nicolas Blanc; Daniel Kroening; Georg Weissenbacher (ASE, 2007)

Hybrid parallelization of an adaptive finite element code. - Axel Voigt; Thomas Witkowski (Kybernetika, 2010)

A Continuous Approach to Discrete Ordering on S2. - Rainer Backofen; Manuel Gräf; Daniel Potts; Simon Praetorius; Axel Voigt; Thomas Witkowski (Multiscale Model. Simul., 2011)

A multi-mesh finite element method for Lagrange elements of arbitrary degree. - Axel Voigt; Thomas Witkowski (J. Comput. Sci., 2012)

Software concepts and algorithms for an efficient and scalable parallel finite element method. - Thomas Witkowski (2014)

Software concepts and numerical algorithms for a scalable adaptive parallel finite element method. - Thomas Witkowski; Siqi Ling; Simon Praetorius; Axel Voigt (Adv. Comput. Math., 2015)