编辑配置文件（在新选项卡中打开） 雷米·克雷蒂安 合著者距离 作者ID： 克莱蒂安·雷米 发布日期： 雷米·克雷蒂安 已编制索引的文档： 6出版物自2013年以来 合著者： 3位合著者具有6联合出版物 56位合作作者 合著者 0 单作者的 6 斯特凡尼德劳恩 5 维罗尼克·科尔蒂尔 1 安托万·达隆 系列 2 ACM计算逻辑事务 领域 6 计算机科学（68至XX） 4 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用14中的次6文件 引用人▼ 年份▼ 在安全协议中免费键入消息：等价属性的情况。 Zbl 1417.68124号 雷米·克雷蒂安；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 6 2014 从安全协议到下推自动机。 兹伯利1367.68186 雷米·克雷蒂安；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 三 2015 从安全协议到下推自动机。 Zbl 1335.94040号 雷米·克雷蒂安；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 2 2013 在安全协议中免费键入消息。 Zbl 1433.68211号 雷米·克雷蒂安；维罗尼克·科尔蒂尔；安托万·达隆；斯特凡尼德劳恩 2 2020 检查跟踪等价性：如何消除nonce？ Zbl 1499.68048号 雷米·克雷蒂安；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 1 2015 在安全协议中免费键入消息。 Zbl 1433.68211号 雷米·克雷蒂安；维罗尼克·科尔蒂尔；安托万·达隆；斯特凡尼德劳恩 2 2020 从安全协议到下推自动机。 兹伯利1367.68186 雷米·克雷蒂安；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 三 2015 检查跟踪等价性：如何消除nonce？ Zbl 1499.68048号 雷米·克雷蒂安；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 1 2015 在安全协议中免费键入消息：等价属性的情况。 Zbl 1417.68124号 雷米·克雷蒂安；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 6 2014 从安全协议到下推自动机。 Zbl 1335.94040号 雷米·克雷蒂安；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 2 2013 所有引用的出版物 前5名被引用出版物 全部的 前5名8位作者引用 4 斯特凡尼德劳恩 2 维罗尼克·科尔蒂尔 1 安托万·达隆 1 伊曼纽尔·D’Osualdo 1 Fröschle，Sibylle B。 1 卢卡赫希 1 费利克斯·斯图兹 1 维什纳维桑达拉扬 2篇连载文章中引用 1 自动推理杂志 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 6 计算机科学（68至XX） 三 信息与通信理论、电路（94-XX） 按年份列出的引文