1998 |
10 | EE | Lee Blaine,
Limei Gilham,
Junbo Liu,
Douglas R. Smith,
Stephen J. Westfold:
Planware - Domain-Specific Synthesis of High-Performance Schedulers.
ASE 1998: 270- |
1995 |
9 | | Bernd Krieg-Brückner,
Junbo Liu,
Hui Shi,
Burkhart Wolff:
Towards Correct, Efficient and Reusable Transformational Developments.
KORSO Book 1995: 270-284 |
1993 |
8 | | Bernd Krieg-Brückner,
Junbo Liu,
Burkhart Wolff,
Hui Shi:
Towards Correctness, Efficiency and Reusability of Transformational Developments.
GI Jahrestagung 1993: 241-246 |
7 | | Bernd Krieg-Brückner,
Einar W. Karlsen,
Junbo Liu,
Owen Traynor:
Uniform Transformational Development.
PROSPECTRA Book 1993: 317-330 |
6 | | Junbo Liu,
Owen Traynor,
Steen Lynenskjold:
Guided Tour of the PROSPECTRA System.
PROSPECTRA Book 1993: 331-366 |
5 | | Junbo Liu,
Bernd Krieg-Brückner:
Transformation.
PROSPECTRA Book 1993: 99-127 |
1992 |
4 | | Junbo Liu:
A Semantic Basis of Logic-Independent Transformation.
COMPASS/ADT 1992: 268-279 |
3 | EE | Junbo Liu,
Owen Traynor,
Bernd Krieg-Brückner:
Knowledge-Based Transfonnational Programming.
SEKE 1992: 632-639 |
1991 |
2 | | Bernd Krieg-Brückner,
Einar W. Karlsen,
Junbo Liu,
Owen Traynor:
The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development.
VDM Europe (2) 1991: 363-397 |
1990 |
1 | | Yulin Feng,
Junbo Liu:
A Temporal Approach to Algebraic Specifications.
CONCUR 1990: 216-229 |