Zhen You
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
2005–2019
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | ICECCS | Apla Generic Constraint Matching Detection and Verification. | Zhengkang Zuo, Zhihao Liu, Changjing Wang, Zhen You, Qimin Hu |
| 2018 | ICFEM | PAR: A Practicable Formal Method and Its Supporting Platform. | Jinyun Xue, Yujun Zheng, Qimin Hu, Zhen You, Wuping Xie, Zhuo Cheng |
| 2016 | CEC | Discrete differential evolutionary algorithm for job-shop scheduling problem with minimizing total weighted tardiness. | Furong Ye, Zhen You, Defu Zhang, Stephen C. H. Leung |
| 2016 | SNPD | Automatic verification of non-recursive algorithm of Hanoi Tower by using Isabelle Theorem Prover. | Huazhen Xu, Zhen You, Jinyun Xue |
| 2010 | FAW | Categorial Semantics of a Solution to Distributed Dining Philosophers Problem. | Zhen You, Jinyun Xue, Shi Ying |
| 2005 | IIWAS | An Algorithm for Implementing Web Page Automatic Classification Based on Site Structure. | Kening Gao, Bin Zhang, Qiaozi Chai, Leiming Yang, Zhen You |