Department Informatik

Research Project MBPLE4Mobility: Mastering Complex Transportation Systems with a High Degree of Variability (2022) Arestova A, Homm D, Kallis L, Kühn T, Portenlänger L, Rössler W, Schaffner J, et al. Book chapter / Article in edited volumes SageDB: An Instance-Optimized Data Analytics System (2022) Ding J, Marcus R, Kipf A, Nathan V, Nrusimha A, Vaidya K, van Renen A, Kraska T Journal article Are You Sure You Want to Use MMAP in Your Database Management System? (2022) Crotty A, Leis V, Pavlo A Conference contribution Conceptual Design for an Eye-Tracking Experiment on Formula Linebreaking (2022) Kohlhase A, Kohlhase M Conference contribution MioGatto: A Math Identifier-oriented Grounding Annotation Tool (2022) Asakura T, Miyao Y, Aizawa A, Kohlhase M Conference contribution Dynamic User Interfaces via Incremental Knowledge Management (2022) Kohlhase M, Marcus R, Roux N, Schihada J Conference contribution Reasoning Support for Undefinedness and Soft Typing in Formal Mathematics (2022) Betzendahl J Conference contribution Rotation-Equivariant Conditional Spherical Neural Fields for Learning a Natural Illumination Prior (2022) Gardner JA, Egger B, Smith WA Conference contribution Machine Learning, Linear Algebra, and More: Is SQL All You Need? (2022) Blacher M, Giesen J, Laue S, Klaus J, Leis V Conference contribution An industrial case study for performance evaluation of hardware-in-the-loop simulators with a combination of network calculus and discrete-event simulation (2022) Funda C, Funda C, Konheiser T, Herpel T, German R, Hielscher KS Conference contribution, Conference Contribution