Autor/in Schupp, Sibylle Schlaefer, Alexander 3 Adam, Gerhard 2 Adams, Robin 2 Antoni, Sven-Thomas 2 Fehrs, Kai 2 Kording, Fabian 2 Lehmann, Sascha 2 Neidhardt, Maximilian 2 Ruprecht, Christian 2 Bavendiek, Kai 1 Ivanov, Dmitry 1 Larsen, Kim G. 1 Padberg, Julia 1 Srba, Jiří 1 alle zeigenListe einklappen
Privacy-Preserving Architectures with Probabilistic Guaranties Bavendiek, Kai Adams, Robin Schupp, Sibylle 2018 - TUHH Open Research
Translating Law into Code - Why Computer Scientists and Lawyers Must Join Forces Schupp, Sibylle 2018 - TUHH Open Research
Ein Ansatz zur nachvollziehbaren Verifikation medizinisch-cyber-physikalischer Systeme Padberg, Julia Schlaefer, Alexander Schupp, Sibylle 2018 - TUHH Open Research - frei zugänglich
Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI Antoni, Sven-Thomas Lehmann, Sascha Neidhardt, Maximilian Fehrs, Kai Ruprecht, Christian Kording, Fabian Adam, Gerhard 2018 - TUHH Open Research
Constructing Independently Verifiable Privacy-Compliant Type Systems for Message Passing Between Black-Box Components Adams, Robin Schupp, Sibylle 2018 - TUHH Open Research
Model checking for trigger loss detection during Doppler ultrasound-guided fetal cardiovascular MRI Antoni, Sven-Thomas Lehmann, Sascha Neidhardt, Maximilian Fehrs, Kai Ruprecht, Christian Kording, Fabian Adam, Gerhard 2018 - Forschungsinformationssystem des UKE
Analytical solution for long battery lifetime prediction in nonadaptive systems Ivanov, Dmitry Larsen, Kim G. Schupp, Sibylle Srba, Jiří 2018 - TUHH Open Research