- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 9 |      | Ji Ruan, Michael Thielscher: The Epistemic Logic Behind the Game Description Language. AAAI 2011 |
| 8 | | Ji Ruan, Michael Thielscher: A Logic for Knowledge Flow in Social Networks. Australasian Conference on Artificial Intelligence 2011: 511-520 |
| 7 | | Ji Ruan: Reasoning about Time, Action and Knowledge in Multi-Agent Systems. KI 25(1): 75-76 (2011) |
| 2010 | ||
| 6 | | Ji Ruan, Wendy MacCaull, Heather Jewers: Enhancing Patient-Centered Palliative Care with Collaborative Agents. Web Intelligence/IAT Workshops 2010: 356-360 |
| 5 | | Ji Ruan, Wendy MacCaull, Heather Jewers: Agent-Based Careflow for Patient-Centred Palliative Care. eHealth 2010: 285-294 |
| 2009 | ||
| 4 | | Ji Ruan, Wiebe van der Hoek, Michael Wooldridge: Verification of Games in the Game Description Language. J. Log. Comput. 19(6): 1127-1156 (2009) |
| 2008 | ||
| 3 | | Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge: Sum and Product in Dynamic Epistemic Logic. J. Log. Comput. 18(4): 563-588 (2008) |
| 2006 | ||
| 2 | | Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan: Model Checking Russian Cards. Electr. Notes Theor. Comput. Sci. 149(2): 105-123 (2006) |
| 2005 | ||
| 1 | | Hans P. van Ditmarsch, Ji Ruan, L. C. Verbrugge: Model Checking Sum and Product. Australian Conference on Artificial Intelligence 2005: 790-795 |
| 1 | Hans P. van Ditmarsch | [1] [2] [3] |
| 2 | Wiebe van der Hoek | [2] [4] |
| 3 | Heather Jewers (Mary Heather Jewers) | [5] [6] |
| 4 | Wendy MacCaull | [5] [6] |
| 5 | Ron van der Meyden | [2] |
| 6 | Michael Thielscher | [8] [9] |
| 7 | Rineke Verbrugge (L. C. Verbrugge) | [1] [3] |
| 8 | Michael Wooldridge (Michael J. Wooldridge) | [4] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page