An Object-Oriented Program Family for the Parallel Simulation of Mesoscale Weather and Transport Processes. - Jens Gerlach; Birgit Kähler (EUROSIM, 1994)

Parallelization of a Mesoscale Model of Atmospheric Circulation - An Object-Oriented Approach. - Jens Gerlach; Birgit Kähler (HPCN, 1994)

Load-balancing and object-orientation: a case study from mesoscale flow modelling. - Lars Büttner; Jens Gerlach (PDP, 1995)

Finite element methods in the PROMOTOR programming model. - Jens Gerlach; Gerd Heber; Andreas Schramm (EUROSIM, 1996)

Experiences with the C++ Standard Template Library and MPI for a Parallel Particle Simulation Method. - Jens Gerlach; Mitsuhisa Sato; Yutaka Ishikawa (HPCN Europe, 1997)

A Framework for Parallel Adaptive Finite Element Methods and Its Template Based Implementation in CC++. - Jens Gerlach; Mitsuhisa Sato; Yutaka Ishikawa (ISCOPE, 1997)

Janus: A C++ Template Library for Parallel Dynamic Mesh Applications. - Jens Gerlach; Mitsuhisa Sato; Yutaka Ishikawa (ISCOPE, 1998)

Generic Programming for Parallel Mesh Problems. - Jens Gerlach; Mitsuhisa Sato (ISCOPE, 1999)

A Generic C++ Framework for Parallel Mesh-Based Scientific Applications. - Jens Gerlach; Peter Gottschling; Uwe Der (HIPS, 2001)

A Generic C++ Framework for Parallel Mesh Based Scientific Applications. - Jens Gerlach; Peter Gottschling (IPDPS, 2001)

Integrating OpenMP into Janus. - Jens Gerlach; Zheng-Yu Jiang; Hans Werner Pohl (WOMPAT, 2001)

Generic Programming of Parallel Applications with Janus. - Jens Gerlach (Parallel Process. Lett., 2002)

Domain engineering and generic programming for parallel scientific computing. - Jens Gerlach (2002)

Generic Programming for Scientific Computing in C++, Java, and C#. - Jens Gerlach; Joachim Kneis (APPT, 2003)

Using the Bridge Design Pattern for OSGi Service Update. - Hans Werner Pohl; Jens Gerlach (EuroPLoP, 2003)

Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie. - Kerstin Hartig; Jens Gerlach; Juan Soto 001; Jürgen Busse (FORMS/FORMAT, 2010)

An Explicit Formula for Sorting and its Application to Sorting in Lattices. - Jens Gerlach (CS&P, 2013)

Formal specification and automated verification of railway software with Frama-C. - Virgile Prevosto; Jochen Burghardt; Jens Gerlach; Kerstin Hartig; Hans Werner Pohl; Kim Völlinger (INDIN, 2013)

Recursive Sorting in Lattices. - Jens Gerlach (CoRR, 2013)

Sorting in Lattices - Jens Gerlach (CoRR, 2013)

Specification and Proof of High-Level Functional Properties of Bit-Level Programs. - Clément Fumex; Claire Dross; Jens Gerlach; Claude Marché (NFM, 2016)