Jianfeng Du - RankMe

76 papers A* 18A 6B 1C 3Misc 2Journal 12Unranked 30

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Securing Storage Instructions: A Hamming Weight Balancing Approach to Prevent Secret Leaks Through Side Channels. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Jianfeng Du, Zhu Wang, Aimin Yu
2025	—	`conf`	Bit-By-Bit Total Collapse: A Novel Side-Channel Attack on HQC-128 Decapsulation. Inscrypt (1) Yang Yi, Zhu Wang, Jianfeng Du, Aimin Yu
2025	J	`jnl`	Learning to mine all minimal evidences for unverified claims. Inf. Sci. Yanan Liu, Hai Wan, Jianfeng Du, Yao Wang, Kunxun Qi, Weilin Luo
2025	J	`jnl`	NADA: Neural Acceptance-Driven Approximate Specification Mining. Proc. ACM Softw. Eng. Weilin Luo, Tingchen Han, Junming Qiu, Hai Wan, Jianfeng Du, Bo Peng, Guohui Xiao, Yanan Liu
2025	J	`jnl`	Revisiting the Masking Strategy: A Side-Channel Attack on CRYSTALS-Kyber. IEEE Trans. Inf. Forensics Secur. Jianfeng Du, Zhu Wang, Aimin Yu
2024	A	`conf`	Bi-directional Learning of Logical Rules with Type Constraints for Knowledge Graph Completion. CIKM Kunxun Qi, Jianfeng Du, Hai Wan
2024	A*	`conf`	End-to-End Learning of LTLf Formulae by Faithful LTLf Encoding. AAAI Hai Wan, Pingjia Liang, Jianfeng Du, Weilin Luo, Rongzhen Ye, Bo Peng
2024	—	`conf`	End-to-end Learning of Logical Rules for Enhancing Document-level Relation Extraction. ACL (1) Kunxun Qi, Jianfeng Du, Hai Wan
2024	A	`conf`	Learning to Check LTL Satisfiability and to Generate Traces via Differentiable Trace Checking. ISSTA Weilin Luo, Pingjia Liang, Junming Qiu, Polong Chen, Hai Wan, Jianfeng Du, Weiyuan Fang
2024	—	`conf`	When Is Multi-channel Better Than Single-Channel: A Case Study of Product-Based Multi-channel Fusion Attacks. Inscrypt (1) Shilong You, Jianfeng Du, Zhu Wang, Aimin Yu
2023	A*	`conf`	A Noise-Tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving. AAAI Rongzhen Ye, Tianqu Zhuang, Hai Wan, Jianfeng Du, Weilin Luo, Pingjia Liang
2023	A*	`conf`	Learning from Both Structural and Textual Knowledge for Inductive Knowledge Graph Completion. NeurIPS Kunxun Qi, Jianfeng Du, Hai Wan
2023	A*	`conf`	PURLTL: Mining LTL Specification from Imperfect Traces in Testing. ASE Bo Peng, Pingjia Liang, Tingchen Han, Weilin Luo, Jianfeng Du, Hai Wan, Rongzhen Ye, Yuhang Zheng
2023	A*	`conf`	SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning. ASE Weilin Luo, Yuhang Zheng, Rongzhen Ye, Hai Wan, Jianfeng Du, Pingjia Liang, Polong Chen
2022	J	`jnl`	A Noise-tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving. CoRR Rongzhen Ye, Tianqu Zhuang, Hai Wan, Jianfeng Du, Weilin Luo, Pingjia Liang
2022	A*	`conf`	Bridging LTLf Inference to GNN Inference for Learning LTLf Formulae. AAAI Weilin Luo, Pingjia Liang, Jianfeng Du, Hai Wan, Bo Peng, Delong Zhang
2022	A*	`conf`	Checking LTL Satisfiability via End-to-end Learning. ASE Weilin Luo, Hai Wan, Delong Zhang, Jianfeng Du, Hengdi Su
2022	—	`conf`	Enhancing Cross-lingual Natural Language Inference by Prompt-learning from Cross-lingual Templates. ACL (1) Kunxun Qi, Hai Wan, Jianfeng Du, Haolan Chen
2022	A*	`conf`	Teaching LTLf Satisfiability Checking to Neural Networks. IJCAI Weilin Luo, Hai Wan, Jianfeng Du, Xiaoda Li, Yuze Fu, Rongzhen Ye, Delong Zhang
2021	—	`conf`	A DQN-based Approach to Finding Precise Evidences for Fact Verification. ACL/IJCNLP (1) Hai Wan, Haicheng Chen, Jianfeng Du, Weilin Luo, Rongzhen Ye
2021	—	`conf`	Enhancing Metaphor Detection by Gloss-based Interpretations. ACL/IJCNLP (Findings) Hai Wan, Jinxia Lin, Jianfeng Du, Dawei Shen, Manrong Zhang
2021	A*	`conf`	FL-MSRE: A Few-Shot Learning based Approach to Multimodal Social Relation Extraction. AAAI Hai Wan, Manrong Zhang, Jianfeng Du, Ziling Huang, Yufei Yang, Jeff Z. Pan
2021	J	`jnl`	Iterative Visual Relationship Detection via Commonsense Knowledge Graph. Big Data Res. Hai Wan, Jinrui Liang, Jianfeng Du, Yanan Liu, Jialing Ou, Baoyi Wang, Jeff Z. Pan, Juan Zeng
2020	A*	`conf`	Target-Aspect-Sentiment Joint Detection for Aspect-Based Sentiment Analysis. AAAI Hai Wan, Yufei Yang, Jianfeng Du, Yanan Liu, Kunxun Qi, Jeff Z. Pan
2020	A*	`conf`	Translation-Based Matching Adversarial Network for Cross-Lingual Natural Language Inference. AAAI Kunxun Qi, Jianfeng Du
2019	—	`ch.`	Automated Reasoning. Encyclopedia of Big Data Technologies Jeff Z. Pan, Jianfeng Du
2019	—	`conf`	Iterative Visual Relationship Detection via Commonsense Knowledge Graph. JIST Hai Wan, Jialing Ou, Baoyi Wang, Jianfeng Du, Jeff Z. Pan, Juan Zeng
2019	A*	`conf`	Validation of Growing Knowledge Graphs by Abductive Text Evidences. AAAI Jianfeng Du, Jeff Z. Pan, Sylvia Wang, Kunxun Qi, Yuming Shen, Yu Deng
2018	—	`conf`	An Ultra-Low-Power Third-Order Frequency-to-Digital Converter for FM MEMS Gyroscope. IEEE SENSORS Yang Zhao, Zhiqiang Wu, Guo Ming Xia, Qin Shi, Yu Wang, An Ping Qiu, HaiYing Wang, Jianfeng Du
2018	—	`conf`	Bidirectional Semantic Matching with Deep Contextualized Word Embedding for Chinese Sentence Matching. CCKS Tasks Kunxun Qi, Jianfeng Du, Qiqi Ou, Linxi Jin, Jinglan Zhong
2018	—	`conf`	Knowledge Graph Embedding with Logical Consistency. CCL Jianfeng Du, Kunxun Qi, Yuming Shen
2018	—	`conf`	Ranking Diagnoses for Inconsistent Knowledge Graphs by Representation Learning. JIST Jianfeng Du
2017	—	`conf`	Enhancing Knowledge Graph Embedding from a Logical Perspective. JIST Jianfeng Du, Kunxun Qi, Hai Wan, Bo Peng, Shengbin Lu, Yuming Shen
2017	—	`ed.`	Knowledge Graph and Semantic Computing. Language, Knowledge, and Intelligence - Second China Conference, CCKS 2017, Chengdu, China, August 26-29, 2017, Revised Selected Papers CCKS Juanzi Li, Ming Zhou, Guilin Qi, Ni Lao, Tong Ruan, Jianfeng Du
2017	A*	`conf`	Practical TBox Abduction Based on Justification Patterns. AAAI Jianfeng Du, Hai Wan, Huaguan Ma
2016	—	`conf`	A System for Searching Renting Houses Based on Relaxed Query Answering. APWeb (2) Jianfeng Du, Kunxun Qi, Can Lin
2016	—	`conf`	Non-hierarchical Relation Extraction of Chinese Text Based on Scalable Corpus. JIST Xiaoheng Su, Hai Wan, Ruibin Chen, Qi Liu, Wenxuan Zhang, Jianfeng Du
2015	—	`conf`	Distance-Based Ranking of Negative Answers. JIST Jianfeng Du, Can Lin, Kunxun Qi
2015	C	`conf`	ONCAPS: An Ontology-Based Car Purchase Guiding System. APWeb Jianfeng Du, Jun Zhao, Jiayi Cheng, Qingchao Su, Jiacheng Liang
2015	—	`conf`	Rewriting-Based Instance Retrieval for Negated Concepts in Description Logic Ontologies. ISWC (1) Jianfeng Du, Jeff Z. Pan
2015	A	`conf`	Towards Scalable and Complete Query Explanation with OWL 2 EL Ontologies. CIKM Zhe Wang, Mahsa Chitsaz, Kewen Wang, Jianfeng Du
2015	A*	`conf`	Towards Tractable and Practical ABox Abduction over Inconsistent Description Logic Ontologies. AAAI Jianfeng Du, Kewen Wang, Yi-Dong Shen
2015	C	`conf`	Tractable Computation of Representative ABox Repairs in Description Logic Ontologies. KSEM Jianfeng Du, Guilin Qi
2014	A	`conf`	A Practical Fine-grained Approach to Resolving Incoherent OWL 2 DL Terminologies. CIKM Jianfeng Du, Guilin Qi, Xuefeng Fu
2014	—	`conf`	A System for Tractable Computation of Negative Answers to Conjunctive Queries. CSWS Jianfeng Du, Deqian Liu, Can Lin, Xuzhi Zhou, Jiaqi Liang
2014	A*	`conf`	A Tractable Approach to ABox Abduction over Description Logic Ontologies. AAAI Jianfeng Du, Kewen Wang, Yi-Dong Shen
2014	—	`conf`	An Approach for Optimal Two-Dimensional Independent Antenna Electrical Adjustment. CyberC Jianfeng Du, Zhiwei Li
2014	—	`conf`	An Ontology-Based System for Generating Mathematical Test Papers. CSWS Jianfeng Du, Xuzhi Zhou, Can Lin, Deqian Liu, Jiayi Cheng
2014	—	`ed.`	The Semantic Web and Web Science - 8th Chinese Conference, CSWS 2014, Wuhan, China, August 8-12, 2014, Revised Selected Papers CSWS Dongyan Zhao, Jianfeng Du, Haofen Wang, Peng Wang, Donghong Ji, Jeff Z. Pan
2013	J	`jnl`	An integrative framework for intelligent software project risk planning. Decis. Support Syst. Yong Hu, Jianfeng Du, Xiangzhou Zhang, Xiaoling Hao, E. W. T. Ngai, Ming Fan, Mei Liu
2013	—	`ed.`	Linked Data and Knowledge Graph - 7th Chinese Semantic Web Symposium and 2nd Chinese Web Science Conference, CSWS 2013, Shanghai, China, August 12-16, 2013. Revised Selected Papers CSWS Guilin Qi, Jie Tang, Jianfeng Du, Jeff Z. Pan, Yong Yu
2013	—	`conf`	Multi-criteria Axiom Ranking Based on Analytic Hierarchy Process. CSWS Jianfeng Du, Rongfeng Jiang, Yong Hu
2013	J	`jnl`	Weight-based consistent query answering over inconsistent $${\mathcal {SHIQ}}$$ knowledge bases. Knowl. Inf. Syst. Jianfeng Du, Guilin Qi, Yi-Dong Shen
2012	—	`conf`	Approximating Linear Order Inference in OWL 2 DL by Horn Compilation. Web Intelligence Jianfeng Du, Guilin Qi, Jeff Z. Pan, Yi-Dong Shen
2012	J	`jnl`	Intelligent Analysis Model for Outsourced Software Project Risk Using Constraint-based Bayesian Network. J. Softw. Yong Hu, Xizhu Mo, Xiangzhou Zhang, Yuran Zeng, Jianfeng Du, Kang Xie
2012	J	`jnl`	Merging Knowledge Bases in Possibilistic Logic by Lexicographic Aggregation CoRR Guilin Qi, Jianfeng Du, Weiru Liu, David A. Bell
2012	—	`conf`	Proactive Recommendation Based on $\mathcal{E}\mathcal{L}$ Concept Learning. CSWS Jianfeng Du, Shuai Wang, Bohong Lin, Xiaoli Yao, Yong Hu
2012	—	`conf`	Reasoning with Uncertain and Inconsistent OWL Ontologies. Reasoning Web Guilin Qi, Jianfeng Du
2012	J	`jnl`	Towards Practical ABox Abduction in Large Description Logic Ontologies. Int. J. Semantic Web Inf. Syst. Jianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan
2011	B	`conf`	A Decomposition-Based Approach to OWL DL Ontology Diagnosis. ICTAI Jianfeng Du, Guilin Qi, Jeff Z. Pan, Yi-Dong Shen
2011	—	`conf`	A New Matchmaking Approach Based on Abductive Conjunctive Query Answering. JIST Jianfeng Du, Shuai Wang, Guilin Qi, Jeff Z. Pan, Yong Hu
2011	—	`conf`	An Abductive CQA Based Matchmaking System for Finding Renting Houses. JIST Jianfeng Du, Shuai Wang, Guilin Qi, Jeff Z. Pan, Che Qiu
2011	—	`conf`	Efficient Action Extraction with Many-to-Many Relationship between Actions and Features. LORI Jianfeng Du, Yong Hu, Charles X. Ling, Ming Fan, Mei Liu
2011	J	`jnl`	Extending description logics with uncertainty reasoning in possibilistic logic. Int. J. Intell. Syst. Guilin Qi, Qiu Ji, Jeff Z. Pan, Jianfeng Du
2011	A	`conf`	Finding all justifications of OWL entailments using TMS and MapReduce. CIKM Gang Wu, Guilin Qi, Jianfeng Du
2011	A*	`conf`	Towards Practical ABox Abduction in Large OWL DL Ontologies. AAAI Jianfeng Du, Guilin Qi, Yi-Dong Shen, Jeff Z. Pan
2010	C	`conf`	Decomposition-Based Optimization for Debugging of Inconsistent OWL DL Ontologies. KSEM Jianfeng Du, Guilin Qi
2010	A	`conf`	Merging Knowledge Bases in Possibilistic Logic by Lexicographic Aggregation. UAI Guilin Qi, Jianfeng Du, Weiru Liu, David A. Bell
2010	—	`conf`	PossDL - A Possibilistic DL Reasoner for Uncertainty Reasoning and Inconsistency Handling. ESWC (2) Guilin Qi, Qiu Ji, Jeff Z. Pan, Jianfeng Du
2009	Misc	`conf`	A Decomposition-Based Approach to Optimizing Conjunctive Query Answering in OWL DL. ISWC Jianfeng Du, Guilin Qi, Jeff Z. Pan, Yi-Dong Shen
2009	Misc	`conf`	Goal-Directed Module Extraction for Explaining OWL DL Entailments. ISWC Jianfeng Du, Guilin Qi, Qiu Ji
2009	A*	`conf`	Model-based Revision Operators for Terminologies in Description Logics. IJCAI Guilin Qi, Jianfeng Du
2008	A*	`conf`	Computing minimum cost diagnoses to repair populated DL-based ontologies. WWW Jianfeng Du, Yi-Dong Shen
2008	—	`conf`	Lexicographical Inference over Inconsistent DL-Based Ontologies. RR Jianfeng Du, Guilin Qi, Yi-Dong Shen
2007	—	`conf`	Partitioning ABoxes Based on Converting DL to Plain Datalog. Description Logics Jianfeng Du, Yi-Dong Shen
2001	—	`conf`	Implementation and Application of Fuzzy Case-Based Expert System. ICEIS (1) Jianfeng Du, Junde Song