Search the dblp DataBase

Publications of Author

1. Jinyun Xue
   Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method. [Citation Graph (0, 0)][DBLP]
   APLAS, 2001, pp:159-169 [Conf]
   
2. Yujun Zheng, Jinquan Wang, Kan Wang, Jinyun Xue
   Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach. [Citation Graph (0, 0)][DBLP]
   FM, 2006, pp:190-204 [Conf]
   
3. Jinyun Xue, Ruth Davis
   A Simple Program whose Derivation and Proof is Also. [Citation Graph (0, 0)][DBLP]
   ICFEM, 1997, pp:132-139 [Conf]
   
4. Yujun Zheng, Qimin Hu, Jinyun Xue
   Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach. [Citation Graph (0, 0)][DBLP]
   ISDA (1), 2006, pp:759-764 [Conf]
   
5. Yujun Zheng, Lianlai Wang, Jinyun Xue
   An A-Team Based Architecture for Constraint Programming. [Citation Graph (0, 0)][DBLP]
   PRIMA, 2006, pp:552-557 [Conf]
   
6. Yujun Zheng, Jinyun Xue, Weibo Liu
   Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations. [Citation Graph (0, 0)][DBLP]
   TAMC, 2006, pp:601-610 [Conf]
   
7. David Gries, Jinyun Xue
   Generating a Random Cycle Permutation. [Citation Graph (0, 0)][DBLP]
   BIT, 1988, v:28, n:3, pp:569-572 [Journal]
   
8. Jinyun Xue, David Gries
   Developing a Linear Algorithm for Cubing a Cyclic Permutation. [Citation Graph (0, 0)][DBLP]
   Sci. Comput. Program., 1988, v:11, n:2, pp:161-165 [Journal]
   
9. Jinyun Xue, Ruth Davis
   A Derivation and Prrof of Knuth's Binary to Decimal Conversion Program. [Citation Graph (0, 0)][DBLP]
   Software - Concepts and Tools, 1997, v:18, n:4, pp:149-156 [Journal]
   
10. Yujun Zheng, Haihe Shi, Jinyun Xue
    From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum. [Citation Graph (0, 0)][DBLP]
    International Conference on Computational Science (3), 2007, pp:469-476 [Conf]
    
11. Yujun Zheng, Jinquan Wang, Jinyun Xue
    Agent Based Framework for Emergency Rescue and Assistance Planning. [Citation Graph (0, 0)][DBLP]
    PAISI, 2007, pp:70-81 [Conf]
    
12. 
    A Mechanical Approach for Deriving Algorithmic Programs. [Citation Graph (, )][DBLP]
    
    
13. 
    Generating Algorithms plus Loop Invariants by Formal Derivation. [Citation Graph (, )][DBLP]
    
    
14. 
    Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs. [Citation Graph (, )][DBLP]
    
    
15. 
    Toward an Automatic Approach to Greedy Algorithms. [Citation Graph (, )][DBLP]
    
    
16. 
    Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems. [Citation Graph (, )][DBLP]
    
    
17. 
    A Linear In-situ Algorithm for the Power of Cyclic Permutation. [Citation Graph (, )][DBLP]
    
    
18. 
    Categorial Semantics of a Solution to Distributed Dining Philosophers Problem. [Citation Graph (, )][DBLP]
    
    
19. 
    The Research and Application of Apla-Java Reusable Components. [Citation Graph (, )][DBLP]