Junbo Liu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
1990–1993
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1993 | GI | Towards Correctness, Efficiency and Reusability of Transformational Developments. | Bernd Krieg-Brckner, Junbo Liu, Burkhart Wolff, Hui Shi |
| 1992 | COMPASS | A Semantic Basis of Logic-Independent Transformation. | Junbo Liu |
| 1992 | SEKE | Knowledge-Based Transfonnational Programming. | Junbo Liu, Owen Traynor, Bernd Krieg-Brckner |
| 1991 | FM | The PROSPECTRA Methodology and System: Uniform Transformational (Meta-) Development. | Bernd Krieg-Brckner, Einar W. Karlsen, Junbo Liu, Owen Traynor |
| 1990 | CONCUR | A Temporal Approach to Algebraic Specifications. | Yulin Feng, Junbo Liu |