A Functional Approach for Formalizing Regular Hardware Structures. - Dirk Eisenbiegler; Klaus Schneider 001; Ramayya Kumar (HUG, 1993)

Formally embedding existing high level synthesis algorithms. - Dirk Eisenbiegler; Ramayya Kumar (CHARME, 1995)

An Automata Theory Dedicated towards Formal Circuit Synthesis. - Dirk Eisenbiegler; Ramayya Kumar (TPHOLs, 1995)

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)

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

Ein Kalkül für die Formale Schaltungssynthese. - Dirk Eisenbiegler (Logos-Verlag, 1999)

Schwarzwälder - An online test framework. - Dirk Eisenbiegler; Florian Feigenbutz (DEST, 2012)

An Object Oriented Approach Towards Simulating Physical Systems with Fluids and Rigid Bodies Based on the Physolator Simulation Framework. - Dirk Eisenbiegler; Waldemar Rose (SIMULTECH (Selected Papers), 2017)

Mixed Fluid and Rigid Body Simulations - An Object Oriented Component Library based on the Physolator Framework. - Waldemar Rose; Dirk Eisenbiegler (SIMULTECH, 2017)

Physical Simulation Related Exercises for the Education in the STEM Field - Approaches Based on the Physolator Framework. - Dirk Eisenbiegler; Dietmar Gruber; Thomas Jörg (Simul. Notes Eur., 2017)