Department Informatik

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 Fighting Evasive Malware: How to Pass the Reverse Turing Test By Utilizing a VMI-Based Human Interaction Simulator (2022) Gruber J, Freiling F Conference contribution Digital Twinning of Dynamic Anthropomorphic Population for Assessment of Data Driven Respiratory Gating Methods in SPECT (2022) Reymann M, Massanes F, Kuwert T, Vija H, Maier A Conference contribution