Yanjing Wang

	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

Coauthor Index

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]