Department Informatik

GenE: A Benchmark Generator for WCET Analysis (2015) Wägemann P, Distler T, Hönig T, Sieh V, Schröder-Preikschat W Conference contribution A fibrational approach to automata theory (2015) Urbat H, Chen LT Conference contribution, Conference Contribution Multi-Dimensional Flow-Preserving Compressed Sensing (MuFloCoS) for Time-Resolved Velocity-Encoded Phase Contrast MRI (2015) Hutter J, Schmitt P, Saake M, Stübinger A, Grimm R, Forman C, Greiser A, et al. Journal article Automatic Evaluation of Voice Quality Using Text-Based Laryngograph Measurements and Prosodic Analysis (2015) Haderlein T, Schwemmle C, Döllinger M, Matoušek V, Ptok M, Nöth E Journal article, Original article Combined Localization and Data Transmission in Energy-Constrained Wireless Sensor Networks (2015) Nowak T, Kölpin A, Dressler F, Hartmann M, Patino-Studencki L, Thielecke J Conference contribution Fat/carbohydrate ratio but not energy density determines snack food intake and activates brain reward areas (2015) Hoch T, Kreitz S, Gaffling S, Pischetsrieder M, Heß A Journal article, Original article Reliability of Space-Grade vs. COTS SRAM-Based FPGA in N-Modular Redundancy (2015) Glein R, Rittner F, Becher A, Ziener D, Frickel J, Teich J, Heuberger A Conference contribution, Conference Contribution Screening for breast cancer with Breast-CT in a ProHTA simulation (2015) Ruile G, Djanatliev A, Kriza C, Meier F, Leb I, Kalender WA, Kolominsky-Rabas P Journal article, Original article Coupled Physical Models for Extreme-Scale Computing (2015) Preclik T, Bartuschat D, Rüde U, Fattahi E, Wohlmuth BI Conference contribution, Conference Contribution Math literate knowledge management via induced material (2015) Iancu M, Kohlhase M Conference contribution, Original article