| Model checking russian cards HP van Ditmarsch, W Van Der Hoek, R Van Der Meyden, J Ruan Electronic Notes in Theoretical Computer Science 149 (2), 105-123, 2006 | 69 | 2006 |
| Action Emulation J van Eijck, J Ruan, T Sadzik Synthese 185 (1 (2012)), 131-151, 2012 | 56* | 2012 |
| Sum and product in dynamic epistemic logic HP van Ditmarsch, J Ruan, R Verbrugge Journal of Logic and Computation 18 (4), 563-588, 2008 | 42 | 2008 |
| A Logic for Knowledge Flow in Social Networks J Ruan, M Thielscher The 24th Australasian Joint Conference in Artificial Intelligence (AI 2011 …, 2011 | 38 | 2011 |
| Verification of games in the game description language J Ruan, W Van Der Hoek, M Wooldridge Journal of Logic and Computation 19 (6), 1127-1156, 2009 | 37 | 2009 |
| Model checking sum and product HP Ditmarsch, J Ruan, LC Verbrugge AI 2005: Advances in Artificial Intelligence: 18th Australian Joint …, 2005 | 34* | 2005 |
| Model checking sum and product H Van Ditmarsch, J Ruan, L Verbrugge AI 2005: Advances in Artificial Intelligence, 790-795, 2005 | 30 | 2005 |
| Connecting dynamic epistemic and temporal epistemic logics H Van Ditmarsch, W van Der Hoek, J Ruan Logic Journal of the IGPL 21 (3), 380-403, 2013 | 25 | 2013 |
| Exploring the update universe J Ruan | 23 | 2005 |
| Normative Multiagent Systems: A Dynamic Generalization X Huang, J Ruan, Q Chen, K Su The 25th International Joint Conference on Artificial Intelligence (IJCAI-16 …, 2016 | 15 | 2016 |
| Strategic and Epistemic Reasoning for the Game Description Language GDL-II J Ruan, M Thielscher The 20th European Conference on Artificial Intelligence (ECAI 2012), 696-701, 2012 | 15 | 2012 |
| The Epistemic Logic Behind the Game Description Language J Ruan, M Thielscher The 25th AAAI Conference on Artificial Intelligence (AAAI-11), 840-845, 2011 | 14 | 2011 |
| Enhancing patient-centered palliative care with collaborative agents J Ruan, W MacCaull, H Jewers 2010 IEEE/WIC/ACM International Conference on Web Intelligence and …, 2010 | 14 | 2010 |
| A multi-agent framework for dependable adaptation of evolving system architectures K Johnson, R Sinha, R Calinescu, J Ruan 41st Euromicro Conference on Software Engineering and Advanced Applications …, 2015 | 10 | 2015 |
| Reasoning about time, action and knowledge in multi-agent systems J Ruan Dept of Computer Science University of Liverpool, 2009 | 10 | 2009 |
| Model checking dynamic epistemics in branching time H van Ditmarsch, J Ruan, W van der Hoek Formal Approaches to Multi-agent Systems 2007 (FAMAS 2007), 2007 | 10 | 2007 |
| Strategy logics and the game description language W van der Hoek, J Ruan, M Wooldridge Proc. of the Workshop on Logic, Rationality and Interaction, 2007 | 9 | 2007 |
| Model checking for reasoning about incomplete information games X Huang, J Ruan, M Thielscher The 26th Australasian Joint Conference on Artificial Intelligence, 246-258, 2013 | 8 | 2013 |
| Evaluating random walk-based network embeddings for web service applications O Adeleye, J Yu, J Ruan, QZ Sheng Databases Theory and Applications: 31st Australasian Database Conference …, 2020 | 7 | 2020 |
| Data-aware monitoring for healthcare workflows using formal methods J Ruan, W MacCaull Proceedings of the Second Workshop Knowledge Representation for Health Care …, 2010 | 6 | 2010 |
Hans van DitmarschCNRSVerified email at irit.fr
