Search the dblp DataBase

Publications of Author

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