 | 2009 |
|---|
| 8 |       | Yujun Zheng,
Jinyun Xue,
Zhengkang Zuo:
Toward an Automatic Approach to Greedy Algorithms.
FAW 2009: 302-313 |
| 2008 |
|---|
| 7 |  | Yujun Zheng,
Qimin Hu,
Jinyun Xue:
Implementing Templated Design Patterns: A Category Theoretic Approach.
I. J. Comput. Appl. 15(3): 169-176 (2008) |
| 2007 |
|---|
| 6 | | 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 |
| 5 | | Yujun Zheng,
Jinquan Wang,
Jinyun Xue:
Agent Based Framework for Emergency Rescue and Assistance Planning.
PAISI 2007: 70-81 |
| 2006 |
|---|
| 4 | | 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 |
| 3 | | 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 |
| 2 | | Yujun Zheng,
Lianlai Wang,
Jinyun Xue:
An A-Team Based Architecture for Constraint Programming.
PRIMA 2006: 552-557 |
| 1 | | Yujun Zheng,
Jinyun Xue,
Weibo Liu:
Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations.
TAMC 2006: 601-610 |
