Francien Dechesne

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4599514	2018-01-03	Paper
Interpreted Systems Semantics for Process Algebra with Identity Annotations	2013-04-12	Paper
N. G. de Bruijn (1918--2012) and his road to Automath, the earliest proof checker	2013-02-15	Paper
To know or not to know: Epistemic approaches to security protocol verification	2011-02-25	Paper
Equivalence and quantifier rules for logic with imperfect information	2009-03-11	Paper
Refinement of Kripke Models for Dynamics	2009-01-27	Paper
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap	2008-05-15	Paper
https://portal.mardi4nfdi.de/entity/Q5755192	2007-08-20	Paper
Thompson transformations for IF-logic	2006-08-18	Paper

This page was built for person: Francien Dechesne