Anonymizing Dysarthric Speech: Investigating the Effects of Voice Conversion on Pathological Information Preservation (2024) Hernandez A, Perez Toro PA, Arias-Vergara T, Vasquez-Correa JC, Yang SH, Orozco-Arroyave JR, Maier A Conference contribution A Logical Framework Perspective on Conservativity (2024) Rabe F Conference contribution Reusing Learning Objects via Theory Morphisms (2024) Kohlhase M, Schütz M Conference contribution Graded Semantics and Graded Logics for Eilenberg-Moore Coalgebras (2024) Forster J, Schröder L, Wild P, Beohar H, Gurke S, Messing K Conference contribution Finding Argument Fragments on Social Media with Corpus Queries and LLMs (2024) Dykes N, Evert S, Heinrich P, Humml M, Schröder L Conference contribution Computer Classification of Linear Codes Based on Lattice Point Enumeration (2024) Kurz S, Kurz S Conference contribution Monoidal Extended Stone Duality (2024) Birkmann F, Urbat H, Milius S Conference contribution A Realistic Collimated X-Ray Image Simulation Pipeline (2024) El-Zein B, Eckert D, Weber T, Rohleder M, Ritschl L, Kappler S, Maier A Conference contribution LesionMix: A Lesion-Level Data Augmentation Method for Medical Image Segmentation (2024) Basaran BD, Zhang W, Qiao M, Kainz B, Matthews PM, Bai W Conference contribution Generic Model Checking for Modal Fixpoint Logics in COOL-MC (2024) Hausmann D, Humml M, Prucker S, Schröder L, Strahlberger A Conference contribution