Model Checking Sum and Product. - Hans P. van Ditmarsch; Ji Ruan; L. C. Verbrugge (Australian Conference on Artificial Intelligence, 2005)

Model Checking Russian Cards. - Hans P. van Ditmarsch; Wiebe van der Hoek; Ron van der Meyden; Ji Ruan (MoChArt@CONCUR/SPIN, 2005)

Sum and Product in Dynamic Epistemic Logic. - Hans P. van Ditmarsch; Ji Ruan; Rineke Verbrugge (J. Log. Comput., 2008)

Reasoning about Time, Action and Knowledge in Multi-Agent Systems. - Ji Ruan (2008)

Verification of Games in the Game Description Language. - Ji Ruan; Wiebe van der Hoek; Michael J. Wooldridge (J. Log. Comput., 2009)

Agent-Based Careflow for Patient-Centred Palliative Care. - Ji Ruan; Wendy MacCaull; Heather Jewers (eHealth, 2010)

Enhancing Patient-Centered Palliative Care with Collaborative Agents. - Ji Ruan; Wendy MacCaull; Heather Jewers (Web Intelligence/IAT Workshops, 2010)

The Epistemic Logic Behind the Game Description Language. - Ji Ruan; Michael Thielscher (AAAI, 2011)

A Logic for Knowledge Flow in Social Networks. - Ji Ruan; Michael Thielscher (Australasian Conference on Artificial Intelligence, 2011)

Reasoning about Time, Action and Knowledge in Multi-Agent Systems. - Ji Ruan (Künstliche Intell., 2011)

Strategic and Epistemic Reasoning for the Game Description Language GDL-II. - Ji Ruan; Michael Thielscher (ECAI, 2012)

Action emulation. - Jan van Eijck; Ji Ruan; Tomasz Sadzik (Synth., 2012)

Model Checking for Reasoning about Incomplete Information Games. - Xiaowei Huang 001; Ji Ruan; Michael Thielscher (Australasian Conference on Artificial Intelligence, 2013)

Connecting dynamic epistemic and temporal epistemic logics. - Hans van Ditmarsch; Wiebe van der Hoek; Ji Ruan (Log. J. IGPL, 2013)

Logical-Epistemic Foundations of General Game Descriptions. - Ji Ruan; Michael Thielscher (Stud Logica, 2014)

A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures. - Kenneth Johnson; Roopak Sinha; Radu Calinescu; Ji Ruan (EUROMICRO-SEAA, 2015)

Normative Multiagent Systems: The Dynamic Generalization. - Xiaowei Huang 001; Ji Ruan; Qingliang Chen; Kaile Su (IJCAI, 2016)

ATL Strategic Reasoning Meets Correlated Equilibrium. - Xiaowei Huang 001; Ji Ruan (IJCAI, 2017)

Evaluating Random Walk-Based Network Embeddings for Web Service Applications. - Olayinka Adeleye; Jian Yu 002; Ji Ruan; Quan Z. Sheng (ADC, 2020)

Exploring a Learning Architecture for General Game Playing. - Alvaro Gunawan; Ji Ruan; Michael Thielscher; Ajit Narayanan (Australasian Conference on Artificial Intelligence, 2020)

A Graph Neural Network Reasoner for Game Description Language. - Alvaro Gunawan; Ji Ruan; Xiaowei Huang 001 (KR, 2022)

Motif-based Graph Attention Network for Web Service Recommendation. - Yuqi Zhang; Jian Yu 002; Ji Ruan; Nancy Wang; Sam Madanian; Guiling Wang 002 (ACSW, 2023)