Department Informatik

A proposal for an OpenMath JSON encoding (2018) Kohlhase M, Wiesing T Conference contribution, Conference Contribution Syntactic/semantic analysis for high-precision math linguistics (2018) Schäfer JF, Kohlhase M Conference contribution, Original article DiscreteZOO: Towards a Fingerprint Database of Discrete Objects (2018) Bercic K, Vidali J Conference contribution, Conference Contribution Unified Code Generation for the Parallel Computation of Pairwise Interactions using Partial Evaluation (2018) Schmitt J, Köstler H, Eitzinger J, Membarth R, Pérard-Gayot A Conference contribution, Abstract of a poster Dynamic Load Balancing for Large Scale Particle Simulations (2018) Eibl S, Schornbaum F, Rüde U Conference contribution, Abstract of lecture Code Generation for Massively Parallel PDE Solvers (2018) Kuckuk S, Köstler H Conference contribution Towards Whole Program Generation for Ocean Modeling (2018) Kuckuk S, Köstler H Conference contribution, Abstract of a poster Generation of Highly Parallel Multigrid Solvers for CFD Applications (2018) Kuckuk S, Köstler H Conference contribution, Abstract of lecture Adaptive Grid Refinement Techniques for Particulate Flow Simulations with the Lattice Boltzmann Method (2018) Rettinger C Conference contribution, Abstract of a poster Adaptive Mesh Refinement and Load Balancing Techniques for Particulate Flow Simulations (2018) Rettinger C Conference contribution, Abstract of a poster