| |
| 2004 | ||
|---|---|---|
| 14 | EE | Kai Kapp, Viktor K. Sabelfeld: Automatic correct scheduling of control flow intensive behavioral descriptions in formal synthesis. DAC 2004: 61-66 |
| 2003 | ||
| 13 | EE | Viktor K. Sabelfeld, Kai Kapp: Numeric Types in Formal Synthesis. Ershov Memorial Conference 2003: 79-90 |
| 2001 | ||
| 12 | EE | Viktor K. Sabelfeld, Christian Blumenröhr, Kai Kapp: Semantics and Transformations in Formal Synthesis at System Level. Ershov Memorial Conference 2001: 149-156 |
| 2000 | ||
| 11 | EE | Viktor K. Sabelfeld: The tree equivalence of linear recursion schemes. Theor. Comput. Sci. 238(1-2): 1-29 (2000) |
| 1999 | ||
| 10 | EE | Christian Blumenröhr, Viktor K. Sabelfeld: Formal Synthesis at the Algorithmic Level. CHARME 1999: 187-201 |
| 9 | EE | Klaus Schneider, Viktor K. Sabelfeld: Introducing Mutual Exclusion in Esterel. Ershov Memorial Conference 1999: 445-459 |
| 1997 | ||
| 8 | Viktor K. Sabelfeld, Andrei Sabelfeld: Simple Semantic Analysis Problems for Functional Programs. ICFP 1997: 319 | |
| 1996 | ||
| 7 | Viktor K. Sabelfeld: The Tree Equivalence Problem for Linear Recursion Schemes. Ershov Memorial Conference 1996: 350-361 | |
| 1993 | ||
| 6 | Viktor K. Sabelfeld: Analysis of Some Semantic Properties for Programs of the Applicative Language AL. Formal Methods in Programming and Their Applications 1993: 181-189 | |
| 1990 | ||
| 5 | Viktor K. Sabelfeld: An Algorithm Deciding Functional Equivalence in a New Class of Program Schemes. Theor. Comput. Sci. 71(2): 265-279 (1990) | |
| 1981 | ||
| 4 | Viktor K. Sabelfeld: Tree Equivalence of Linear Recursive Schemata is Polynomial-Time Decidable. Inf. Process. Lett. 13(4/5): 147-153 (1981) | |
| 1980 | ||
| 3 | Viktor K. Sabelfeld: The Logic-Termal Equivalence is Polynomial-Time Decidable. Inf. Process. Lett. 10(2): 57-62 (1980) | |
| 1978 | ||
| 2 | Viktor K. Sabelfeld: Äquivalente Transformationen für Flußdiagramme. Acta Inf. 10: 127-155 (1978) | |
| 1975 | ||
| 1 | Viktor K. Sabelfeld: Procedure implementation in a multi-language translator. Methods of Algorithmic Language Implementation 1975: 80-89 | |
| 1 | Christian Blumenröhr | [10] [12] |
| 2 | Kai Kapp | [12] [13] [14] |
| 3 | Andrei Sabelfeld | [8] |
| 4 | Klaus Schneider | [9] |