Synthesis for testability by synthesis controlling. - Christof Nagel (Microprocess. Microprogramming, 1993)

Design of a VLIW architecture constructed from standard RISC chips: A case study of hardware/software codesign. - Peter Pfahler; Christof Nagel; Franz-Josef Rammig; Uwe Kastens (Microprocess. Microprogramming, 1993)

Integration von Testbarkeitsaspekten in die High-Level Synthese. - Christof Nagel (1995)

Processes and Knowledge Management: A Symbiosis. - Christof Nagel (PROFES, 2001)