Department Informatik

Compiling VR/AR-Trainings from Business Process Models (2019) Thies LTN, Strohmeyer C, Ebert J, Stamminger M, Bauer F Conference contribution, Original article Conference Reports: Recap of DATE 2019 in Florence, Italy (2019) Teich J, Fummi F Journal article Iliac artery deformation during EVAR (2019) Koutouzi G, Pfister M, Breininger K, Hellström M, Roos H, Falkenberg M Journal article Debuggen im Unterricht – Ein systematisches Vorgehen macht den Unterschied (2019) Michaeli T, Romeike R Conference contribution An Efficient Solution to Structured Optimization Problems using Recursive Matrices (2019) Rückert D, Stamminger M Journal article, Original article The Coq Library as a Theory Graph (2019) Müller D, Rabe F, Sacerdoti Coen C Conference contribution Diagram Combinators in MMT (2019) Rabe F, Sharoda Y Conference contribution Relational Data Across Mathematical Libraries (2019) Condoluci A, Kohlhase M, Müller D, Rabe F, Sacerdoti Coen C, Wenzel M Conference contribution Towards a Unified Mathematical Data Infrastructure: Database and Interface Generation (2019) Bercic K, Kohlhase M, Rabe F Conference contribution, Original article Integrating Semantic Mathematical Documents and Dynamic Notebooks (2019) Amann K, Kohlhase M, Rabe F, Wiesing T Conference contribution