Semantics and Transformations in Formal Synthesis at System Level. - Viktor K. Sabelfeld; Christian Blumenröhr; Kai Kapp (Ershov Memorial Conference, 2001)

Numeric Types in Formal Synthesis. - Viktor K. Sabelfeld; Kai Kapp (Ershov Memorial Conference, 2003)

Dead Code Elimination in Formal Synthesis. - Kai Kapp; Viktor K. Sabelfeld (MBMV, 2003)

Arithmetic in Formal Synthesis. - Viktor K. Sabelfeld; Kai Kapp (MBMV, 2003)

Automatic correct scheduling of control flow intensive behavioral descriptions in formal synthesis. - Kai Kapp; Viktor K. Sabelfeld (DAC, 2004)

Scheduling of Control Flow Intensive Behavioral Descriptions in Formal Synthesis. - Kai Kapp; Viktor K. Sabelfeld (MBMV, 2004)

Eine formale algorithmische Synthese digitaler Schaltungen. - Kai Kapp (Universitäts Verlag Karlsruhe, Germany, 2005)

Eine automatisierte optimierende formale Synthese steuerflussbehafteter Schaltungsbeschreibungen. - Kai Kapp (2005)