dblp.uni-trier.dewww.uni-trier.de

Junbo Liu

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1998
10EELee 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
3EEJunbo 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

Coauthor Index

1Lee Blaine [10]
2Yulin Feng [1]
3Limei Gilham [10]
4Einar W. Karlsen [2] [7]
5Bernd Krieg-Brückner [2] [3] [5] [7] [8] [9]
6Steen Lynenskjold [6]
7Hui Shi [8] [9]
8Douglas R. Smith [10]
9Owen Traynor [2] [3] [6] [7]
10Stephen J. Westfold [10]
11Burkhart Wolff [8] [9]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)