Login / Signup
Jingqi Chen
ORCID
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 4
Top Topics
Production Scheduling
Vehicle Routing
Computer Aided Design
Ubiquitous Computing
Top Venues
Briefings Bioinform.
J. Ind. Inf. Integr.
SysCon
Entropy
</>
Publications
</>
Jingqi Chen
,
Jinzhi Lu
,
Guoxin Wang
,
Lei Feng
,
Dimitris Kiritsis
A Semantics Modeling Approach Supporting Property Verification based on Satisfiability Modulo Theories.
SysCon
(2022)
Liquan Chen
,
Qianye Chen
,
Mengnan Zhao
,
Jingqi Chen
,
Suhui Liu
,
Yongli Zhao
DDKA-QKDN: Dynamic On-Demand Key Allocation Scheme for Quantum Internet of Things Secured by QKD Network.
Entropy
24 (2) (2022)
Jingqi Chen
,
Guoxin Wang
,
Jinzhi Lu
,
Xiaochen Zheng
,
Dimitris Kiritsis
Model-based system engineering supporting production scheduling based on satisfiability modulo theory.
J. Ind. Inf. Integr.
27 (2022)
Anyi Yang
,
Jingqi Chen
,
Xing-Ming Zhao
nMAGMA: a network-enhanced method for inferring risk genes from GWAS summary statistics and its application to schizophrenia.
Briefings Bioinform.
22 (4) (2021)