Qimin Hu

According to our database, Qimin Hu authored at least 15 papers between 2006 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Modularity characterization on general 2-uninorms and overlap or grouping functions.

Ting-Hai Zhang, Feng Qin, Jie Wan, Qimin Hu

Soft Comput., 2022

Distributivity characterization of idempotent uni-nullnorms and overlap or grouping functions.

Ting-Hai Zhang, Feng Qin, Jie Wan, Qimin Hu, Zhenhua Cao

Int. J. Approx. Reason., 2022

2020

Scheduling Heterogeneous Multiprocessor Real-Time Systems with Mixed Sets of Task.

Zhuo Cheng, Jinyun Xue, Haitao Zhang, Zhen You, Qimin Hu, Yuto Lim

Proceedings of the 14th IEEE International Conference on Service Oriented Systems Engineering, 2020

2019

Formal Development and Verification of Reusable Component in PAR Platform.

Qimin Hu, Jinyun Xue, Zhen You, Zhuo Cheng, Zhengkang Zuo

Proceedings of the Structured Object-Oriented Formal Language and Method, 2019

Apla Generic Constraint Matching Detection and Verification.

Zhengkang Zuo, Zhihao Liu, Changjing Wang, Zhen You, Qimin Hu

Proceedings of the 24th International Conference on Engineering of Complex Computer Systems, 2019

2018

Formal Specification and Verification for Real-Time Scheduling Based on PAR.

Zhen You, Zhuo Cheng, Jinyun Xue, Qimin Hu, Wuping Xie

Proceedings of the Structured Object-Oriented Formal Language and Method, 2018

PAR: A Practicable Formal Method and Its Supporting Platform.

Jinyun Xue, Yujun Zheng, Qimin Hu, Zhen You, Wuping Xie, Zhuo Cheng

Proceedings of the Formal Methods and Software Engineering, 2018

2017

无线射频RFID识别协议自动验证方法研究 (Research of Automatic Verification Method about Radio Frequency Identification Protocol).

Lan Song, Jinyun Xue, Qimin Hu, Wuping Xie, Dongming Jiang, Zhen You

计算机科学, 2017

2016

Formal Development of Linear Structure Reusable Components in PAR Platform.

Qimin Hu, Jinyun Xue, Zhen You

Proceedings of the Structured Object-Oriented Formal Language and Method, 2016

2015

Research on Formal Development of Non-recursive Algorithms of Graph Search.

Qimin Hu, Jinyun Xue, Zhen You

Proceedings of the Structured Object-Oriented Formal Language and Method, 2015

2014

Formal Semantics of Orc Based on TLA⁺.

Zhen You, Jinyun Xue, Qimin Hu, Yi Hong

Proceedings of the Structured Object-Oriented Formal Language and Method, 2014

2013

Formalization of Distributed and Dynamic Resources Allocation Using Category Theory.

Zhen You, Jinyun Xue, Shi Ying, Dongming Jiang, Qimin Hu

J. Softw., 2013

2008

Implementing Templated Design Patterns: A Category Theoretic Approach.

Yujun Zheng, Qimin Hu, Jinyun Xue

Int. J. Comput. Their Appl., 2008

2007

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

2006

Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach.

Yujun Zheng, Qimin Hu, Jinyun Xue

Proceedings of the Sixth International Conference on Intelligent Systems Design and Applications (ISDA 2006), 2006