Qimin Hu

17 papers B 1C 1Journal 7Unranked 8
YearRankTypeTitle / Venue / Authors
2025 J jnl
LRA-YOLO: A Lightweight Power Equipment Detection Algorithm Based on Large Receptive Field and Attention Guidance.
Inf.
Jiwen Yuan, Lei Hu, Qimin Hu
2024 — conf
Functional Modelling of the Matroid and Application to the Knapsack Problem.
SFPVV
Zikang Wan, Zhen You, Chen Zhang, Zhengkang Zuo, Changjing Wang, Qimin Hu
2022 J jnl
Distributivity characterization of idempotent uni-nullnorms and overlap or grouping functions.
Int. J. Approx. Reason.
Ting-Hai Zhang, Feng Qin, Jie Wan, Qimin Hu, Zhenhua Cao
2022 J jnl
Modularity characterization on general 2-uninorms and overlap or grouping functions.
Soft Comput.
Ting-Hai Zhang, Feng Qin, Jie Wan, Qimin Hu
2020 — conf
Scheduling Heterogeneous Multiprocessor Real-Time Systems with Mixed Sets of Task.
SOSE
Zhuo Cheng, Jinyun Xue, Haitao Zhang, Zhen You, Qimin Hu, Yuto Lim
2019 B conf
Apla Generic Constraint Matching Detection and Verification.
ICECCS
Zhengkang Zuo, Zhihao Liu, Changjing Wang, Zhen You, Qimin Hu
2019 — conf
Formal Development and Verification of Reusable Component in PAR Platform.
SOFL+MSVL
Qimin Hu, Jinyun Xue, Zhen You, Zhuo Cheng, Zhengkang Zuo
2018 — conf
Formal Specification and Verification for Real-Time Scheduling Based on PAR.
SOFL+MSVL
Zhen You, Zhuo Cheng, Jinyun Xue, Qimin Hu, Wuping Xie
2018 C conf
PAR: A Practicable Formal Method and Its Supporting Platform.
ICFEM
Jinyun Xue, Yujun Zheng, Qimin Hu, Zhen You, Wuping Xie, Zhuo Cheng
2017 J jnl
无线射频RFID识别协议自动验证方法研究 (Research of Automatic Verification Method about Radio Frequency Identification Protocol).
计算机科学
Lan Song, Jinyun Xue, Qimin Hu, Wuping Xie, Dongming Jiang, Zhen You
2016 — conf
Formal Development of Linear Structure Reusable Components in PAR Platform.
SOFL+MSVL
Qimin Hu, Jinyun Xue, Zhen You
2015 — conf
Research on Formal Development of Non-recursive Algorithms of Graph Search.
SOFL+MSVL
Qimin Hu, Jinyun Xue, Zhen You
2014 — conf
Formal Semantics of Orc Based on TLA
SOFL+MSVL
Zhen You, Jinyun Xue, Qimin Hu, Yi Hong
2013 J jnl
Formalization of Distributed and Dynamic Resources Allocation Using Category Theory.
J. Softw.
Zhen You, Jinyun Xue, Shi Ying, Dongming Jiang, Qimin Hu
2008 J jnl
Implementing Templated Design Patterns: A Category Theoretic Approach.
Int. J. Comput. Their Appl.
Yujun Zheng, Qimin Hu, Jinyun Xue
2007 J jnl
Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach.
J. Digit. Inf. Manag.
Yujun Zheng, Jinyun Xue, Qimin Hu
2006 — conf
Knowledge-Based Support for Object-Oriented Software Design and Synthesis: a category theoretic approach.
ISDA (1)
Yujun Zheng, Qimin Hu, Jinyun Xue