Department Informatik

VANDALIR: Vulnerability Analyses Based on Datalog and LLVM-IR (2022) Schilling J, Müller T Conference contribution Neural Adaptive Scene Tracing (NAScenT) (2022) Li R, Rückert D, Wang Y, Idoughi R, Heidrich W Conference contribution, Conference Contribution OS-State–Aware Fuzzing for Worst-Case Response Times (2022) Berger A, Schuster S, Wägemann P, Ulbrich P Conference contribution, Abstract of lecture Computer Assistance: A New Gold Standard for the Mitotic Count? (2022) Bertram CA, Aubreville M, Donovan TA, Bartel A, Wilm F, Marzahl C, Assenmacher CA, et al. Journal article System Description STEX3-A LATEX-Based Ecosystem for Semantic/Active Mathematical Documents (2022) Kohlhase M, Müller D Conference contribution Injecting Formal Mathematics Into LATEX (2022) Müller D, Kohlhase M Conference contribution Verifiable Timed Linkable Ring Signatures for Scalable Payments for Monero (2022) Thyagarajan SA, Malavolta G, Schmid F, Schröder D Conference contribution Wav2vec behind the Scenes: How end2end Models learn Phonetics (2022) tom Dieck T, Perez Toro PA, Arias Vergara T, Nöth E, Klumpp P Conference contribution CoachLea: an Android Application to Evaluate the Speech Production and Perception of Children with Hearing Loss (2022) Schäfer P, Perez Toro PA, Klumpp P, Orozco Arroyave JR, Nöth E, Maier A, Abad A, et al. Conference contribution Alzheimer's Detection from English to Spanish Using Acoustic and Linguistic Embeddings (2022) Perez Toro PA, Klumpp P, Hernandez A, Arias Vergara T, Lillo P, Slachevsky A, García AM, et al. Conference contribution