Designing, Modelling and Verifying a Container Terminal System Using UPPAAL. - Quan Zu; Miaomiao Zhang 003; Jing Liu 012; Qingfeng Du (HASE, 2008)

Bounded model-checking of discrete duration calculus. - Quan Zu; Miaomiao Zhang 003; Jiaqi Zhu 001; Naijun Zhan (HSCC, 2013)

Dynamic Matchings in Left Weighted Convex Bipartite Graphs. - Quan Zu; Miaomiao Zhang 003; Bin Yu (FAW, 2014)

Fast Dynamic Weight Matchings in Convex Bipartite Graphs. - Quan Zu; Miaomiao Zhang 003; Bin Yu (MFCS (2), 2015)

Dynamic matchings in left vertex weighted convex bipartite graphs. - Quan Zu; Miaomiao Zhang 003; Bin Yu (J. Comb. Optim., 2016)

Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA). - Yilong Yang 001; Xiaoshan Li; Quan Zu (CoRR, 2018)

MicroShare: Privacy-Preserved Medical Resource Sharing through MicroService Architecture. - Yilong Yang 001; Quan Zu; Peng Liu 070; Defang Ouyang; Xiaoshan Li (CoRR, 2018)

Automated Prototype Generation from Formal Requirements Model. - Yilong Yang 001; Xiaoshan Li; Zhiming Liu 001; Wei Ke 001; Quan Zu; Xiaohong Chen 002 (CoRR, 2018)

Real-Time System Modeling and Verification Through Labeled Transition System Analyzer. - Yilong Yang 001; Quan Zu; Wei Ke 001; Miaomiao Zhang 003; Xiaoshan Li (IEEE Access, 2019)