Department Informatik

Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, DATE 2016 (2016) Fanucci L, Teich J Book chapter / Article in edited volumes Direct Numerical Simulation of Particle-Laden Electrokinetic Flows on High Performance Computers (2016) Bartuschat D Thesis Poster Abstract: Towards Code Metrics for Benchmarking Timing Analysis (2016) Wägemann P, Distler T, Raffeck P, Schröder-Preikschat W Conference contribution Modulo Scheduling of Symbolically Tiled Loops for Tightly Coupled Processor Arrays (2016) Witterauf M, Tanase AP, Hannig F, Teich J Conference contribution Supporting Composition in Symbolic System Synthesis (2016) Haubelt C, Neubauer K, Glaß M Conference contribution An approximation of the Gaussian RBF kernel for efficient classification with SVMs (2016) Ring M, Eskofier B Journal article Efficient unlinkable sanitizable signatures from signatures with re-randomizable keys (2016) Fleischhacker N, Krupp J, Malavolta G, Schneider J, Schröder D, Simkin M, Malavolta G Authored book, Volume of book series Delegatable functional signatures (2016) Backes M, Meiser S, Schröder D Authored book, Volume of book series Contrast-Based Registration Of Left Atria To Fluoroscopic Image Sequences By Temporal Markow Filtering And Motion Regularization (2016) Hoffmann M, Strobel N, Hornegger J, Maier A Conference contribution From Intent to Effect: Tool-based Generation of Time-Triggered Real-Time Systems on Multi-Core Processors (2016) Franzmann FP, Klaus T, Ulbrich P, Deinhardt P, Steffes B, Scheler F, Schröder-Preikschat W Conference contribution, Conference Contribution