Department Informatik

An update to PYRO-NN: A Python Library for Differentiable CT Operators (2026) Schneider LS, Sun Y, Ye C, Michen M, Maier A Unpublished / Preprint 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 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 FIND-Net – Fourier-Integrated Network with Dictionary Kernels for Metal Artifact Reduction (2026) Tasharofi F, Fan F, Qahqaie M, Thies M, Maier A Conference contribution The Dependently Typed Higher-Order Form for the TPTP World (2026) Ranalter D, Kaliszyk C, Rabe F, Sutcliffe G Conference contribution Subtyping in Dependently-Typed Higher-Order Logic (2026) Rothgang C, Rabe F Conference contribution