2021
Connectome 2.0: Developing the next-generation ultra-high gradient strength human MRI scanner for bridging studies of the micro-, meso- and macro-connectome.
NeuroImage, 2021

1998
Methodik eines formalen Korrektheitsbeweises bei graphisch spezifizierter Software: am Beispiel von Wellendigitalfiltern.
PhD thesis, 1998