Cortical Lateralization Analysis by Kolmogorov Entropy of EEG. - Lianyi Zhang; Chongxun Zheng (Panhellenic Conference on Informatics, 2005)

Modeling and Validation of PLC-Controlled Systems: A Case Study. - Rui Wang 024; Min Zhou 001; Liangze Yin; Lianyi Zhang; Jiaguang Sun 001; Ming Gu 001; Marius Bozga (TASE, 2012)

VCS: A Verifier for Component-Based Systems. - Fei He 001; Liangze Yin; Bow-Yaw Wang; Lianyi Zhang; Guanyu Mu; Wenrui Meng (ATVA, 2013)

Component-Based Modeling and Code Synthesis for Cyclic Programs. - Min Zhou 001; Hai Wan; Chen Su; Liangze Yin; Lianyi Zhang; Fei He 001; Ming Gu 001 (COMPSAC, 2013)

Formal verification for embedded software with cognitive environment modelling. - Qingdi Meng; Lianyi Zhang; Guiming Luo (ICCI*CC, 2014)

Optimized symbolic model checking for component-based systems. - Lianyi Zhang; Qingdi Meng; Guiming Luo (ICCI*CC, 2014)

Counterexample-Guided Abstraction Refinement for Component-Based Systems. - Lianyi Zhang; Qingdi Meng; Guiming Luo (COMPSAC, 2014)

Model Checking (k, d)-Markov Chain with ipLTL. - Lianyi Zhang; Qingdi Meng; Guiming Luo (KSEM, 2014)

Compositional Abstraction Refinement for Component-Based Systems. - Lianyi Zhang; Qingdi Meng; Kueiming Lo (J. Appl. Math., 2014)

Verification of lean-kanban processes with probabilistic model checking. - Lianyi Zhang; Qingdi Meng; Guiming Luo (Int. J. Comput. Appl. Technol., 2016)

Real-time human activity classification by accelerometer embedded wearable devices. - Fan Yang; Lianyi Zhang (ICSAI, 2017)

EffectFace: A Fast and Efficient Deep Neural Network Model for Face Recognition. - Weicheng Li; Dan Jia; Jia Zhai; Jihong Cai; Han Zhang; Lianyi Zhang; Hailong Yang; Depei Qian; Rui Wang 014 (ACA, 2018)

Structure Characteristic-Aware Pruning Strategy for Convolutional Neural Networks. - Peixuan Zuo; Rui Wang 014; Xianya Fu; Hailong Yang; Yi Liu 013; Lianyi Zhang; Han Zhang; Depei Qian (HPCC/SmartCity/DSS, 2019)

Multiple Algorithms Against Multiple Hardware Architectures: Data-Driven Exploration on Deep Convolution Neural Network. - Chongyang Xu; Zhongzhi Luan; Lan Gao; Rui Wang 014; Han Zhang; Lianyi Zhang; Yi Liu 013; Depei Qian (NPC, 2019)

NASIL: Neural Network Architecture Searching for Incremental Learning in Image Classification. - Xianya Fu; Wenrui Li; Qiurui Chen; Lianyi Zhang; Kai Yang; Duzheng Qing; Rui Wang (PAAP, 2020)

RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on μ-calculus. - Ning Ge 001; Silvano Dal-Zilio; Hongyu Liu; Li Zhang 029; Lianyi Zhang (Sci. Comput. Program., 2021)