FAU.de
Deutsch
Login
Home
Publications
Research Grants
Inventions & Patents
Awards
Additional Research Activities
Faculties & Institutions
Research Areas
Department Informatik
Friedrich-Alexander-Universität Erlangen-Nürnberg
Technische Fakultät
Overview
Publications
(9,326)
Research Grants
(639)
Types of publications
Toggle all
Journal article
Journal article
Book chapter / Article in edited volumes
Book chapter / Article in edited volumes
Authored book
Authored book
Translation
Translation
Thesis
Thesis
Edited Volume
Edited Volume
Conference contribution
Conference contribution
Other publication type
Other publication type
Unpublished / Preprint
Unpublished / Preprint
Publication year
From
To
Abstract
Journal
Filters (inactive)
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
‹
1
...
54
55
56
57
58
...
933
›