Ralf Henke (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

5 Ralf Henke, Andreas Mitschele-Thiel, Hartmut König: Conjunct Application of Model-based and Code-based Optimization to Derive Efficient Parallel Implementations from SDL. PDSE 1998: 230-237

3 Ralf Henke, Andreas Mitschele-Thiel, Hartmut König: On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications. FORTE 1997: 399-414

2 Ralf Henke, Hartmut König, Andreas Mitschele-Thiel: Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads. SDL Forum 1997: 397-414

Selection of 3 from 5 records - Ralf Henke has 3 coauthors

5		Ralf Henke, Andreas Mitschele-Thiel, Hartmut König: Conjunct Application of Model-based and Code-based Optimization to Derive Efficient Parallel Implementations from SDL. PDSE 1998: 230-237
3		Ralf Henke, Andreas Mitschele-Thiel, Hartmut König: On the Influence of Semantic Constraints on the Code Generation from Estelle Specifications. FORTE 1997: 399-414
2		Ralf Henke, Hartmut König, Andreas Mitschele-Thiel: Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads. SDL Forum 1997: 397-414