Viktor K. Sabelfeld

18 papers A* 1A 1Journal 6Unranked 10

Year	Rank	Type	Title / Venue / Authors
2004	A*	`conf`	Automatic correct scheduling of control flow intensive behavioral descriptions in formal synthesis. DAC Kai Kapp, Viktor K. Sabelfeld
2004	—	`conf`	Scheduling of Control Flow Intensive Behavioral Descriptions in Formal Synthesis. MBMV Kai Kapp, Viktor K. Sabelfeld
2003	—	`conf`	Arithmetic in Formal Synthesis. MBMV Viktor K. Sabelfeld, Kai Kapp
2003	—	`conf`	Dead Code Elimination in Formal Synthesis. MBMV Kai Kapp, Viktor K. Sabelfeld
2003	—	`conf`	Numeric Types in Formal Synthesis. Ershov Memorial Conference Viktor K. Sabelfeld, Kai Kapp
2001	—	`conf`	Semantics and Transformations in Formal Synthesis at System Level. Ershov Memorial Conference Viktor K. Sabelfeld, Christian Blumenröhr, Kai Kapp
2000	J	`jnl`	The tree equivalence of linear recursion schemes. Theor. Comput. Sci. Viktor K. Sabelfeld
1999	—	`conf`	Formal Synthesis at the Algorithmic Level. CHARME Christian Blumenröhr, Viktor K. Sabelfeld
1999	J	`jnl`	Formale Verifikation eingebetteter Systeme. Informationstechnik Tech. Inform. Detlef Schmid, Klaus Schneider, Michaela Huhn, George Logothetis, Viktor K. Sabelfeld
1999	—	`conf`	Introducing Mutual Exclusion in Esterel. Ershov Memorial Conference Klaus Schneider, Viktor K. Sabelfeld
1997	A	`conf`	Simple Semantic Analysis Problems for Functional Programs. ICFP Viktor K. Sabelfeld, Andrei Sabelfeld
1996	—	`conf`	The Tree Equivalence Problem for Linear Recursion Schemes. Ershov Memorial Conference Viktor K. Sabelfeld
1993	—	`conf`	Analysis of Some Semantic Properties for Programs of the Applicative Language AL. Formal Methods in Programming and Their Applications Viktor K. Sabelfeld
1990	J	`jnl`	An Algorithm Deciding Functional Equivalence in a New Class of Program Schemes. Theor. Comput. Sci. Viktor K. Sabelfeld
1981	J	`jnl`	Tree Equivalence of Linear Recursive Schemata is Polynomial-Time Decidable. Inf. Process. Lett. Viktor K. Sabelfeld
1980	J	`jnl`	The Logic-Termal Equivalence is Polynomial-Time Decidable. Inf. Process. Lett. Viktor K. Sabelfeld
1978	J	`jnl`	Äquivalente Transformationen für Flußdiagramme. Acta Informatica Viktor K. Sabelfeld
1975	—	`conf`	Procedure implementation in a multi-language translator. Methods of Algorithmic Language Implementation Viktor K. Sabelfeld