Department Informatik

A Unifying Categorical View of Nondeterministic Iteration and Tests (2024) Goncharov S, Uustalu T Conference contribution Nominal Tree Automata with Name Allocation (2024) Prucker S, Schröder L Conference contribution Key extraction-based lawful access to encrypted data: Taxonomy and survey (2024) Lindenmeier C, Hammer A, Gruber J, Röckl J, Freiling F Journal article, Review article VOAT: Voice Onset Analysis Tool (2024) Arias Vergara T, Madill C, Nguyen D, Holik J, Döllinger M Journal article JSON-CooP: A JSON Decompression/Parsing Co-Design for FPGAs (2024) Hahn T, Wildermann S, Teich J Conference contribution, Conference Contribution Adaptive Learning Systems in Programming Education: A Prototype for Enhanced Formative Feedback (2024) Lohr D, Berges M, Chugh A, Striewe M Conference contribution, other Term Extraction for Domain Modeling (2024) Kruse-Kurbach T, Lohr D, Berges M, Kohlhase M, Moghbeli Damaneh H, Schütz M Conference contribution, Conference Contribution Behavioural Metrics: Compositionality of the Kantorovich Lifting and an Application to Up-To Techniques (2024) D’Angelo K, Gurke S, Kirss JM, König B, Najafi M, Różowski W, Wild P Conference contribution G2EMOT: Guided Embedding Enhancement for Multiple Object Tracking in Complex Scenes (2024) Ma J, Wu F, Li C, Tang C, Zhang J, Xu Z, Li M, Liu D Journal article, Original article Electroretinogram Analysis Using a Short-Time Fourier Transform and Machine Learning Techniques (2024) Albasu FB, Kulyabin M, Zhdanov A, Dolganov A, Ronkin M, Borisov V, Dorosinsky L, et al. Journal article, Original article