Department Informatik

CRDTs, Coalgebraically (2023) Liittschwager N, Tsampas S, Castello J, Kuper L Conference contribution Higher-Order Mathematical Operational Semantics (2023) Goncharov S, Milius S, Schröder L, Tsampas S, Urbat H Conference contribution A Spatiotemporal Illumination Model for 3d Image Fusion in Optical Coherence Tomography (2023) Ploner S, Won J, Schottenhamml J, Girgis J, Lam K, Waheed N, Fujimoto J, Maier A Conference contribution Metal Inpainting in CBCT Projections Using Score-based Generative Model (2023) Mei S, Fan F, Maier A Conference contribution Metal-conscious Embedding for CBCT Projection Inpainting (2023) Fan F, Wang Y, Ritschl L, Biniazan R, Beister M, Kreher BW, Huang Y, et al. Conference contribution Employing Graph Representations for Cell-Level Characterization of Melanoma MELC Samples (2023) Rivera Monroy LC, Rist L, Eberhardt M, Ostalecki C, Baur A, Vera J, Breininger K, Maier A Conference contribution The Potential of Answer Classes in Large-scale Written Computer-Science Exams (2023) Lohr D, Berges M, Kohlhase M, Rabe F Conference contribution, Conference Contribution Multiple DCLC Routing Algorithms for Ultra-Reliable and Time-Sensitive Applications (2023) Navade P, Maile L, German R Conference contribution, Conference Contribution Exploring the Potential of Large Language Models to Generate Formative Programming Feedback (2023) Kiesler N, Lohr D, Keuning H Conference contribution, Conference Contribution Learning Support Systems based on Mathematical Knowledge Management (2023) Berges M, Betzendahl J, Chugh A, Kohlhase M, Lohr D, Müller D Conference contribution, Conference Contribution