| |
| 2008 | ||
|---|---|---|
| 4 | EE | Francien Dechesne, Simona Orzan, Yanjing Wang: Refinement of Kripke Models for Dynamics. ICTAC 2008: 111-125 |
| 3 | EE | Taolue Chen, Jaco van de Pol, Yanjing Wang: PDL over Accelerated Labeled Transition Systems. TASE 2008: 193-200 |
| 2 | EE | Jan van Eijck, Yanjing Wang: Propositional Dynamic Logic as a Logic of Belief Revision. WoLLIC 2008: 136-148 |
| 2007 | ||
| 1 | EE | 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] |
| 4 | Jan van Eijck | [2] |
| 5 | Simona Orzan | [4] |
| 6 | Jaco van de Pol | [3] |