Viktor K. Sabelfeld

18 papers A* 1A 1Journal 6Unranked 10
YearRankTypeTitle / 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