Qimin Hu

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 10

Top Topics

Radio Frequency

Rfid Middleware

Formal Specification

Top Venues

Int. J. Approx. Reason.

Publications

Ting-hai Zhang, Feng Qin, Jie Wan, Qimin Hu
Modularity characterization on general 2-uninorms and overlap or grouping functions. Soft Comput. 26 (19) (2022)
Ting-hai Zhang, Feng Qin, Jie Wan, Qimin Hu, Zhenhua Cao
Distributivity characterization of idempotent uni-nullnorms and overlap or grouping functions. Int. J. Approx. Reason. 148 (2022)
Zhuo Cheng, Jinyun Xue, Haitao Zhang, Zhen You, Qimin Hu, Yuto Lim
Scheduling Heterogeneous Multiprocessor Real-Time Systems with Mixed Sets of Task. SOSE (2020)
Zhengkang Zuo, Zhihao Liu, Changjing Wang, Zhen You, Qimin Hu
Apla Generic Constraint Matching Detection and Verification. ICECCS (2019)
Qimin Hu, Jinyun Xue, Zhen You, Zhuo Cheng, Zhengkang Zuo
Formal Development and Verification of Reusable Component in PAR Platform. SOFL+MSVL (2019)
Jinyun Xue, Yujun Zheng, Qimin Hu, Zhen You, Wuping Xie, Zhuo Cheng
PAR: A Practicable Formal Method and Its Supporting Platform. ICFEM (2018)
Zhen You, Zhuo Cheng, Jinyun Xue, Qimin Hu, Wuping Xie
Formal Specification and Verification for Real-Time Scheduling Based on PAR. SOFL+MSVL (2018)
Lan Song, Jinyun Xue, Qimin Hu, Wuping Xie, Dongming Jiang, Zhen You
无线射频RFID识别协议自动验证方法研究 (Research of Automatic Verification Method about Radio Frequency Identification Protocol). 计算机科学 44 (9) (2017)
Qimin Hu, Jinyun Xue, Zhen You
Formal Development of Linear Structure Reusable Components in PAR Platform. SOFL+MSVL (2016)
Qimin Hu, Jinyun Xue, Zhen You
Research on Formal Development of Non-recursive Algorithms of Graph Search. SOFL+MSVL (2015)
Zhen You, Jinyun Xue, Qimin Hu, Yi Hong
. SOFL+MSVL (2014)
Zhen You, Jinyun Xue, Shi Ying, Dongming Jiang, Qimin Hu
Formalization of Distributed and Dynamic Resources Allocation Using Category Theory. J. Softw. 8 (12) (2013)
Yujun Zheng, Qimin Hu, Jinyun Xue
Implementing Templated Design Patterns: A Category Theoretic Approach. Int. J. Comput. Their Appl. 15 (3) (2008)
Yujun Zheng, Jinyun Xue, Qimin Hu
Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach. J. Digit. Inf. Manag. 5 (3) (2007)
Yujun Zheng, Qimin Hu, Jinyun Xue
Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach. ISDA (1) (2006)