| 2008 |
|---|
| 16 | EE | Haihe Shi,
Jinyun Xue,
Dawei Du:
A Mechanical Approach for Deriving Algorithmic Programs.
ACIS-ICIS 2008: 483-487 |
| 15 | EE | Haihe Shi,
Dawei Du,
Jinyun Xue:
Generating Algorithms plus Loop Invariants by Formal Derivation.
ACIS-ICIS 2008: 496-501 |
| 14 | EE | Jinyun Xue,
Bo Yang,
Zhengkang Zuo:
A Linear In-situ Algorithm for the Power of Cyclic Permutation.
FAW 2008: 113-123 |
| 13 | | Yujun Zheng,
Qimin Hu,
Jinyun Xue:
Implementing Templated Design Patterns: A Category Theoretic Approach.
I. J. Comput. Appl. 15(3): 169-176 (2008) |
| 2007 |
|---|
| 12 | 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 |
| 11 | EE | Yujun Zheng,
Jinquan Wang,
Jinyun Xue:
Agent Based Framework for Emergency Rescue and Assistance Planning.
PAISI 2007: 70-81 |
| 10 | EE | Haihe Shi,
Jinyun Xue:
Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs.
SNPD (3) 2007: 952-957 |
| 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) |
