Methodik eines formalen Korrektheitsbeweises bei graphisch spezifizierter Software: am Beispiel von Wellendigitalfiltern. - Elmar Rummert (Shaker, 1998)

Connectome 2.0: Developing the next-generation ultra-high gradient strength human MRI scanner for bridging studies of the micro-, meso- and macro-connectome. - Susie Yi Huang; Thomas Witzel; Boris Keil; Alina Scholz; Mathias Davids; Peter Dietz; Elmar Rummert; Rebecca Ramb; John E. Kirsch; Anastasia Yendiki; Qiuyun Fan; Qiyuan Tian; et al. (NeuroImage, 2021)