| 2007 |
|---|
| 11 | EE | Yujun Zheng,
Haihe Shi,
Jinyun Xue:
From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum.
International Conference on Computational Science (3) 2007: 469-476 |
| 10 | EE | Yujun Zheng,
Jinquan Wang,
Jinyun Xue:
Agent Based Framework for Emergency Rescue and Assistance Planning.
PAISI 2007: 70-81 |
| 2006 |
|---|
| 9 | EE | Yujun Zheng,
Jinquan Wang,
Kan Wang,
Jinyun Xue:
Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach.
FM 2006: 190-204 |
| 8 | EE | Yujun Zheng,
Qimin Hu,
Jinyun Xue:
Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach.
ISDA (1) 2006: 759-764 |
| 7 | EE | Yujun Zheng,
Lianlai Wang,
Jinyun Xue:
An A-Team Based Architecture for Constraint Programming.
PRIMA 2006: 552-557 |
| 6 | EE | Yujun Zheng,
Jinyun Xue,
Weibo Liu:
Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations.
TAMC 2006: 601-610 |
| 2001 |
|---|
| 5 | | Jinyun Xue:
Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method.
APLAS 2001: 159-169 |
| 1997 |
|---|
| 4 | | Jinyun Xue,
Ruth Davis:
A Simple Program whose Derivation and Proof is Also.
ICFEM 1997: 132-139 |
| 3 | | Jinyun Xue,
Ruth Davis:
A Derivation and Prrof of Knuth's Binary to Decimal Conversion Program.
Software - Concepts and Tools 18(4): 149-156 (1997) |
| 1988 |
|---|
| 2 | | David Gries,
Jinyun Xue:
Generating a Random Cycle Permutation.
BIT 28(3): 569-572 (1988) |
| 1 | | Jinyun Xue,
David Gries:
Developing a Linear Algorithm for Cubing a Cyclic Permutation.
Sci. Comput. Program. 11(2): 161-165 (1988) |
