Viktor K. Sabelfeld

	2004
14		Kai Kapp, Viktor K. Sabelfeld: Automatic correct scheduling of control flow intensive behavioral descriptions in formal synthesis. DAC 2004: 61-66
	2003
13		Viktor K. Sabelfeld, Kai Kapp: Numeric Types in Formal Synthesis. Ershov Memorial Conference 2003: 79-90
	2001
12		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		Viktor K. Sabelfeld: The tree equivalence of linear recursion schemes. Theor. Comput. Sci. 238(1-2): 1-29 (2000)
	1999
10		Christian Blumenröhr, Viktor K. Sabelfeld: Formal Synthesis at the Algorithmic Level. CHARME 1999: 187-201
9		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

Coauthor Index

1	Christian Blumenröhr	[10] [12]
2	Kai Kapp	[12] [13] [14]
3	Andrei Sabelfeld	[8]
4	Klaus Schneider	[9]

Colors in the list of coauthors