Department Informatik

Explaining Behavioural Inequivalence Generically in Quasilinear Time (2021) Wißmann T, Milius S, Schröder L Conference contribution Syntactic Minimization of Nondeterministic Finite Automata (2021) Myers RS, Urbat H Conference contribution A Linear-Time Nominal μ-Calculus with Name Allocation (2021) Hausmann D, Milius S, Schröder L Conference contribution Electromagnets for an endoscopic anastomosis tool in the colon (2021) Steger J, Zimmermann A, Wittenberg T, Wilhelm D Journal article Analyzing the Charging Flexibility Potential of Different Electric Vehicle Fleets Using Real-World Charging Data (2021) Barthel V, Schlund J, Landes P, Brandmeier V, Pruckner M Journal article ORCA-SLANG: An Automatic Multi-Stage Semi-Supervised Deep Learning Framework for Large-Scale Killer Whale Call Type Identification (2021) Bergler C, Schmitt M, Maier A, Symonds H, Spong P, Ness S, Tzanetakis G, Nöth E Conference contribution, Original article Corrigendum: “Reliability and Test Effort Analysis of Multi-Sensor Driver Assistance Systems” (Journal of Systems Architecture (2018) 85–86 (1–13), (S1383762117304289), (10.1016/j.sysarc.2018.01.006)) (2021) Bock F, Siegl S, Bazan P, Buchholz P, German R Journal article, Erratum Adaptive Predictive Power Management for Mobile LTE Devices (2021) Brand P, Falk J, Ah Sue J, Brendel J, Hasholzner R, Teich J Journal article, Original article An algorithm for Parkinson's disease speech classification based on isolated words analysis (2021) Orozco Arroyave JR, Amato F, Borzi L, Olmo G Journal article Zur Blackbox-Problematik im Bereich Mobilfunkforensik (2021) Ottmann J, Pollach J, Scheler N, Schneider J, Rückert C, Freiling F Journal article, Original article