Zhen You

Publication Activity (10 Years)

Years Active: 2005-2022
Publications (10 Years): 19

Top Topics

Recursive Algorithm

Total Weighted Tardiness

Radio Frequency

Reusable Components

Top Venues

Int. J. Pattern Recognit. Artif. Intell.

Publications

Zhen You, Xinwu Yi, Jinyun Xue, Hongwen Hu, Jiewen Huang, Zhuo Cheng
Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph. SOFL+MSVL (2022)
Zhen You, Jiewen Huang, Jinyun Xue, Jiaxiang Chen, Jiaxin Liu, Qihong Yu, Hongwen Hu
A Multiplayer Virtual Intelligent System Based on Distributed Virtual Reality. Int. J. Pattern Recognit. Artif. Intell. 35 (14) (2021)
Xu Yin, Peng Li, Zhiming Feng, Yanzhao Yang, Zhen You, Chiwei Xiao
Which Gridded Population Data Product Is Better? Evidences from Mainland Southeast Asia (MSEA). ISPRS Int. J. Geo Inf. 10 (10) (2021)
Tangliu Wen, Jie Peng, Jinyun Xue, Zhen You, Lan Song
Strict Linearizability and Abstract Atomicity. Int. J. Found. Comput. Sci. 32 (1) (2021)
Zhuo Cheng, Jinyun Xue, Haitao Zhang, Zhen You, Qimin Hu, Yuto Lim
Scheduling Heterogeneous Multiprocessor Real-Time Systems with Mixed Sets of Task. SOSE (2020)
Jiewen Huang, Jinyun Xue, Zhen You, Zhehong Zhou
. SOFL+MSVL (2020)
Tingting Lang, Yanzhao Yang, Kun Jia, Chao Zhang, Zhen You, Yubin Liang
Estimation of Winter Wheat Production Potential Based on Remotely-Sensed Imagery and Process-Based Model Simulations. Remote. Sens. 12 (17) (2020)
Zhengkang Zuo, Zhihao Liu, Changjing Wang, Zhen You, Qimin Hu
Apla Generic Constraint Matching Detection and Verification. ICECCS (2019)
Tangliu Wen, Lan Song, Zhen You
Proving Linearizability Using Reduction. Comput. J. 62 (9) (2019)
Qimin Hu, Jinyun Xue, Zhen You, Zhuo Cheng, Zhengkang Zuo
Formal Development and Verification of Reusable Component in PAR Platform. SOFL+MSVL (2019)
Jinyun Xue, Yujun Zheng, Qimin Hu, Zhen You, Wuping Xie, Zhuo Cheng
PAR: A Practicable Formal Method and Its Supporting Platform. ICFEM (2018)
Zhen You, Zhuo Cheng, Jinyun Xue, Qimin Hu, Wuping Xie
Formal Specification and Verification for Real-Time Scheduling Based on PAR. SOFL+MSVL (2018)
Lan Song, Jinyun Xue, Qimin Hu, Wuping Xie, Dongming Jiang, Zhen You
无线射频RFID识别协议自动验证方法研究 (Research of Automatic Verification Method about Radio Frequency Identification Protocol). 计算机科学 44 (9) (2017)
Furong Ye, Zhen You, Defu Zhang, Stephen C. H. Leung
Discrete differential evolutionary algorithm for job-shop scheduling problem with minimizing total weighted tardiness. CEC (2016)
Zhen You, Jinyun Xue, Zhengkang Zuo
Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms. Clust. Comput. 19 (4) (2016)
Huazhen Xu, Zhen You, Jinyun Xue
Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover. SNPD (2016)
Liangchen Ye, Gaofei Zhang, Zhen You, Chi Zhang
A 2D resonant MEMS scanner with an ultra-compact wedge-like multiplied angle amplification for miniature LIDAR application. IEEE SENSORS (2016)
Qimin Hu, Jinyun Xue, Zhen You
Formal Development of Linear Structure Reusable Components in PAR Platform. SOFL+MSVL (2016)
Zhen You, Jinyun Xue
Orchestration Combinators in Apla+ Language. SOFL+MSVL (2016)
Zhen You, Yain-Whar Si, Defu Zhang, Xiangxiang Zeng, Stephen C. H. Leung, Tao Li
A decision-making framework for precision marketing. Expert Syst. Appl. 42 (7) (2015)
Qimin Hu, Jinyun Xue, Zhen You
Research on Formal Development of Non-recursive Algorithms of Graph Search. SOFL+MSVL (2015)
Zhen You, Jinyun Xue, Qimin Hu, Yi Hong
. SOFL+MSVL (2014)
Zhen You, Jinyun Xue, Shi Ying, Dongming Jiang, Qimin Hu
Formalization of Distributed and Dynamic Resources Allocation Using Category Theory. J. Softw. 8 (12) (2013)
Dongming Jiang, Yuan Jiang, Wuping Xie, Zhen You
A Novel Service Selection Based on Resource-Directive Decomposition. WAIM (2013)
Zhen You, Jinyun Xue, Shi Ying
Categorial Semantics of a Solution to Distributed Dining Philosophers Problem. FAW (2010)
Kening Gao, Bin Zhang, Qiaozi Chai, Leiming Yang, Zhen You
An Algorithm for Implementing Web Page Automatic Classification Based on Site Structure. iiWAS (2005)