Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study. - Hans Koch; Alain Schenkel; Peter Wittwer (SIAM Rev., 1996)

Simulating an exterior domain for drag force computations in the lattice Boltzmann method. - Jonas Lätt; Yannick Grillet; Bastien Chopard; Peter Wittwer (Math. Comput. Simul., 2006)

Time Periodic Solutions of the Navier-Stokes Equations with Nonzero Constant Boundary Conditions at Infinity. - Guillaume van Baalen; Peter Wittwer (SIAM J. Math. Anal., 2011)

Decay Estimates for Steady Solutions of the Navier-Stokes Equations in Two Dimensions in the Presence of a Wall. - Christoph Boeckle; Peter Wittwer (SIAM J. Math. Anal., 2012)

Generalized Scale-Invariant Solutions to the Two-Dimensional Stationary Navier-Stokes Equations. - Julien Guillod; Peter Wittwer (SIAM J. Math. Anal., 2015)

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

A Space-Time Adaptive Algorithm to Illustrate the Lack of Collision of a Rigid Disk Falling in an Incompressible Fluid. - Samuel Dubuis; Marco Picasso; Peter Wittwer (Comput. Methods Appl. Math., 2021)

A new non-linear instability for scalar fields. - Farbod Hassani; Pan Shi; Julian Adamek; Martin Kunz; Peter Wittwer (CoRR, 2021)

A new instability in clustering dark energy? - Farbod Hassani; Julian Adamek; Martin Kunz; Pan Shi; Peter Wittwer (CoRR, 2022)