Department Informatik

Rational Operational Models (2013) Milius S, Bonsangue M, Myers R, Rot J Conference contribution Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion (2013) Milius S, Litak TM Conference contribution A Relatively Complete Generic Hoare Logic for Order-Enriched Effects (2013) Goncharov S, Schröder L Conference contribution, Original article Design and Implementation of Wiki Content Transformations and Refactorings (2013) Dohrn H, Riehle D Conference contribution, Original article A Model of the Commit Size Distribution of Open Source (2013) Kolassa C, Riehle D, Salim MA Conference contribution, Original article A Dual Model of Open Source License Growth (2013) Hofmann G, Riehle D, Kolassa C, Mauerer W Conference contribution, Original article PGAS implementation of SpMVM and LBM with GPI (2013) Shahzad F, Wittmann M, Kreutzer M, Zeiser T, Hager G, Wellein G Conference contribution An Evaluation of Different I/O Techniques for Checkpoint/Restart (2013) Shahzad F, Wittmann M, Zeiser T, Hager G, Wellein G Conference contribution Timing Analysis of Ethernet AVB-based Automotive E/E Architectures (2013) Reimann F, Graf S, Streit F, Glaß M, Teich J Conference contribution System Integration of Tightly-Coupled Processor Arrays using Reconfigurable Buffer Structures (2013) Hannig F, Schmid M, Lari V, Boppu S, Teich J Conference contribution