Donation, political connection and credit access: The case of Chinese small and medium enterprisesFINANCE RESEARCH LETTERSIF6.92022-05-019PREAI
Monotonicity and nonmonotonicity in L3-valued propositional logicFRONTIERS OF COMPUTER SCIENCEIF4.62021-11-160PRE
Distributed Graph Computation Meets Machine Learning分布式图计算满足机器学习IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMSIF62020-07-017PREAI
ADSM: Adaptive Data Scheduling Method for Hybrid Memories in Distributed SystemIEEE ACCESSIF3.62019-01-010OA
A computational framework for Karl Popper's logic of scientific discoverySCIENCE CHINA-INFORMATION SCIENCESIF7.62018-02-060PREAI
The verification of conversion algorithms between finite automataSCIENCE CHINA-INFORMATION SCIENCESIF7.62017-11-173PREAI
Contrary description logic: Gentzen deduction systemSCIENCE CHINA-INFORMATION SCIENCESIF7.62017-08-230PREAI
The sound and complete R-calculus for revising propositional theoriesSCIENCE CHINA-INFORMATION SCIENCESIF7.62015-07-224PREAI
A sound and complete R-calculi with respect to contraction and minimal changeFRONTIERS OF COMPUTER SCIENCEIF4.62014-01-231PRE
An evaluation framework for software crowdsourcingFRONTIERS OF COMPUTER SCIENCEIF4.62013-08-1451PREAI
A representative model based algorithm for maximal contractionsSCIENCE CHINA-INFORMATION SCIENCESIF7.62012-12-122PREAI
An algorithm to compute maximal contractions for Horn clausesSCIENCE CHINA-INFORMATION SCIENCESIF7.62011-02-0410PREAI
个人简介
教育背景
工作经历
荣誉奖项
未登录.png){kind=icon}
未登录个人简介教育背景工作经历荣誉奖项