Department Informatik

Konstruktive Zuverlässigkeit: Eine Methodik für zuverlässige Systemsoftware auf unzuverlässiger Hardware (2016) Hoffmann M Thesis Simulations of Particle-laden Flows with the Lattice Boltzmann Methods (2016) Rettinger C, Rüde U Journal article A Minimally-Intrusive Approach for Query-Driven Data Integration Systems (2016) Wahl AM Conference contribution, Conference Contribution Profinite Monads, Profinite Equations and Reitermann's Theorem (2016) Chen LT, Adámek J, Milius S, Urbat H, Urbat H Conference contribution Hybrid Parallel Multigrid Methods for Geodynamical Simulations (2016) Bauer S, Bunge HP, Drzisga DP, Gmeiner B, Huber M, John L, Mohr M, et al. Book chapter / Article in edited volumes An implementation of global caching for the alternation-free coalgebraic μ-calculus (2016) Egger C Thesis An Energy Demand Model for the Microscopic Simulation of Plug-In-Hybrid Vehicles (2016) Ammon L, Huber B, Hübler F, Berndt R, Schellenberg S, Schneider V Conference contribution, Original article Approaching the accuracy-cost conflict in embedded classification system design (2016) Jensen U, Kugler P, Ring M, Eskofier B Journal article Combined Simulation and Testing Based on Standard UML Models (2016) Schneider V, Deitsch A, Dulz W, German R Book chapter / Article in edited volumes Towards an exascale enabled sparse solver repository (2016) Thies J, Galgon M, Shahzad F, Alvermann A, Kreutzer M, Pieper A, Röhrig-Zöllner M, et al. Authored book, Volume of book series