Generating a Random Cycle Permutation. - David Gries; Jinyun Xue (BIT, 1988)

Developing a Linear Algorithm for Cubing a Cyclic Permutation. - Jinyun Xue; David Gries (Sci. Comput. Program., 1988)

Two new strategies for developing loop invariants and their applications. - Jinyun Xue (J. Comput. Sci. Technol., 1993)

A Simple Program whose Derivation and Proof is Also. - Jinyun Xue; Ruth Davis (ICFEM, 1997)

A unified approach for developing efficient algorithmic programs. - Jinyun Xue (J. Comput. Sci. Technol., 1997)

A Derivation and Prrof of Knuth's Binary to Decimal Conversion Program. - Jinyun Xue; Ruth Davis (Softw. Concepts Tools, 1997)

Formal derivation of graph algorithmic programs using partition-and-recur. - Jinyun Xue (J. Comput. Sci. Technol., 1998)

Expanding Design Pattern to Support Parallel Programming. - J. Y. Wan; Y. Q. Sun; Jinyun Xue (TOOLS (36), 2000)

Developing the Generic Path Algorithmic Program and its Instantiations Using PAR Method. - Jinyun Xue (APLAS, 2001)

Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach. - Yujun Zheng 001; Jinquan Wang; Kan Wang; Jinyun Xue (FM, 2006)

Formal automatic verification of security protocols. - Meihua Xiao; Jinyun Xue (GrC, 2006)

Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach. - Yujun Zheng 001; Qimin Hu; Jinyun Xue (ISDA (1), 2006)

An A-Team Based Architecture for Constraint Programming. - Yujun Zheng 001; Lianlai Wang; Jinyun Xue (PRIMA, 2006)

Object-Oriented Specification Composition and Refinement Via Category Theoretic Computations. - Yujun Zheng 001; Jinyun Xue; Weibo Liu (TAMC, 2006)

From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum. - Yujun Zheng 001; Haihe Shi; Jinyun Xue (International Conference on Computational Science (3), 2007)

Agent Based Framework for Emergency Rescue and Assistance Planning. - Yujun Zheng 001; Jinquan Wang; Jinyun Xue (PAISI, 2007)

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

Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach. - Yujun Zheng; Jinyun Xue; Qimin Hu (J. Digit. Inf. Manag., 2007)

Generating Algorithms plus Loop Invariants by Formal Derivation. - Haihe Shi; Dawei Du; Jinyun Xue (ACIS-ICIS, 2008)

A Mechanical Approach for Deriving Algorithmic Programs. - Haihe Shi; Jinyun Xue; Dawei Du (ACIS-ICIS, 2008)

A Linear In-situ Algorithm for the Power of Cyclic Permutation. - Jinyun Xue; Bo Yang; Zhengkang Zuo (FAW, 2008)

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

Implementing Templated Design Patterns: A Category Theoretic Approach. - Yujun Zheng 001; Qimin Hu; Jinyun Xue (Int. J. Comput. Their Appl., 2008)

Formal Derivation of a High-Trustworthy Generic Algorithmic Program for Solving a Class of Path Problems. - Changjing Wang; Jinyun Xue (FAW, 2009)

Toward an Automatic Approach to Greedy Algorithms. - Yujun Zheng 001; Jinyun Xue; Zhengkang Zuo (FAW, 2009)

A-Team Based Supply Chain Management Agent Architecture. - Yujun Zheng 001; Jinquan Wang; Jinyun Xue (Int. J. Artif. Intell. Tools, 2009)

A simple greedy algorithm for a class of shuttle transportation problems. - Yujun Zheng 001; Chuanqing Xu; Jinyun Xue (Optim. Lett., 2009)

Categorial Semantics of a Solution to Distributed Dining Philosophers Problem. - Zhen You; Jinyun Xue; Shi Ying (FAW, 2010)

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

Generating Provably Correct Algorithmic Programs from Formal Specifications. - Haihe Shi; Jinyun Xue (QSIC, 2010)

A problem reduction based approach to discrete optimization algorithm design. - Yujun Zheng 001; Jinyun Xue (Computing, 2010)

Formal Derivation of Two Algorithms Involving Sequences. - Haihe Shi; Jinyun Xue (ACIS-ICIS, 2011)

A Generative Approach to Searching Algorithmic Programs Development. - Haihe Shi; Jinyun Xue (TASE, 2011)

A reputation model based on hierarchical bayesian estimation for Web services. - Dongming Jiang; Jinyun Xue; Wuping Xie (CSCWD, 2012)

