- on 17/11/2022
Security Through Safety - An Approach to Information Flow Control Based on Derivation of Safety Properties from a Characterisation of Insecure Behavio [...]
Nordhoff, Benedikt ; Nordhoff, Benedikt Heinrich Josef ; Nordhoff, Heinrich Josef ; Nordhoff, Josef2021Nuclear norms in the context of dynamic MRI
regularization techniques and asymptotic analysisKinzel, Meike2021The extinction of life
an inquiry into the metaphysics of diseasePellet, François ; Pellet, François Yann2021A preperfectoid approach to Robba rings
Edenfeld, Anna Verena ; Edenfeld, Anna ; Edenfeld, Verena2022Combinatorial complexity in henselian valued fields
pushing Anscombe-Jahnke up the ladderBoissonneau, Blaise2022
- on 03/03/2022
Generating block-structured kernels for low order finite element methods
a high-performance oriented viewKoch, Marcel ; Koch, Marcel Dominique2021