| 2009 | ||
|---|---|---|
| 6 | Yanjing Wang, Lakshmanan Kuppusamy, Jan van Eijck: Verifying epistemic protocols under common knowledge. TARK 2009: 257-266 | |
| 5 | Yanjing Wang, Francien Dechesne: On expressive power and class invariance CoRR abs/0905.4332: (2009) | |
| 2008 | ||
| 4 | Francien Dechesne, Simona Orzan, Yanjing Wang: Refinement of Kripke Models for Dynamics. ICTAC 2008: 111-125 | |
| 3 | Taolue Chen, Jaco van de Pol, Yanjing Wang: PDL over Accelerated Labeled Transition Systems. TASE 2008: 193-200 | |
| 2 | Jan van Eijck, Yanjing Wang: Propositional Dynamic Logic as a Logic of Belief Revision. WoLLIC 2008: 136-148 | |
| 2007 | ||
| 1 | Muhammad Torabi Dashti, Yanjing Wang: Risk Balance in Exchange Protocols. ASIAN 2007: 70-77 | |
| 1 | Taolue Chen | [3] |
| 2 | Muhammad Torabi Dashti | [1] |
| 3 | Francien Dechesne | [4] [5] |
| 4 | Jan van Eijck | [2] [6] |
| 5 | Lakshmanan Kuppusamy | [6] |
| 6 | Simona Orzan | [4] |
| 7 | Jaco van de Pol | [3] |