Department Informatik

FORnanoSatellites - Innovations in Nano-satellites - A Bavarian Research Alliance (2026) Fey D, Schilling K, Franke J, Schmidt M, Fuchs C Conference contribution Ternary Signed Digit Addition on Field Programmable Gate Arrays (2026) Schlögl T, Fey D Conference contribution Reaping the Benefits of Modularization in Flexiformal Mathematics by GF-based AST Transformations (2026) Kelber J, Kohlhase M, Schäfer JF, Schütz M Conference contribution Semantic Authoring in a Flexiformal Context — Bulk Annotation of Rigorous Documents (2026) Kohlhase M, Schäfer JF Conference contribution Numerical simulation and analysis of mixing enhancement due to chaotic advection using an adaptive approach for approximating the dilution index (2026) Feistner C, Basilio Hazas M, Wohlmuth B, Chiogna G Unpublished / Preprint A Unified Pipeline for Explainable Gait Analysis (2026) Zieger D, Henningson JO, Egger B, Stamminger M Conference contribution Entropy Sampling-Based Neural Architecture Search for Resource-Constrained Microcontroller Targets (2026) Heidorn C, Hannig F, Riedelbauch D, Strohmeyer C, Teich J Conference contribution, Conference Contribution C-MCTS: Safe Planning with Monte Carlo Tree Search (2026) Parthasarathy D, Kontes G, Plinge A, Mutschler C Unpublished / Preprint Evolving Algebraic Multigrid Methods Using Grammar-Guided Genetic Programming (2026) Parthasarathy D, Mitchell WB, Köstler H Unpublished / Preprint Synth it Like KITTI: Synthetic Data Generation for Object Detection in Driving Scenarios (2026) Marcus R, Vogel C, Jatzkowski I, Knoop N, Stamminger M Conference contribution