Jinyun Xue

	2009
19		Xiaotie Deng, John E. Hopcroft, Jinyun Xue: Frontiers in Algorithmics, Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings Springer 2009
18		Changjing Wang, Jinyun Xue: Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems. FAW 2009: 27-39
17		Yujun Zheng, Jinyun Xue, Zhengkang Zuo: Toward an Automatic Approach to Greedy Algorithms. FAW 2009: 302-313
	2008
16		Haihe Shi, Jinyun Xue, Dawei Du: A Mechanical Approach for Deriving Algorithmic Programs. ACIS-ICIS 2008: 483-487
15		Haihe Shi, Dawei Du, Jinyun Xue: Generating Algorithms plus Loop Invariants by Formal Derivation. ACIS-ICIS 2008: 496-501
14		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		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		Yujun Zheng, Jinquan Wang, Jinyun Xue: Agent Based Framework for Emergency Rescue and Assistance Planning. PAISI 2007: 70-81
10		Haihe Shi, Jinyun Xue: Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs. SNPD (3) 2007: 952-957
	2006
9		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		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		Yujun Zheng, Lianlai Wang, Jinyun Xue: An A-Team Based Architecture for Constraint Programming. PRIMA 2006: 552-557
6		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)

Coauthor Index

1	Ruth Davis	[3] [4]
2	Xiaotie Deng	[19]
3	Dawei Du	[15] [16]
4	David Gries	[1] [2]
5	John E. Hopcroft	[19]
6	Qimin Hu	[8] [13]
7	Weibo Liu	[6]
8	Haihe Shi	[10] [12] [15] [16]
9	Changjing Wang	[18]
10	Jinquan Wang	[9] [11]
11	Kan Wang	[9]
12	Lianlai Wang	[7]
13	Bo Yang	[14]
14	Yujun Zheng	[6] [7] [8] [9] [11] [12] [13] [17]
15	Zhengkang Zuo	[14] [17]

Colors in the list of coauthors