Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie., , , and . FORMS/FORMAT, page 145-153. Springer, (2010)Recursive Sorting in Lattices.. CoRR, (2013)Load-balancing and object-orientation: a case study from mesoscale flow modelling., and . PDP, page 114-121. IEEE Computer Society, (1995)A Generic C++ Framework for Parallel Mesh Based Scientific Applications., and . IPDPS, page 103. IEEE Computer Society, (2001)Domain engineering and generic programming for parallel scientific computing.. Technical University of Berlin, Germany, (2002)Integrating OpenMP into Janus., , and . WOMPAT, volume 2104 of Lecture Notes in Computer Science, page 101-114. Springer, (2001)Generic Programming for Parallel Mesh Problems., and . ISCOPE, volume 1732 of Lecture Notes in Computer Science, page 108-119. Springer, (1999)A Generic C++ Framework for Parallel Mesh-Based Scientific Applications., , and . HIPS, volume 2026 of Lecture Notes in Computer Science, page 45-54. Springer, (2001)An Explicit Formula for Sorting and its Application to Sorting in Lattices.. CS&P, volume 1032 of CEUR Workshop Proceedings, page 133-144. CEUR-WS.org, (2013)Finite element methods in the PROMOTOR programming model., , and . EUROSIM, page 111-118. Elsevier, (1996)