Lianyi Zhang
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2012–2019
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | HPCC | Structure Characteristic-Aware Pruning Strategy for Convolutional Neural Networks. | Peixuan Zuo, Rui Wang, Xianya Fu, Hailong Yang, Yi Liu, Lianyi Zhang, Han Zhang, Depei Qian |
| 2019 | NPC | Multiple Algorithms Against Multiple Hardware Architectures: Data-Driven Exploration on Deep Convolution Neural Network. | Chongyang Xu, Zhongzhi Luan, Lan Gao, Rui Wang, Han Zhang, Lianyi Zhang, Yi Liu, Depei Qian |
| 2014 | COMPSAC | Counterexample-Guided Abstraction Refinement for Component-Based Systems. | Lianyi Zhang, Qingdi Meng, Guiming Luo |
| 2014 | KSEM | Model Checking (k, d)-Markov Chain with ipLTL. | Lianyi Zhang, Qingdi Meng, Guiming Luo |
| 2013 | ATVA | VCS: A Verifier for Component-Based Systems. | Fei He, Liangze Yin, Bow-Yaw Wang, Lianyi Zhang, Guanyu Mu, Wenrui Meng |
| 2013 | COMPSAC | Component-Based Modeling and Code Synthesis for Cyclic Programs. | Min Zhou, Hai Wan, Chen Su, Liangze Yin, Lianyi Zhang, Fei He, Ming Gu |
| 2012 | TASE | Modeling and Validation of PLC-Controlled Systems: A Case Study. | Rui Wang, Min Zhou, Liangze Yin, Lianyi Zhang, Jiaguang Sun, Ming Gu, Marius Bozga |