Zhen You

According to our database, Zhen You authored at least 26 papers between 2005 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Formal Derivation and Verification of Critical Path Algorithm for Directed Acyclic Graph.

Zhen You, Xinwu Yi, Jinyun Xue, Hongwen Hu, Jiewen Huang, Zhuo Cheng

Proceedings of the Structured Object-Oriented Formal Language and Method, 2022

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

Which Gridded Population Data Product Is Better? Evidences from Mainland Southeast Asia (MSEA).

Xu Yin, Peng Li, Zhiming Feng, Yanzhao Yang, Zhen You, Chiwei Xiao

ISPRS Int. J. Geo Inf., 2021

Strict Linearizability and Abstract Atomicity.

Tangliu Wen, Jie Peng, Jinyun Xue, Zhen You, Lan Song

Int. J. Found. Comput. Sci., 2021

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

Scheduling Heterogeneous Multiprocessor Real-Time Systems with Mixed Sets of Task.

Zhuo Cheng, Jinyun Xue, Haitao Zhang, Zhen You, Qimin Hu, Yuto Lim

Proceedings of the 14th IEEE International Conference on Service Oriented Systems Engineering, 2020

Design and Implementation of Virtual Reality Geometric Modeling in Apla^+VR.

Jiewen Huang, Jinyun Xue, Zhen You, Zhehong Zhou

Proceedings of the Structured Object-Oriented Formal Language and Method, 2020

2019

Proving Linearizability Using Reduction.

Tangliu Wen, Lan Song, Zhen You

Comput. J., 2019

Formal Development and Verification of Reusable Component in PAR Platform.

Qimin Hu, Jinyun Xue, Zhen You, Zhuo Cheng, Zhengkang Zuo

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

Apla Generic Constraint Matching Detection and Verification.

Zhengkang Zuo, Zhihao Liu, Changjing Wang, Zhen You, Qimin Hu

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2018

Formal Specification and Verification for Real-Time Scheduling Based on PAR.

Zhen You, Zhuo Cheng, Jinyun Xue, Qimin Hu, Wuping Xie

Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

PAR: A Practicable Formal Method and Its Supporting Platform.

Jinyun Xue, Yujun Zheng, Qimin Hu, Zhen You, Wuping Xie, Zhuo Cheng

Proceedings of the Formal Methods and Software Engineering, 2018

2017

无线射频RFID识别协议自动验证方法研究 (Research of Automatic Verification Method about Radio Frequency Identification Protocol).

Lan Song, Jinyun Xue, Qimin Hu, Wuping Xie, Dongming Jiang, Zhen You

计算机科学, 2017

2016

Unified formal derivation and automatic verification of three binary-tree traversal non-recursive algorithms.

Zhen You, Jinyun Xue, Zhengkang Zuo

Clust. Comput., 2016

Orchestration Combinators in Apla+ Language.

Zhen You, Jinyun Xue

Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

Formal Development of Linear Structure Reusable Components in PAR Platform.

Qimin Hu, Jinyun Xue, Zhen You

Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover.

Huazhen Xu, Zhen You, Jinyun Xue

Proceedings of the 17th IEEE/ACIS International Conference on Software Engineering, 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

Proceedings of the 2016 IEEE SENSORS, Orlando, FL, USA, October 30 - November 3, 2016, 2016

Discrete differential evolutionary algorithm for job-shop scheduling problem with minimizing total weighted tardiness.

Furong Ye, Zhen You, Defu Zhang, Stephen C. H. Leung

Proceedings of the IEEE Congress on Evolutionary Computation, 2016

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

Research on Formal Development of Non-recursive Algorithms of Graph Search.

Qimin Hu, Jinyun Xue, Zhen You

Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

2014

Formal Semantics of Orc Based on TLA⁺.

Zhen You, Jinyun Xue, Qimin Hu, Yi Hong

Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

2013

Formalization of Distributed and Dynamic Resources Allocation Using Category Theory.

Zhen You, Jinyun Xue, Shi Ying, Dongming Jiang, Qimin Hu

J. Softw., 2013

A Novel Service Selection Based on Resource-Directive Decomposition.

Dongming Jiang, Yuan Jiang, Wuping Xie, Zhen You

Proceedings of the Web-Age Information Management - 14th International Conference, 2013

2010

Categorial Semantics of a Solution to Distributed Dining Philosophers Problem.

Zhen You, Jinyun Xue, Shi Ying

Proceedings of the Frontiers in Algorithmics, 4th International Workshop, 2010

2005

An Algorithm for Implementing Web Page Automatic Classification Based on Site Structure.

Kening Gao, Bin Zhang, Qiaozi Chai, Leiming Yang, Zhen You

Proceedings of the iiWAS'2005, 2005