Viktor K. Sabelfeld

Publication Activity (10 Years)

Years Active: 1975-2004
Publications (10 Years): 0

Publications

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