| |
| 2008 | ||
|---|---|---|
| 3 | EE | 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 | EE | 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 | EE | 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] |
| 3 | Ron van der Meyden | [2] |
| 4 | Rineke Verbrugge (L. C. Verbrugge) | [1] [3] |