Department Informatik

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 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