Department Informatik

Multi-Partner Project: Open-source Design Tools for Co-development of AI Algorithms and AI Chips () Tahoori MB, Becker J, Henkel J, Kunz W, Schlichtmann U, Sigl G, Teich J, Wehn N Conference contribution Algebraic Language Theory with Effects () Lenke F, Milius S, Urbat H, Wißmann T Conference contribution Analyzing and adapting diffusion segmentation behavior for medical images (2026) Öttl M, Mei S, Wilm F, Qiu J, Steenpaß J, Rübner M, Hartmann A, et al. Journal article 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 HyLLM-IDS: A Conceptual Hybrid LLM-Assisted Intrusion Detection Framework for Cyber-Physical Systems (2026) Muhammad M, Shaaban AM, German R, Al Sardy L Conference contribution i7Fuzzer: Neural-Guided Fuzzing for Enhancing Security Testing of Stateful Protocols (2026) Al Sardy L, Prasad AR, German R Conference contribution, 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 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