Jens Gerlach

Publication Activity (10 Years)

Years Active: 1994-2016
Publications (10 Years): 1

Top Venues

CoRR

CS&P

INDIN

NFM

Technical University of Berlin, Germany (PHD)

Education History

Technical University of Berlin, Germany

PHD

Publications

Clément Fumex, Claire Dross, Jens Gerlach, Claude Marché
Specification and Proof of High-Level Functional Properties of Bit-Level Programs. NFM (2016)
Jens Gerlach
Sorting in Lattices CoRR (2013)
Jens Gerlach
An Explicit Formula for Sorting and its Application to Sorting in Lattices. CS&P (2013)
Virgile Prevosto, Jochen Burghardt, Jens Gerlach, Kerstin Hartig, Hans Werner Pohl, Kim Völlinger
Formal specification and automated verification of railway software with Frama-C. INDIN (2013)
Jens Gerlach
Recursive Sorting in Lattices. CoRR (2013)
Kerstin Hartig, Jens Gerlach, Juan Soto, Jürgen Busse
Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie. FORMS/FORMAT (2010)
Jens Gerlach, Joachim Kneis
Generic Programming for Scientific Computing in C++, Java, and C#. APPT (2003)
Hans Werner Pohl, Jens Gerlach
Using the Bridge Design Pattern for OSGi Service Update. EuroPLoP (2003)
Jens Gerlach
Generic Programming of Parallel Applications with Janus. Parallel Process. Lett. 12 (2) (2002)
Jens Gerlach, Peter Gottschling, Uwe Der
A Generic C++ Framework for Parallel Mesh-Based Scientific Applications. HIPS (2001)
Jens Gerlach, Zheng-Yu Jiang, Hans Werner Pohl
Integrating OpenMP into Janus. WOMPAT (2001)
Jens Gerlach, Peter Gottschling
A Generic C++ Framework for Parallel Mesh Based Scientific Applications. IPDPS (2001)
Jens Gerlach, Mitsuhisa Sato
Generic Programming for Parallel Mesh Problems. ISCOPE (1999)
Jens Gerlach, Mitsuhisa Sato, Yutaka Ishikawa
Janus: A C++ Template Library for Parallel Dynamic Mesh Applications. ISCOPE (1998)
Jens Gerlach, Mitsuhisa Sato, Yutaka Ishikawa
Experiences with the C++ Standard Template Library and MPI for a Parallel Particle Simulation Method. HPCN Europe (1997)
Jens Gerlach, Mitsuhisa Sato, Yutaka Ishikawa
A Framework for Parallel Adaptive Finite Element Methods and Its Template Based Implementation in CC++. ISCOPE (1997)
Jens Gerlach, Gerd Heber, Andreas Schramm
Finite element methods in the PROMOTOR programming model. EUROSIM (1996)
Lars Büttner, Jens Gerlach
Load-balancing and object-orientation: a case study from mesoscale flow modelling. PDP (1995)
Jens Gerlach, Birgit Kähler
Parallelization of a Mesoscale Model of Atmospheric Circulation - An Object-Oriented Approach. HPCN (1994)
Jens Gerlach, Birgit Kähler
An Object-Oriented Program Family for the Parallel Simulation of Mesoscale Weather and Transport Processes. EUROSIM (1994)

Jens Gerlach.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jens Gerlach