Department Informatik

Systematische Probleme und Grenzen der forensischen Informatik (2013) Dewald A, Freiling F, Schmitt S, Spreitzenbarth M, Vömel S Book chapter / Article in edited volumes A scalable module system (2013) Rabe F, Kohlhase M Journal article, Original article An auto-tuning approach for optimizing base operators for non-destructive testing applications on heterogeneous multi-core architectures (2013) Heller T, Fey D Conference contribution Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets (2013) Lill R, Saglietti F Conference contribution, Conference Contribution Full semantic transparency: Overcoming boundaries of applications (2013) Kohlhase A, Kohlhase M, Jucovschi C, Toader A Conference contribution, Original article OpenMathMap: Accessing Math via Interactive Maps (2013) Dörrie JW, Kohlhase M Conference contribution, Original article EsseOS: Haskell-based Tailored Services for the Cloud (2013) Stengel K, Schmaus F, Kapitza R Conference contribution A Scalability-Aware Kernel Executive for Many-Core Operating Systems (2013) Drescher G, Hönig T, Maier S, Oechslein B, Schröder-Preikschat W Conference contribution Understanding and Using Anonymous Credentials (2013) Benenson Z, Krontiris I, Rannenberg K, Liagkou V, Schopf A, Schröder D, Stamatiou Y Conference contribution Ethernet and IP for Automotive E/E-Architectures - Technology, Analysis, Migration Concepts and Infrastructure (2013) Kern A Thesis