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 An LLM-Based Active Assistant and Smart Manual for CT Imaging Workflows (2026) Aliakbari Mamaghani Z, Vorberg L, Maier A, Katzmann A, Taubmann O Conference contribution A Unified Pipeline for Explainable Gait Analysis (2026) Zieger D, Henningson JO, Egger B, Stamminger M Conference contribution RIME 2025 Preface (2026) Felsner L, Küstner T, Maier A, Qin C Book chapter / Article in edited volumes Markerless Tracking-Based Registration for Medical Image Motion Correction (2026) Neubig L, Larsen D, Ikuma T, Kopp M, Kunduk M, Kist A Conference contribution LSTT: Latent Spatio-Temporal Transformer for Non-rigid Motion Compensation in CBCT (2026) Sun Y, Schneider LS, Schwarz A, Gu M, Mei S, Ye C, Bayer S, Maier A Conference contribution L-FUSION: Laplacian Fetal Ultrasound Segmentation and Uncertainty Estimation (2026) Müller J, Wright R, Day TG, Venturini L, Budd SF, Reynaud H, Hajnal JV, et al. Conference contribution Physics-Informed Joint Multi-TE Super-Resolution with Implicit Neural Representation for Robust Fetal T2 Mapping (2026) Bulut B, Dannecker M, Sanchez T, Neves Silva S, Zalevskyi V, Jia S, Ledoux JB, et al. Conference contribution Automated Biometry for Assessing Cephalopelvic Disproportion in 3D 0.55T Fetal MRI at Term (2026) Uus AU, Bansal S, Gerek Y, Waheed H, Silva SN, Verdera JA, Kyriakopoulou V, et al. Conference contribution