Department Informatik

COALGEBRAIC SATISFIABILITY CHECKING FOR ARITHMETIC µ-CALCULI (2024) Hausmann D, Schröder L Journal article 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, Conference Contribution On the influence of smoothness constraints in computed tomography motion compensation (2024) Thies M, Wagner F, Maul N, Mei S, Gu M, Pfaff L, Vysotskaya N, et al. Conference contribution, Original article Hybrid Cache Design Under Varying Power Supply Stability - A Comparative Study (2024) Wilbert N, Wildermann S, Teich J Conference contribution, Conference Contribution T2 Distribution Analysis of Inflamed Bone Marrow Compartments in MR Images with Quantitative T2-mapping (2024) Brock L, Ben-Atya H, Saar G, Folle L, Maier A, Vandoorne K, Freiman M Conference contribution, Abstract of a poster Security Principles in Smart and Agile Cybersecurity for IoT and IIoT Environments (2024) Alshraa A, Al Sardy L, Dibaei Asl M, German R Book chapter / Article in edited volumes Öffentliche Wahrnehmung von Palliativversorgung vor, während und nach der COVID-19-Pandemie – eine empirische Untersuchung von Online-Diskursen (2024) Peters J, Rabenstein U, Heckel M, Breindl E, Ostgathe C Journal article Multilayer Multipurpose Caches for OpenMP Target Regions on FPGAs [Data set] (2024) Brandner J, Mayer F, Philippsen M Other publication type, Forschungsdaten Trajectory Vorticity - Computation and Visualization of Rotational Trajectory Behavior in an Objective Way (2024) Friederici A, Theisel H, Günther T Journal article