Department Informatik


close-button

Types of publications

Journal article
Book chapter / Article in edited volumes
Authored book
Translation
Thesis
Edited Volume
Conference contribution
Other publication type
Unpublished / Preprint

Publication year

From
To

Abstract

Journal

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 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