|
Search the dblp DataBase
Christian Blumenröhr:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Christian Blumenröhr, Viktor K. Sabelfeld
Formal Synthesis at the Algorithmic Level. [Citation Graph (0, 0)][DBLP] CHARME, 1999, pp:187-201 [Conf]
- Viktor K. Sabelfeld, Christian Blumenröhr, Kai Kapp
Semantics and Transformations in Formal Synthesis at System Level. [Citation Graph (0, 0)][DBLP] Ershov Memorial Conference, 2001, pp:149-156 [Conf]
- Christian Blumenröhr, Dirk Eisenbiegler
Performing High-Level Synthesis via Program Transformations within a Theorem Prover. [Citation Graph (0, 0)][DBLP] EUROMICRO, 1998, pp:10034-10037 [Conf]
- Ramayya Kumar, Christian Blumenröhr, Dirk Eisenbiegler, Detlef Schmid
Formal Synthesis in Circuit Design - A Classification and Survey. [Citation Graph (0, 0)][DBLP] FMCAD, 1996, pp:294-309 [Conf]
- Christian Blumenröhr, Dirk Eisenbiegler
An Efficient Representation for Formal Synthesis. [Citation Graph (0, 0)][DBLP] ISSS, 1997, pp:9-15 [Conf]
- Dirk Eisenbiegler, Christian Blumenröhr, Ramayya Kumar
Implementation Issues About the Embedding of Existing High Level Synthesis Algorithms in HOL. [Citation Graph (0, 0)][DBLP] TPHOLs, 1996, pp:157-172 [Conf]
- Christian Blumenröhr, Dirk Eisenbiegler, Detlef Schmid
On the efficiency of formal synthesis-experimental results. [Citation Graph (0, 0)][DBLP] IEEE Trans. on CAD of Integrated Circuits and Systems, 1999, v:18, n:1, pp:25-32 [Journal]
A constructive approach towards correctness of synthesis-application within retiming. [Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs
|