Reasoning about Partially Ordered Web Service Activities in PSL. - Michael Gruninger; Xing Tan 002 (ASWC, 2009)

SCOPE: A Situation Calculus Ontology of Petri Nets. - Xing Tan 002 (FOIS, 2010)

Towards Axiomatizing the Semantics of UML Activity Diagrams: A Situation-Calculus Perspective. - Xing Tan 002; Michael Gruninger (Web Intelligence, 2010)

A Formal Study on the Dualities in Temporal Projection Problems. - Xing Tan 002 (Canadian AI, 2012)

A stakeholder analysis of interoperable data architecture: the case of I-Choose. - Djoko Sigit Sayogo; Holly Jarman; Andrew Whitmore; Giri Kumar Tayi; Jing Zhang 006; Jana Hrdinová; Theresa A. Pardo; David F. Andersen; Luis F. Luna-Reyes; Xing Tan 002; Deborah L. Andersen (DG.O, 2012)

Go beyond the SCOPE: A Temporal Situation Calculus-Based Software Tool for Time Petri Nets. - Xing Tan 002 (IEA/AIE, 2012)

Towards a formal representation of clinical practice guidelines for the treatment of comorbid patients. - Xing Tan 002 (BIBM, 2013)

Using First-Order Logic to Represent Clinical Practice Guidelines and to Mitigate Adverse Interactions. - Martin Michalowski; Szymon Wilk; Wojtek Michalowski; Xing Tan 002; Daniela Rosu 002 (AAAI Fall Symposia, 2014)

The Complexity of Partial-Order Plan Viability Problems. - Xing Tan 002; Michael Gruninger (ICAPS, 2014)

First-Order Logic Theory for Manipulating Clinical Practice Guidelines Applied to Comorbid Patients: A Case Study. - Martin Michalowski; Szymon Wilk; Xing Tan 002; Wojtek Michalowski (AMIA, 2014)

Using First-Order Logic to Represent Clinical Practice Guidelines and to Mitigate Adverse Interactions. - Szymon Wilk; Martin Michalowski; Xing Tan 002; Wojtek Michalowski (KR4HC@VSL, 2014)

Identity-Based Broadcast Encryption Schemes for Open Networks. - Mingchu Li; Xiaodong Xu; Ruhan Zhuang; Cheng Guo 001; Xing Tan 002 (FCST, 2015)

RIMBED: Recommendation Incentive Mechanism Based on Evolutionary Dynamics in P2P Networks. - Xing Jin 002; Mingchu Li; Guanghai Cui; Jia Liu 021; Cheng Guo 001; Yongli Gao; Bo Wang 060; Xing Tan 002 (ICCCN, 2015)

LPSSE: Lightweight Phrase Search with Symmetric Searchable Encryption in Cloud Storage. - Mingchu Li; Wei Jia; Cheng Guo 001; Weifeng Sun; Xing Tan 002 (ITNG, 2015)

An ontological and hierarchical approach for supply chain event aggregation. - Xing Tan 002; Giri Kumar Tayi (ICSC, 2015)

Towards a Formal Account of the Dynamics of Knowledge and Context in Surgical Rooms for the Practice of Surgical Safety CheckLists. - Xing Tan 002; Xiangdong An 001; Nicholas Pairaudeau; Jimmy X. Huang (AMIA, 2016)

A Novel Reputation Management Mechanism with Forgiveness in P2P File Sharing Networks. - Mingchu Li; Junlong Wang; Kun Lu 003; Cheng Guo 001; Xing Tan 002 (FNC/MobiSPC, 2016)

Personalized pre-trust reputation management in social P2P network. - Mingchu Li; Quanhua Guan; Xing Jin 002; Cheng Guo 001; Xing Tan 002; Yongli Gao (ICNC, 2016)

Ranking Documents Through Stochastic Sampling on Bayesian Network-based Models: A Pilot Study. - Xing Tan 002; Jimmy Xiangji Huang; Aijun An (SIGIR, 2016)

AD-ASGKA - authenticated dynamic protocols for asymmetric group key agreement. - Mingchu Li; Xiaodong Xu; Cheng Guo 001; Xing Tan 002 (Secur. Commun. Networks, 2016)

On the Effectiveness of Bayesian Network-based Models for Document Ranking. - Xing Tan 002; Fanghong Jian; Jimmy Xiangji Huang (ICTIR, 2017)

Levenshtein in Blocks World: String Matching via AI Planning. - Xing Tan 002; Jimmy Xiangji Huang (ICTIR, 2018)

StatBM25: An Aggregative and Statistical Approach for Document Ranking. - Xing Tan 002; Fanghong Jiang; Jimmy Xiangji Huang (ICTIR, 2018)

A Best Match KNN-based Approach for Large-scale Product Categorization. - Haohao Hu; Runjie Zhu; Yuqi Wang; Wenying Feng 001; Xing Tan 002; Jimmy Xiangji Huang (eCOM@SIGIR, 2018)

On Computational Complexity of Pickup-and-Delivery Problems with Precedence Constraints or Time Windows. - Xing Tan 002; Jimmy Xiangji Huang (IJCAI, 2019)

Text Filtering through Multi-Pattern Matching: A Case Study of Wu-Manber-Uy on the Language of Uyghur. - Turdi Tohti; Jimmy X. Huang; Askar Hamdulla; Xing Tan 002 (Inf., 2019)

A Complexity-theoretic Analysis of Green Pickup-and-Delivery Problems. - Xing Tan 002; Jimmy Xiangji Huang (AAAI, 2021)

Complexity Analysis of Green Pickup-and-Delivery Problems on Ring Structures. - Xing Tan 002; Jimmy X. Huang; Kai Huang (Canadian AI, 2022)

MediBox: An Integrated Web Service System for Personalized Medical Assistance. - Pawan D. Mehta; Viren A. Shah; Nidhi M. Gandhi; Xing Tan 002 (WI/IAT, 2022)

Gesture Recognition Using MediaPipe for Online Realtime Gameplay. - Urvil Patel; Sourabh Rupani; Vipin Saini; Xing Tan 002 (WI/IAT, 2022)

Detecting Adverse Drug Reactions from User-Generated Twitter Data: A Case Study. - Mihir Shah; Maitry Patel; Priyank Patel; Xing Tan 002 (WI/IAT, 2022)

Task Offloading in Mobile Edge Computing: Intractability and Proposed Approaches. - Xing Tan 002; Mahzabeen Emu; Salimur Choudhury (WI/IAT, 2022)

SMAT: String Matching in Action Theory. - Xing Tan 002; Jingwei Huang 002; Yilan Gu (WI/IAT, 2022)

Intractability of Optimal Multi-Agent Pathfinding on Directed Graphs. - Xing Tan 002; Pascal Bercher (ECAI, 2023)

Developing A Chatbot: A Hybrid Approach Using Deep Learning and RAG. - Vrajkumar Patel; Parth Tejani; Jay Parekh; Kai Huang; Xing Tan 002 (WI/IAT, 2024)

Inapproximability of Optimal Multi-Agent Pathfinding Problems. - Xing Tan 002; Alban Grastien (AAAI, 2025)

SAT for Upward Book Embedding: An Empirical Study. - Rustem Kakimov; Xing Tan 002 (Canadian AI, 2025)