| 2026 | HPCA | Cohet: A CXL-Driven Coherent Heterogeneous Computing Framework with Hardware-Calibrated Full-System Simulation. | Yanjing Wang, Lizhou Wu, Sunfeng Gao, Yibo Tang, Junhui Luo, Zicong Wang, Yang Ou, Dezun Dong, Nong Xiao, Mingche Lai |
| 2024 | AiML | Point-Set Neighborhood Logic. | Yanjing Wang, Junhua Yu |
| 2022 | AiML | An Epistemic Interpretation of Tensor Disjunction. | Yanjing Wang, Yunsong Wang, Haoyu Wang |
| 2022 | MFCS | Generalized Bundled Fragments for First-Order Modal Logic. | Mo Liu, Anantha Padmanabha, R. Ramanujam, Yanjing Wang |
| 2022 | WoLLIC | Tense Logics over Lattices. | Xiaoyang Wang, Yanjing Wang |
| 2019 | HCI | Wavelet Packet Entropy Analysis of Resting State Electroencephalogram in Sleep Deprived Mental Fatigue State. | Yanjing Wang, Zhongqi Liu, Qian-Xiang Zhou, Xuewei Chen |
| 2018 | AiML | When Names Are Not Commonly Known: Epistemic Logic with Assignments. | Yanjing Wang, Jeremy Seligman |
| 2017 | IJCAI | Strategically knowing how. | Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang |
| 2016 | AiML | "Knowing value'' logic as a normal modal logic. | Tao Gu, Yanjing Wang |
| 2014 | AiML | Almost Necessary. | Jie Fan, Yanjing Wang, Hans van Ditmarsch |
| 2014 | AiML | Conditionally Knowing What. | Yanjing Wang, Jie Fan |
| 2013 | IJCAI | An Alternative Axiomatization of DEL and Its Applications. | Yanjing Wang, Guillaume Aucher |
| 2013 | IJCAI | Knowing That, Knowing What, and Public Communication: Public Announcement Logic with Kv Operators. | Yanjing Wang, Jie Fan |
| 2012 | AiML | Not All Those Who Wander Are Lost: Dynamic Epistemic Reasoning in Navigation. | Yanjing Wang, Yanjun Li |
| 2011 | TARK | Hidden protocols. | Hans van Ditmarsch, Sujata Ghosh, Rineke Verbrugge, Yanjing Wang |
| 2010 | ICNC | Feature extraction and classifier evaluation of EEG for imaginary hand movements. | Xiaoyan Qiao, Yanjing Wang, Douzhe Li, Lifeng Tian |
| 2009 | TARK | Verifying epistemic protocols under common knowledge. | Yanjing Wang, Lakshmanan Kuppusamy, Jan van Eijck |
| 2008 | ICTAC | Refinement of Kripke Models for Dynamics. | Francien Dechesne, Simona Orzan, Yanjing Wang |
| 2008 | TASE | PDL over Accelerated Labeled Transition Systems. | Taolue Chen, Jaco van de Pol, Yanjing Wang |
| 2008 | WoLLIC | Propositional Dynamic Logic as a Logic of Belief Revision. | Jan van Eijck, Yanjing Wang |