activity
20112026
most citedExtracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution

13 citations · 39 across the 9 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

cs.SE2024

Reconstruction as a service: a data space for off-site image reconstruction in magnetic particle imaging

Anselm von Gladiss, Amir Shayan Ahmadian, Jan Jürjens

Magnetic particle imaging (MPI) is an emerging medical imaging modality which offers a unique combination of high temporal and spatial resolution, sensitivity and biocompatibility.…