Quan Zu

Publication Activity (10 Years)

Years Active: 2008-2019
Publications (10 Years): 5

Top Topics

Bipartite Graph

Resource Sharing

Top Venues

J. Comb. Optim.

Publications

Yilong Yang, Quan Zu, Wei Ke, Miaomiao Zhang, Xiaoshan Li
Real-Time System Modeling and Verification Through Labeled Transition System Analyzer. IEEE Access 7 (2019)
Yilong Yang, Xiaoshan Li, Quan Zu
Real-time System Modeling and Verification through Labeled Transition System Analyser (LTSA). CoRR (2018)
Yilong Yang, Quan Zu, Peng Liu, Defang Ouyang, Xiaoshan Li
MicroShare: Privacy-Preserved Medical Resource Sharing through MicroService Architecture. CoRR (2018)
Yilong Yang, Xiaoshan Li, Zhiming Liu, Wei Ke, Quan Zu, Xiaohong Chen
Automated Prototype Generation from Formal Requirements Model. CoRR (2018)
Quan Zu, Miaomiao Zhang, Bin Yu
Dynamic matchings in left vertex weighted convex bipartite graphs. J. Comb. Optim. 32 (1) (2016)
Quan Zu, Miaomiao Zhang, Bin Yu
Fast Dynamic Weight Matchings in Convex Bipartite Graphs. MFCS (2) (2015)
Quan Zu, Miaomiao Zhang, Bin Yu
Dynamic Matchings in Left Weighted Convex Bipartite Graphs. FAW (2014)
Quan Zu, Miaomiao Zhang, Jiaqi Zhu, Naijun Zhan
Bounded model-checking of discrete duration calculus. HSCC (2013)
Quan Zu, Miaomiao Zhang, Jing Liu, Qingfeng Du
Designing, Modelling and Verifying a Container Terminal System Using UPPAAL. HASE (2008)