dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Kai Kapp Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2005
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai Kapp: Eine formale algorithmische Synthese digitaler Schaltungen. Karlsruhe Institute of Technology 2005: 1-177
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai Kapp: Eine automatisierte optimierende formale Synthese steuerflussbehafteter Schaltungsbeschreibungen. Karlsruhe Institute of Technology 2005: 1-178
2004
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKai Kapp, Viktor K. Sabelfeld: Automatic correct scheduling of control flow intensive behavioral descriptions in formal synthesis. DAC 2004: 61-66
2003
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor K. Sabelfeld, Kai Kapp: Numeric Types in Formal Synthesis. Ershov Memorial Conference 2003: 79-90
2001
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLViktor K. Sabelfeld, Christian Blumenröhr, Kai Kapp: Semantics and Transformations in Formal Synthesis at System Level. Ershov Memorial Conference 2001: 149-156

Coauthor Index

1Christian Blumenröhr [1]
2Viktor K. Sabelfeld [1] [2] [3]

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page