dblp.uni-trier.dewww.uni-trier.de

Jinyun Xue Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)