Sign in
Cong He
ORCID
Publication Activity (10 Years)
Years Active: 2008-2023
Publications (10 Years): 15
Top Topics
Model Checking
Petri Net
Temporal Logic
Assembly Line
Top Venues
Int. J. Prod. Res.
CoRR
BMC Medical Informatics Decis. Mak.
Comput. Informatics
</>
Publications
</>
Fu-qiang Ma
,
Cong He
,
Hao-ran Yang
,
Zuo-wei Hu
,
He-rong Mao
,
Cun-yu Fan
,
Yu Qi
,
Ji-xian Zhang
,
Bo Xu
Interpretable machine-learning model for Predicting the Convalescent COVID-19 patients with pulmonary diffusing capacity impairment.
BMC Medical Informatics Decis. Mak.
23 (1) (2023)
Zhijun Ding
,
Cong He
,
Shuo Li
EnPAC: Petri Net Model Checking for Linear Temporal Logic.
CoRR
(2023)
Yufan Yi
,
Yan Tian
,
Cong He
,
Yajing Fan
,
Xinli Hu
,
Yiping Xu
DBT: multimodal emotion recognition based on dual-branch transformer.
J. Supercomput.
79 (8) (2023)
Zhijun Ding
,
Cong He
,
Shuo Li
EnPAC: Petri Net Model Checking for Linear Temporal Logic.
ICNSC
(2023)
Peng Xiong
,
Kunlin Li
,
Jieshuo Zhang
,
Cong He
,
Haiman Du
,
Jianli Yang
,
Xiaohua Cao
,
Zengguang Hou
,
Xiuling Liu
Localization of Myocardial Infarction From 2D-VCG Tensor With DSC-Net.
IEEE Trans. Instrum. Meas.
72 (2023)
Zhijun Ding
,
Shuo Li
,
Cheng Chen
,
Cong He
Program Dependence Net and Its Slice for Verifying Linear Temporal Properties.
CoRR
(2023)
Cong He
,
Ming Liu
,
Peng Xiong
,
Jianli Yang
,
Haiman Du
,
Jinpeng Xu
,
Zengguang Hou
,
Xiuling Liu
Localization of myocardial infarction using a multi-branch weight sharing network based on 2-D vectorcardiogram.
Eng. Appl. Artif. Intell.
116 (2022)
Dan Luo
,
Zailin Guan
,
Cong He
,
Yeming Gong
,
Lei Yue
Data-driven cloud simulation architecture for automated flexible production lines: application in real smart factories.
Int. J. Prod. Res.
60 (12) (2022)
Yongqiang Zhang
,
Xiaoyue Chen
,
Cong He
,
Guangjun Xie
Energy-efficient multipliers using imprecise compressors for image multiplication.
Int. J. Circuit Theory Appl.
50 (11) (2022)
Cong He
,
Zhijun Ding
More Efficient On-the-Fly Verification Methods of Colored Petri Nets.
Comput. Informatics
40 (1) (2021)
Cong He
,
Zailin Guan
,
Guangyan Xu
,
Lei Yue
,
Saif Ullah
Scenario-based robust dominance criteria for multi-objective automated flexible transfer line balancing problem under uncertainty.
Int. J. Prod. Res.
58 (2) (2020)
Jabir Mumtaz
,
Zailin Guan
,
Lei Yue
,
Li Zhang
,
Cong He
Hybrid spider monkey optimisation algorithm for multi-level planning and scheduling problems of assembly lines.
Int. J. Prod. Res.
58 (20) (2020)
Di Wu
,
Hanlin Zhu
,
Yongxin Zhu
,
Victor Chang
,
Cong He
,
Ching-Hsien Hsu
,
Hui Wang
,
Songlin Feng
,
Li Tian
,
Zunkai Huang
Anomaly Detection Based on RBM-LSTM Neural Network for CPS in Advanced Driver Assistance System.
ACM Trans. Cyber Phys. Syst.
4 (3) (2020)
Saif Ullah
,
Zailin Guan
,
Chuangjian Wang
,
Cong He
,
Lei Yue
,
Mirza Jahanzaib
Drum buffer rope-based heuristic for multi-level rolling horizon planning in mixed model production.
Int. J. Prod. Res.
57 (12) (2019)
Cong He
,
Zailin Guan
,
Lei Yue
,
Saif Ullah
Set-partitioning-based heuristic for balancing and configuration of automated flexible machining line.
Int. J. Prod. Res.
56 (9) (2018)
Cong He
,
Huiyun Mao
,
Lianwen Jin
Realistic Smile Expression Recognition Using Biologically Inspired Features.
Australasian Conference on Artificial Intelligence
(2011)
Yan Gao
,
Lianwen Jin
,
Cong He
,
Guibin Zhou
Handwriting Character Recognition as a Service: A New Handwriting Recognition System Based on Cloud Computing.
ICDAR
(2011)
Cong He
,
Han Tong Loh
Pattern-oriented associative rule-based patent classification.
Expert Syst. Appl.
37 (3) (2010)
Cong He
,
Han Tong Loh
Grouping of TRIZ Inventive Principles to facilitate automatic patent classification.
Expert Syst. Appl.
34 (1) (2008)