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

Composition of approximated body-surface-potential-maps by utilizing a common 12-lead-ECG device. - Hans Koch; Axel Richter; Rainer Kürsten; Markus Zabel (IEEE Trans. Biomed. Eng., 2005)

Integration of Dissipative Partial Differential Equations: A Case Study. - Gianni Arioli; Hans Koch (SIAM J. Appl. Dyn. Syst., 2010)

A Homoclinic Solution for Excitation Waves on a Contractile Substratum. - D. Ambrosi; Gianni Arioli; Hans Koch (SIAM J. Appl. Dyn. Syst., 2012)

Vertex Order in Some Large Constrained Random Graphs. - Hans Koch (SIAM J. Math. Anal., 2016)

Families of Periodic Solutions for Some Hamiltonian PDEs. - Gianni Arioli; Hans Koch (SIAM J. Appl. Dyn. Syst., 2017)

Some Reversing Orbits for a Rattleback Model. - Gianni Arioli; Hans Koch (J. Nonlinear Sci., 2022)

Periodic and Quasiperiodic Waves on the Sphere. - Gianni Arioli; Hans Koch (SIAM J. Appl. Dyn. Syst., 2024)