Formal Synthesis in Circuit Design - A Classification and Survey. - Ramayya Kumar; Christian Blumenröhr; Dirk Eisenbiegler; Detlef Schmid (FMCAD, 1996)

Implementation Issues About the Embedding of Existing High Level Synthesis Algorithms in HOL. - Dirk Eisenbiegler; Christian Blumenröhr; Ramayya Kumar (TPHOLs, 1996)

A constructive approach towards correctness of synthesis-application within retiming. - Dirk Eisenbiegler; Ramayya Kumar; Christian Blumenröhr (ED&TC, 1997)

An Efficient Representation for Formal Synthesis. - Christian Blumenröhr; Dirk Eisenbiegler (ISSS, 1997)

Performing High-Level Synthesis via Program Transformations within a Theorem Prover. - Christian Blumenröhr; Dirk Eisenbiegler (EUROMICRO, 1998)

Deriving Structural RT-Implementations from Algorithmic Descriptions by means of Logical Transformations. - Christian Blumenröhr; Dirk Eisenbiegler (MBMV, 1998)

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

A Formal Approach to Specify and Synthesize at the System Level. - Christian Blumenröhr (MBMV, 1999)

On the efficiency of formal synthesis-experimental results. - Christian Blumenröhr; Dirk Eisenbiegler; Detlef Schmid (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1999)

Formale Spezifikation und Synthese digitaler Schaltungen auf höheren Abstraktionsebenen. - Christian Blumenröhr (2000)

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