Jinyun Xue

Dongming Jiang, Jinyun Xue, Wuping Xie: A reputation model based on hierarchical bayesian estimation for Web services. CSCWD 2012: 88-93

Haihe Shi, Jinyun Xue: Formal Derivation of Two Algorithms Involving Sequences. ACIS-ICIS 2011: 287-291

Haihe Shi, Jinyun Xue: A Generative Approach to Searching Algorithmic Programs Development. TASE 2011: 76-81

Yujun Zheng, Jinyun Xue: A problem reduction based approach to discrete optimization algorithm design. Computing 88(1-2): 31-54 (2010)

Zhen You, Jinyun Xue, Shi Ying: Categorial Semantics of a Solution to Distributed Dining Philosophers Problem. FAW 2010: 172-184

Yujun Zheng, Haihe Shi, Jinyun Xue: A Knowledge-Driven Approach to Web-Based Learning for Formal Algorithm Development. ICWL Workshops 2010: 237-245

Haihe Shi, Jinyun Xue: Generating Provably Correct Algorithmic Programs from Formal Specifications. QSIC 2010: 270-275

Yujun Zheng, Jinquan Wang, Jinyun Xue: A-Team Based Supply Chain Management Agent Architecture. International Journal on Artificial Intelligence Tools 18(6): 801-823 (2009)

Yujun Zheng, Chuanqing Xu, Jinyun Xue: A simple greedy algorithm for a class of shuttle transportation problems. Optimization Letters 3(4): 491-497 (2009)

Changjing Wang, Jinyun Xue: Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems. FAW 2009: 27-39

Yujun Zheng, Jinyun Xue, Zhengkang Zuo: Toward an Automatic Approach to Greedy Algorithms. FAW 2009: 302-313

Xiaotie Deng, John E. Hopcroft, Jinyun Xue (Eds.): Frontiers in Algorithmics, Third International Workshop, FAW 2009, Hefei, China, June 20-23, 2009. Proceedings. Lecture Notes in Computer Science 5598, Springer 2009, isbn 978-3-642-02269-2

Yujun Zheng, Qimin Hu, Jinyun Xue: Implementing Templated Design Patterns: A Category Theoretic Approach. I. J. Comput. Appl. 15(3): 169-176 (2008)

Haihe Shi, Jinyun Xue, Dawei Du: A Mechanical Approach for Deriving Algorithmic Programs. ACIS-ICIS 2008: 483-487

Haihe Shi, Dawei Du, Jinyun Xue: Generating Algorithms plus Loop Invariants by Formal Derivation. ACIS-ICIS 2008: 496-501

Jinyun Xue, Bo Yang, Zhengkang Zuo: A Linear In-situ Algorithm for the Power of Cyclic Permutation. FAW 2008: 113-123

Anquan Jie, Lan Wan, Zhizhang Hua, Jinyun Xue: The Research and Application of Apla-Java Reusable Components. ISCSCT (1) 2008: 356-359

Yujun Zheng, Jinyun Xue, Qimin Hu: Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach. JDIM 5(3): 115-122 (2007)

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

Yujun Zheng, Jinquan Wang, Jinyun Xue: Agent Based Framework for Emergency Rescue and Assistance Planning. PAISI 2007: 70-81

Haihe Shi, Jinyun Xue: Towards Semi-Automatic Generation of Provably Correct Algorithmic Programs. SNPD (3) 2007: 952-957

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

Meihua Xiao, Jinyun Xue: Formal automatic verification of security protocols. GrC 2006: 566-569

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

Yujun Zheng, Lianlai Wang, Jinyun Xue: An A-Team Based Architecture for Constraint Programming. PRIMA 2006: 552-557

Yujun Zheng, Jinyun Xue, Weibo Liu: Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations. TAMC 2006: 601-610

Jinyun Xue: Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method. APLAS 2001: 159-169

Jinyun Xue: Formal derivation of graph algorithmic programs using partition-and-recur. J. Comput. Sci. Technol. 13(6): 553-561 (1998)

Jinyun Xue: A unified approach for developing efficient algorithmic programs. J. Comput. Sci. Technol. 12(4): 314-329 (1997)

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)

Jinyun Xue, Ruth Davis: A Simple Program whose Derivation and Proof is Also. ICFEM 1997: 132-139

Jinyun Xue: Two new strategies for developing loop invariants and their applications. J. Comput. Sci. Technol. 8(2): 147-154 (1993)

David Gries, Jinyun Xue: Generating a Random Cycle Permutation. BIT 28(3): 569-572 (1988)

Jinyun Xue, David Gries: Developing a Linear Algorithm for Cubing a Cyclic Permutation. Sci. Comput. Program. 11(2): 161-165 (1988)