Department Informatik

Generalist Segmentation Algorithm for Photoreceptors Analysis in Adaptive Optics Imaging (2024) Kulyabin M, Sindel A, Pedersen H, Gilson S, Baraas R, Maier A Conference contribution, Original article Revealing an Unattractivity Bias in Mental Reconstruction of Occluded Faces using Generative Image Models (2024) Riedmann F, Egger B, Rohe T Conference contribution, Original article Gekoppelte Fluid Partikel Simulationen einer Suction Bucket Gründung zur Analyse von Piping Erosion während der Installation von Offshore Windkraftanlagen (2024) Kemmler S, Cuéllar P, Köstler H Conference contribution, Conference Contribution A Fluid Solid Coupled Micromechanical Simulation of Piping Erosion During the Installation of a Suction Bucket for the Foundation of an Offshore Wind Turbine (2024) Kemmler S, Cuéllar P, Köstler H Conference contribution, Conference Contribution Improved detection of small pulmonary embolism on unenhanced computed tomography using an artificial intelligence-based algorithm – a single centre retrospective study (2024) Hagen F, Vorberg L, Thamm F, Ditt H, Maier A, Brendel JM, Ghibes P, et al. Journal article EL3XIR: Fuzzing COTS Secure Monitors (2024) Lindenmeier C, Payer M, Busch M Conference contribution, Original article 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 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