Francien Dechesne

	2009
5		Yanjing Wang, Francien Dechesne: On expressive power and class invariance CoRR abs/0905.4332: (2009)
4		Xavier Caicedo, Francien Dechesne, Theo M. V. Janssen: Equivalence and quantifier rules for logic with imperfect information. Logic Journal of the IGPL 17(1): 91-129 (2009)
	2008
3		Rob Verhoeven, Francien Dechesne: Verifying Multi-party Authentication Using Rank Functions and PVS. Formal Aspects in Security and Trust 2008: 226-241
2		Francien Dechesne, Simona Orzan, Yanjing Wang: Refinement of Kripke Models for Dynamics. ICTAC 2008: 111-125
	2007
1		Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan: Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. LPAR 2007: 226-241

Coauthor Index

1	Xavier Caicedo	[4]
2	Theo M. V. Janssen	[4]
3	Mohammad Reza Mousavi	[1]
4	Simona Orzan	[1] [2]
5	Rob Verhoeven	[3]
6	Yanjing Wang	[2] [5]

Colors in the list of coauthors