Tool Support for Formal Software Development: A Generic Architecture. - Maritta Heisel; Thomas Santen; Dominik Zimmermann (ESEC, 1995)

Justification of the Ginzburg-Landau Approximation in Case of Marginally Stable Long Waves. - Tobias Häcker; Guido Schneider; Dominik Zimmermann (J. Nonlinear Sci., 2011)

Nonlinear Stability at the Eckhaus Boundary. - Julien Guillod; Guido Schneider; Peter Wittwer; Dominik Zimmermann (SIAM J. Math. Anal., 2018)