Procedure implementation in a multi-language translator. - Viktor K. Sabelfeld (Methods of Algorithmic Language Implementation, 1975)

Äquivalente Transformationen für Flußdiagramme. - Viktor K. Sabelfeld (Acta Informatica, 1978)

The Logic-Termal Equivalence is Polynomial-Time Decidable. - Viktor K. Sabelfeld (Inf. Process. Lett., 1980)

Tree Equivalence of Linear Recursive Schemata is Polynomial-Time Decidable. - Viktor K. Sabelfeld (Inf. Process. Lett., 1981)

An Algorithm Deciding Functional Equivalence in a New Class of Program Schemes. - Viktor K. Sabelfeld (Theor. Comput. Sci., 1990)

Analysis of Some Semantic Properties for Programs of the Applicative Language AL. - Viktor K. Sabelfeld (Formal Methods in Programming and Their Applications, 1993)

The Tree Equivalence Problem for Linear Recursion Schemes. - Viktor K. Sabelfeld (Ershov Memorial Conference, 1996)

Simple Semantic Analysis Problems for Functional Programs. - Viktor K. Sabelfeld; Andrei Sabelfeld (ICFP, 1997)

Formal Synthesis at the Algorithmic Level. - Christian Blumenröhr; Viktor K. Sabelfeld (CHARME, 1999)

Introducing Mutual Exclusion in Esterel. - Klaus Schneider 001; Viktor K. Sabelfeld (Ershov Memorial Conference, 1999)

Formale Verifikation eingebetteter Systeme. - Detlef Schmid; Klaus Schneider 001; Michaela Huhn; George Logothetis; Viktor K. Sabelfeld (Informationstechnik Tech. Inform., 1999)

The tree equivalence of linear recursion schemes. - Viktor K. Sabelfeld (Theor. Comput. Sci., 2000)

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)