| |
| 2004 | ||
|---|---|---|
| 3 | EE | Kai Kapp, Viktor K. Sabelfeld: Automatic correct scheduling of control flow intensive behavioral descriptions in formal synthesis. DAC 2004: 61-66 |
| 2003 | ||
| 2 | EE | Viktor K. Sabelfeld, Kai Kapp: Numeric Types in Formal Synthesis. Ershov Memorial Conference 2003: 79-90 |
| 2001 | ||
| 1 | EE | Viktor K. Sabelfeld, Christian Blumenröhr, Kai Kapp: Semantics and Transformations in Formal Synthesis at System Level. Ershov Memorial Conference 2001: 149-156 |
| 1 | Christian Blumenröhr | [1] |
| 2 | Viktor K. Sabelfeld | [1] [2] [3] |