Preface. - Jinyun Xue; Volker Stolz (TTSS, 2013)

Constraint Verification of Generic Algorithmic Program for Solving General Network Path Problems. - Zhengkang Zuo; Jinyun Xue; Changjing Wang (J. Networks, 2013)

Formalization of Distributed and Dynamic Resources Allocation Using Category Theory. - Zhen You; Jinyun Xue; Shi Ying; Dongming Jiang; Qimin Hu (J. Softw., 2013)

Contract-Based Generic Programming Mechanism for Dynamic Service Orchestration. - Wuping Xie; Jinyun Xue; Dongming Jiang (CIT, 2014)

Formal Semantics of Orc Based on TLA+. - Zhen You; Jinyun Xue; Qimin Hu; Yi Hong 005 (SOFL+MSVL, 2014)

Research on Formal Development of Non-recursive Algorithms of Graph Search. - Qimin Hu; Jinyun Xue; Zhen You (SOFL+MSVL, 2015)

Genericity in PAR Platform. - Jinyun Xue (SOFL+MSVL, 2015)

Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover. - Huazhen Xu; Zhen You; Jinyun Xue (SNPD, 2016)

Formal Development of Linear Structure Reusable Components in PAR Platform. - Qimin Hu; Jinyun Xue; Zhen You (SOFL+MSVL, 2016)

Orchestration Combinators in Apla+ Language. - Zhen You; Jinyun Xue (SOFL+MSVL, 2016)

Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms. - Zhen You; Jinyun Xue; Zhengkang Zuo (Clust. Comput., 2016)

无线射频RFID识别协议自动验证方法研究 (Research of Automatic Verification Method about Radio Frequency Identification Protocol). - Lan Song; Jinyun Xue; Qimin Hu; Wuping Xie; Dongming Jiang; Zhen You (计算机科学, 2017)

PAR: A Practicable Formal Method and Its Supporting Platform. - Jinyun Xue; Yujun Zheng; Qimin Hu; Zhen You; Wuping Xie; Zhuo Cheng (ICFEM, 2018)

An efficient approach for verifying automobile distributed application systems on timing property. - Haitao Zhang; Guoqiang Li 001; Xiaohong Li 001; Zhuo Cheng; Jinyun Xue; Shaoying Liu (ICSE (Companion Volume), 2018)

Formal Specification and Verification for Real-Time Scheduling Based on PAR. - Zhen You; Zhuo Cheng; Jinyun Xue; Qimin Hu; Wuping Xie (SOFL+MSVL, 2018)

An iteration-based interactive analysis method to design dynamic service-oriented systems. - Wuping Xie; Jinyun Xue; Dongming Jiang; Lan Song (Softw. Pract. Exp., 2018)

Verifying OSEK/VDX automotive applications: A Spin-based model checking approach. - Haitao Zhang; Guoqiang Li 001; Zhuo Cheng; Jinyun Xue (Softw. Test. Verification Reliab., 2018)

Formal Development and Verification of Reusable Component in PAR Platform. - Qimin Hu; Jinyun Xue; Zhen You; Zhuo Cheng; Zhengkang Zuo (SOFL+MSVL, 2019)

Design and Implementation of Virtual Reality Geometric Modeling in Apla+VR. - Jiewen Huang; Jinyun Xue; Zhen You; Zhehong Zhou (SOFL+MSVL, 2020)

Scheduling Heterogeneous Multiprocessor Real-Time Systems with Mixed Sets of Task. - Zhuo Cheng; Jinyun Xue; Haitao Zhang; Zhen You; Qimin Hu; Yuto Lim (SOSE, 2020)

Research on the Model Transformation Method and Application of Formal Model Driven Engineering (FMDE). - Ya Liu; Jinyun Xue; Zhiheng Zhang; Yang Liu; Hongwen Hu (NCTCS, 2021)

Strict Linearizability and Abstract Atomicity. - Tangliu Wen; Jie Peng; Jinyun Xue; Zhen You; Lan Song (Int. J. Found. Comput. Sci., 2021)

A Multiplayer Virtual Intelligent System Based on Distributed Virtual Reality. - Zhen You; Jiewen Huang; Jinyun Xue; Jiaxiang Chen; Jiaxin Liu; Qihong Yu; Hongwen Hu (Int. J. Pattern Recognit. Artif. Intell., 2021)

Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph. - Zhen You; Xinwu Yi; Jinyun Xue; Hongwen Hu; Jiewen Huang; Zhuo Cheng (SOFL+MSVL, 2022)