An Algorithm for Implementing Web Page Automatic Classification Based on Site Structure. - Kening Gao; Bin Zhang 001; Qiaozi Chai; Leiming Yang; Zhen You (iiWAS, 2005)

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

A Novel Service Selection Based on Resource-Directive Decomposition. - Dongming Jiang; Yuan Jiang; Wuping Xie; Zhen You (WAIM, 2013)

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

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)

A decision-making framework for precision marketing. - Zhen You; Yain-Whar Si; Defu Zhang; Xiangxiang Zeng; Stephen C. H. Leung; Tao Li (Expert Syst. Appl., 2015)

Discrete differential evolutionary algorithm for job-shop scheduling problem with minimizing total weighted tardiness. - Furong Ye; Zhen You; Defu Zhang; Stephen C. H. Leung (CEC, 2016)

A 2D resonant MEMS scanner with an ultra-compact wedge-like multiplied angle amplification for miniature LIDAR application. - Liangchen Ye; Gaofei Zhang; Zhen You; Chi Zhang 062 (IEEE SENSORS, 2016)

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)

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

Apla Generic Constraint Matching Detection and Verification. - Zhengkang Zuo; Zhihao Liu; Changjing Wang; Zhen You; Qimin Hu (ICECCS, 2019)

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

Proving Linearizability Using Reduction. - Tangliu Wen; Lan Song; Zhen You (Comput. J., 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)

Estimation of Winter Wheat Production Potential Based on Remotely-Sensed Imagery and Process-Based Model Simulations. - Tingting Lang; Yanzhao Yang; Kun Jia; Chao Zhang; Zhen You; Yubin Liang (Remote. Sens., 2020)

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

Which Gridded Population Data Product Is Better? Evidences from Mainland Southeast Asia (MSEA). - Xu Yin; Peng Li 003; Zhiming Feng; Yanzhao Yang; Zhen You; Chiwei Xiao (ISPRS Int. J. Geo Inf., 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)

Functional Modelling of the Matroid and Application to the Knapsack Problem. - Zikang Wan; Zhen You; Chen Zhang; Zhengkang Zuo; Changjing Wang; Qimin Hu (SFPVV, 2024)

Program Derivation and Mechanized Verification of Imperative Dynamic Programming Algorithms. - Zhengkang Zuo; Huan Sun; Changjing Wang; Zhen You; Qing Huang; Changchang Wang (Int. J. Softw. Informatics, 2024)