 | 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) |
Data released under the ODC-BY 1.0 license — See also our legal information page