Department Informatik

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 Proceedings of the 9th International Symposium on Open Collaboration (2013) Riehle D Edited Volume Automatic Cell Detection in Bright-Field Microscope Images Using SIFT, Random Forests, and Hierarchical Clustering (2013) Mualla F, Schöll S, Sommerfeldt B, Maier A, Hornegger J Journal article, Original article ToF/RGB Sensor Fusion for 3-D Endoscopy (2013) Haase S, Forman C, Kilgus T, Bammer R, Maier-Hein L, Hornegger J Journal article, Original article Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013 (Proceedings) (2013) Heckel R, Milius S Edited Volume How Iterative Reflections of Monads are Constructed (2013) Adámek J, Milius S, Velebil J Journal article