Concepedia

Ji Ruan

JR

Statistics

Publications

8

Citations

185

H-Index

8

Active since

2004

Affiliations

UNSW Sydney(Current)

University of Liverpool

University of Amsterdam

University of Otago

Ji Ruan is an author at UNSW Sydney specializing in epistemic logic, computing, and epistemic model theory.

ORCID

Publications per year

2004–2012

8

Publications

8

Model Checking Russian Cards

Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden et al. · Electronic Notes in Theoretical Computer Science · 2006 · 51 citations · Full text

, , +6

Sum and Product in Dynamic Epistemic Logic

Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge · Journal of Logic and Computation · 2007 · 29 citations

, , +15

Action emulation

Jan van Eijck, Ji Ruan, Tomasz Sadzik · Synthese · 2012 · 25 citations · Full text

Verification of Games in the Game Description Language

Ji Ruan, Wiebe van der Hoek, Michael Wooldridge · Journal of Logic and Computation · 2009 · 23 citations

, , +5

Connecting dynamic epistemic and temporal epistemic logics

Hans van Ditmarsch, Wiebe van der Hoek, Ji Ruan · Logic Journal of IGPL · 2011 · 20 citations

, , +12

1–5 of 8