Department Informatik

An Approximate Sequential Multiplier with Segmented Carry Chain and Variable Accuracy (2020) Echavarria Gutiérrez JA, Wildermann S, Khosravi F, Teich J Conference contribution, Original article Anytime Floating-Point Addition and Multiplication – Concepts and Implementations (2020) Brand M, Witterauf M, Bosio A, Teich J Conference contribution, Original article Nonlinear dynamics and Poincaré sections to model gait impairments in different stages of Parkinson’s disease (2020) Pérez-Toro PA, Vasquez Correa J, Arias Vergara T, Nöth E, Orozco Arroyave JR Journal article Uncertainty-Aware Compositional System-Level Reliability Analysis (2020) Aliee H, Glaß M, Khosravi F, Teich J Book chapter / Article in edited volumes Camera Fingerprinting Authentication Revisited (2020) Maier D, Erb H, Mullan P, Haupert V Conference contribution, Conference Contribution NP Reasoning in the Monotone mu-Calculus (2020) Hausmann D, Schröder L Conference contribution, Conference Contribution Parallel performance of an iterative solver based on the golub-kahan bidiagonalization (2020) Kruse C, Sosonkina M, Arioli M, Tardieu N, Rüde U Conference contribution On Well-Founded and Recursive Coalgebras (2020) Adámek J, Milius S, Moss LS Conference contribution Efficient Key Generation for Rainbow (2020) Petzoldt A Conference contribution Local Local Reasoning: A BI-Hyperdoctrine for Full Ground Store (2020) Polzer M, Goncharov S Conference contribution