Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach. - Yujun Zheng 001; Qimin Hu; Jinyun Xue (ISDA (1), 2006)

Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach. - Yujun Zheng; Jinyun Xue; Qimin Hu (J. Digit. Inf. Manag., 2007)

Implementing Templated Design Patterns: A Category Theoretic Approach. - Yujun Zheng 001; Qimin Hu; Jinyun Xue (Int. J. Comput. Their Appl., 2008)

Formalization of Distributed and Dynamic Resources Allocation Using Category Theory. - Zhen You; Jinyun Xue; Shi Ying; Dongming Jiang; Qimin Hu (J. Softw., 2013)

Formal Semantics of Orc Based on TLA+. - Zhen You; Jinyun Xue; Qimin Hu; Yi Hong 005 (SOFL+MSVL, 2014)

Research on Formal Development of Non-recursive Algorithms of Graph Search. - Qimin Hu; Jinyun Xue; Zhen You (SOFL+MSVL, 2015)

Formal Development of Linear Structure Reusable Components in PAR Platform. - Qimin Hu; Jinyun Xue; Zhen You (SOFL+MSVL, 2016)

无线射频RFID识别协议自动验证方法研究 (Research of Automatic Verification Method about Radio Frequency Identification Protocol). - Lan Song; Jinyun Xue; Qimin Hu; Wuping Xie; Dongming Jiang; Zhen You (计算机科学, 2017)

PAR: A Practicable Formal Method and Its Supporting Platform. - Jinyun Xue; Yujun Zheng; Qimin Hu; Zhen You; Wuping Xie; Zhuo Cheng (ICFEM, 2018)

Formal Specification and Verification for Real-Time Scheduling Based on PAR. - Zhen You; Zhuo Cheng; Jinyun Xue; Qimin Hu; Wuping Xie (SOFL+MSVL, 2018)

Apla Generic Constraint Matching Detection and Verification. - Zhengkang Zuo; Zhihao Liu; Changjing Wang; Zhen You; Qimin Hu (ICECCS, 2019)

Formal Development and Verification of Reusable Component in PAR Platform. - Qimin Hu; Jinyun Xue; Zhen You; Zhuo Cheng; Zhengkang Zuo (SOFL+MSVL, 2019)

Scheduling Heterogeneous Multiprocessor Real-Time Systems with Mixed Sets of Task. - Zhuo Cheng; Jinyun Xue; Haitao Zhang; Zhen You; Qimin Hu; Yuto Lim (SOSE, 2020)

Distributivity characterization of idempotent uni-nullnorms and overlap or grouping functions. - Ting-Hai Zhang; Feng Qin 002; Jie Wan; Qimin Hu; Zhenhua Cao (Int. J. Approx. Reason., 2022)

Modularity characterization on general 2-uninorms and overlap or grouping functions. - Ting-Hai Zhang; Feng Qin 002; Jie Wan; Qimin Hu (Soft Comput., 2022)

Functional Modelling of the Matroid and Application to the Knapsack Problem. - Zikang Wan; Zhen You; Chen Zhang; Zhengkang Zuo; Changjing Wang; Qimin Hu (SFPVV, 2024)