default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJens Gerlach
Person information
Other persons with a similar name
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
[c17]Clément Fumex, Claire Dross, Jens Gerlach, Claude Marché:
Specification and Proof of High-Level Functional Properties of Bit-Level Programs. NFM 2016: 291-306- 2013
- [c16]Jens Gerlach:
An Explicit Formula for Sorting and its Application to Sorting in Lattices. CS&P 2013: 133-144 - [c15]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: 710-715 - [i2]Jens Gerlach:
Sorting in Lattices. CoRR abs/1303.5560 (2013) - [i1]Jens Gerlach:
Recursive Sorting in Lattices. CoRR abs/1306.0019 (2013) - 2010
- [c14]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: 145-153
2000 – 2009
- 2003
- [c13]Jens Gerlach, Joachim Kneis:
Generic Programming for Scientific Computing in C++, Java, and C#. APPT 2003: 301-310 - [c12]Hans Werner Pohl, Jens Gerlach:
Using the Bridge Design Pattern for OSGi Service Update. EuroPLoP 2003: 717-726 - 2002
- [b1]Jens Gerlach:
Domain engineering and generic programming for parallel scientific computing. Technical University of Berlin, Germany, 2002 - [j1]Jens Gerlach:
Generic Programming of Parallel Applications with Janus. Parallel Process. Lett. 12(2): 175-190 (2002) - 2001
- [c11]Jens Gerlach, Peter Gottschling, Uwe Der:
A Generic C++ Framework for Parallel Mesh-Based Scientific Applications. HIPS 2001: 45-54 - [c10]Jens Gerlach, Peter Gottschling:
A Generic C++ Framework for Parallel Mesh Based Scientific Applications. IPDPS 2001: 103 - [c9]Jens Gerlach, Zheng-Yu Jiang, Hans Werner Pohl:
Integrating OpenMP into Janus. WOMPAT 2001: 101-114
1990 – 1999
- 1999
- [c8]Jens Gerlach, Mitsuhisa Sato:
Generic Programming for Parallel Mesh Problems. ISCOPE 1999: 108-119 - 1998
- [c7]Jens Gerlach, Mitsuhisa Sato, Yutaka Ishikawa:
Janus: A C++ Template Library for Parallel Dynamic Mesh Applications. ISCOPE 1998: 215-222 - 1997
- [c6]Jens Gerlach, Mitsuhisa Sato, Yutaka Ishikawa:
Experiences with the C++ Standard Template Library and MPI for a Parallel Particle Simulation Method. HPCN Europe 1997: 961-962 - [c5]Jens Gerlach, Mitsuhisa Sato, Yutaka Ishikawa:
A Framework for Parallel Adaptive Finite Element Methods and Its Template Based Implementation in CC++. ISCOPE 1997: 105-112 - 1996
- [c4]Jens Gerlach, Gerd Heber, Andreas Schramm:
Finite element methods in the PROMOTOR programming model. EUROSIM 1996: 111-118 - 1995
- [c3]Lars Büttner, Jens Gerlach:
Load-balancing and object-orientation: a case study from mesoscale flow modelling. PDP 1995: 114-121 - 1994
- [c2]Jens Gerlach, Birgit Kähler:
An Object-Oriented Program Family for the Parallel Simulation of Mesoscale Weather and Transport Processes. EUROSIM 1994: 777-784 - [c1]Jens Gerlach, Birgit Kähler:
Parallelization of a Mesoscale Model of Atmospheric Circulation - An Object-Oriented Approach. HPCN 1994: 311-316
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:59 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
