Department Informatik

Automated Evaluation of Three Dimensional Ultrasonic Datasets (2013) Osman A Thesis Usability vs. Security: The Everlasting Trade-Off in the Context of Apple iOS Mobile Hotspots (2013) Kurtz A, Freiling F, Metz D Other publication type A Geometric Multigrid Solver on GPU Clusters (2013) Köstler H, Ritter D, Feichtinger C Book chapter / Article in edited volumes Physical Computing im Informatikunterricht (2013) Przybylla M, Romeike R Conference contribution, Conference Contribution New Approaches to Dose Reduction in Interventional CT Imaging (2013) Maier A Journal article Porous media simulation of bone cement spreading during vertebroplasty (2013) Wagner A, Bleiler C, Stadelmann V, Windolf M, Gueorguiev-Rüegg B, Köstler H, Röhrle O, Ehlers W Journal article Ein Energiesystemmodell für Bayern - Ratgeber und Werkzeug zur Steuerung der Energiewende (2013) Hassmann K, Pruckner M, German R Journal article A universal machine for biform theory graphs (2013) Kohlhase M, Mance F, Rabe F Conference contribution, Original article Mashups using mathematical knowledge: Why formulas are different (2013) Lange-Bever C, Kohlhase M Book chapter / Article in edited volumes The Mizar mathematical library in OMDoc: Translation and applications (2013) Iancu M, Kohlhase M, Rabe F, Urban J Journal article, Original article