Francien Dechesne

	2012
10		Francien Dechesne, Hiromitsu Hattori, Adriaan ter Mors, Jose M. Such, Danny Weyns, Frank Dignum: Advanced Agent Technology - AAMAS 2011 Workshops, AMPLE, AOSE, ARMS, DOCM3AS, ITMAS, Taipei, Taiwan, May 2-6, 2011. Revised Selected Papers Springer 2012
	2011
9		Francien Dechesne, Virginia Dignum: No smoking here: compliance differences between legal and social norms. AAMAS 2011: 1205-1206
8		Francien Dechesne, Virginia Dignum, Yao-Hua Tan: Understanding Compliance Differences between Legal and Social Norms: The Case of Smoking Ban. AAMAS Workshops 2011: 50-64
	2010
7		Francien Dechesne, Yanjing Wang: To know or not to know: epistemic approaches to security protocol verification. Synthese 177(Supplement-1): 51-76 (2010)
	2009
6		Yanjing Wang, Francien Dechesne: On expressive power and class invariance CoRR abs/0905.4332: (2009)
5		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
4		Rob Verhoeven, Francien Dechesne: Verifying Multi-party Authentication Using Rank Functions and PVS. Formal Aspects in Security and Trust 2008: 226-241
3		Francien Dechesne, Simona Orzan, Yanjing Wang: Refinement of Kripke Models for Dynamics. ICTAC 2008: 111-125
	2007
2		Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan: Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. LPAR 2007: 226-241
	2006
1		Francien Dechesne: Thompson Transformations for If-Logic. Synthese 149(2): 285-309 (2006)

Coauthor Index

1	Xavier Caicedo	[5]
2	Frank Dignum (F. P. M. Dignum)	[10]
3	Virginia Dignum	[8] [9]
4	Hiromitsu Hattori	[10]
5	Theo M. V. Janssen	[5]
6	Adriaan ter Mors	[10]
7	Mohammad Reza Mousavi	[2]
8	Simona Orzan	[2] [3]
9	Jose M. Such	[10]
10	Yao-Hua Tan	[8]
11	Rob Verhoeven	[4]
12	Yanjing Wang	[3] [6] [7]
13	Danny Weyns	[10]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page