Department Informatik

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 Verb Motility Dynamics Reveals Cognitive Impairment in Parkinson’s Disease: A Speech-Language Fusion Approach (2026) Mercado-Agudelo JF, Escobar-Grisales D, Ríos-Urrego CD, García AM, Bocanegra Y, Moreno L, Nöth E, Orozco-Arroyave JR Conference contribution Audio–Vision Contrastive Learning for Phonological Class Recognition (2026) Liu D, Arias-Vergara T, Hutter J, Maier A, Perez Toro PA Conference contribution A deep learning framework for heat demand forecasting using time–frequency representations of decomposed features (2026) Ramachandran A, Chatterjee S, Neergaard TFB, Oberndoerfer M, Maier A, Bayer S Journal article Dynamically Adaptable Ensemble Proxies for Training-Free Neural Architecture Search (2026) Heidorn C, Herderich T, Teich J Conference contribution, Conference Contribution Loop Control Management in Tightly Coupled Processor Arrays (TCPAs) (2026) Walter D, Hannig F, Teich J Unpublished / Preprint LoGSAM: Parameter-Efficient Cross-Modal Grounding for MRI Segmentation (2026) Islam Bhuiyan MR, Bhat S, Qahqaie M, Nguyen TT, Perez-Toro PA, Arias-Vergara T, Maier A Unpublished / Preprint Disciplines are not the Enemy: Three Insights from an Interdisciplinary Project on Everyday Security (2026) Benenson Z, Eckhardt D, Freiling F, Pöhls HC Other publication type Cross‑modal diffusion for region‑aligned vocal tract MRI synthesis (2026) Perez Toro PA, Arias Vergara T, Bueß L, Hutter J, Woo J, Maier A Conference contribution