Department Informatik

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 Exploiting Day-Ahead Electricity Price for Maximized Profit of Photovoltaic Systems (2012) Awad A, Bazan P, German R Conference contribution, Original article Correctness, Atomicity, and Integrity: Defining Criteria for Forensically-Sound Memory Acquisition (2012) Vömel S, Freiling F Journal article, Original article Abstract-Based Methodology for Modeling and Simulation of Smart Grid Components (2012) Awad A, Bazan P, German R Conference contribution Automatic OS Kernel TCB Reduction by Leveraging Compile-Time Configurability (2012) Tartler R, Kurmus A, Heinloth B, Rothberg V, Ruprecht A, Dorneanu D, Kapitza R, et al. Conference contribution, Conference Contribution Detecting Photograph Manipulation Through Color Constancy Analysis and Feature Engineering (2012) Carvalho T, Riess C, Angelopoulou E, Pedrini H, Rocha A Other publication type