Department Informatik

A characterisation of NL/poly via nondeterministic finite automata (2013) Myers R, Urbat H Conference contribution Proceedings of the 8th Workshop in Primary and Secondary Computing Education (2013) Caspersen ME, Knobelsdorf M, Romeike R Edited Volume Process Support and Knowledge Representation in Healthcare. – AIME 2013 Joint Workshop, ProHealth 2013/KR4HC (2013) Riano D, Lenz R, Miksch S, Peleg M, Reichert M, ten Teije A Edited Volume Model-guided Performance Analysis of the Sparse Matrix-Matrix Multiplication (2013) Scharpff T, Iglberger K, Hager G, Rüde U Conference contribution The Impact of H.264/AVC on Compression and Non-Destructive Evaluation of Piston Data in Industrial Computed Tomography (2013) Ditter A, Fey D, Schön T, Luxa M, Gruber R Conference contribution, Conference Contribution Preface (2013) Mossakowski T, Roggenbach M, Schröder L Journal article, Editorial Logical Relations for a Logical Framework (2013) Rabe F Journal article Tetravalent arc-transitive graphs of order twice a product of two primes (2012) Bercic K, Ghasemi M Journal article, Original article Hybrid Simulation of Renewable Energy Generation and Storage Grids (2012) Bazan P, German R Conference contribution, Original article Hybrid Simulation with Loosely Coupled System Dynamics and Agent-Based Models for Prospective Health Technology Assessments (2012) Djanatliev A, Kolominsky-Rabas P, Hofmann B, German R Conference contribution, Original article