编辑配置文件（在新选项卡中打开） 文森特·雪瓦尔 合著者距离 作者ID： 雪瓦尔·文森特 发布日期： 文森特·雪瓦尔 已编制索引的文档： 8出版物自2010年起 合著者： 10位合著者具有8联合出版物 134位合作作者 全部的 前5名合著者 0 单作者的 三 斯特凡尼德劳恩 三 史蒂夫·克莱默 2 休伯特·科蒙·隆德 2 维罗尼克·科尔蒂尔 1 库沙尔·巴别尔 1 布鲁诺·布兰切特 1 罗希特·查达 1 瑟·特凡·乔巴赫 1 埃里克·勒·莫尔万 1 伊萨卡州拉科托尼里娜 系列 1 理论计算机科学 1 信息与计算 1 ACM计算逻辑事务 领域 8 计算机科学（68至XX） 7 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用44中的次29文件 引用人▼ 年份▼ 证明与ProVerif的更多观测等价性。 Zbl 1391.94737号 文森特·雪瓦尔；布鲁诺·布兰切特 11 2013 密码协议等价属性的自动验证。 Zbl 1367.68184号 罗希特·查达；文森特·雪瓦尔；瑟·特凡·乔巴赫；史蒂夫·克莱默 10 2016 自动化安全分析：约束系统的符号等价。 Zbl 1291.94068号 文森特·雪瓦尔；休伯特·科蒙·隆德；斯特凡尼德劳恩 9 2010 使用约束求解确定基于等效的特性。 Zbl 1294.68111号 文森特·雪瓦尔；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 8 2013 确定约束系统集之间符号等价性的过程。 Zbl 1371.68189号 文森特·雪瓦尔；休伯特·科蒙·隆德；斯特凡尼德劳恩 三 2017 《搭便车者指南》介绍了安全协议中等价属性的可判定性和复杂性。 Zbl 07370024号 文森特·雪瓦尔；史蒂夫·克莱默；伊萨卡州拉科托尼里娜 三 2020 《搭便车者指南》介绍了安全协议中等价属性的可判定性和复杂性。 Zbl 07370024号 文森特·雪瓦尔；史蒂夫·克莱默；伊萨卡州拉科托尼里娜 三 2020 确定约束系统集之间符号等价性的过程。 Zbl 1371.68189号 文森特·雪瓦尔；休伯特·科蒙·隆德；斯特凡尼德劳恩 三 2017 密码协议等价属性的自动验证。 Zbl 1367.68184号 罗希特·查达；文森特·雪瓦尔；瑟·特凡·乔巴赫；史蒂夫·克莱默 10 2016 证明与ProVerif的更多观测等价性。 Zbl 1391.94737号 文森特·雪瓦尔；布鲁诺·布兰切特 11 2013 使用约束求解确定基于等效的特性。 Zbl 1294.68111号 文森特·雪瓦尔；维罗尼克·科尔蒂尔；斯特凡尼德劳恩 8 2013 自动化安全分析：约束系统的符号等价。 Zbl 1291.94068号 文森特·雪瓦尔；休伯特·科蒙·隆德；斯特凡尼德劳恩 9 2010 所有引用的出版物 前5名被引用出版物 全部的 前5名59位作者引用 8 斯特凡尼德劳恩 5 文森特·雪瓦尔 三 维罗尼克·科尔蒂尔 三 圣地亚哥埃斯科瓦尔 三 罗斯·霍恩 三 史蒂夫·克莱默 三 绍克·莫 2 休伯特·科蒙·隆德 2 詹妮克·德雷尔 2 卢卡·赫斯基 2 劳尔·洛佩斯·鲁埃达 2 塞门·尤尔科夫 1 迈托·阿拉皮尼斯 1 库沙尔·巴别尔 1 大卫·巴尔德 1 罗希特·查达 1 亚尼克·骑士 1 雷米·克雷蒂安 1 瑟·特凡·乔巴赫 1 安托万·达隆 1 伊曼纽尔·D’Osualdo 1 丹尼尔·多尔蒂（Daniel J.Dougherty）。 1 查尔斯·杜梅尼 1 弗朗西斯科·杜兰 1 史蒂文·艾克 1 克里斯蒂安·埃内 1 塞尔达尔·埃尔巴图尔 1 Mehran S·法拉。 1 冯登国 1 冯志勇 1 乔舒亚·古特曼。 1 胡静 1 帕斯卡·拉福卡德 1 亚辛·拉赫内奇 1 李晓红 1 李晓如 1 李永坚 1 刘佳 1 刘景斌 1 安德鲁·马歇尔。 1 马丁·奥列特，纳西索 1 何塞·梅塞盖尔·瓜伊塔 1 基拉库米纳米 1 塞巴斯蒂安·亚历山大·莫德谢姆 1 庞、军 1 秦、余 1 约翰·D·拉姆斯代尔。 1 克里斯托夫·林盖森 1 艾克·里特 1 鲁宾·鲁比奥 1 米歇尔·鲁西诺维奇 1 莱恩，马克·德莫特 1 朱莉娅·萨皮娜 1 拉尔夫·萨西 1 贝纳姆萨塔扎德 1 费利克斯·斯图兹 1 卡罗琳·塔尔科特。 1 王伟进 1 徐光泉 全部的 前5名9连载 4 程序设计中的逻辑和代数方法杂志 三 理论计算机科学 2 ACM计算逻辑事务 1 信息与计算 1 自动推理杂志 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 应用数学杂志 1 计算机科学中的逻辑方法 在3个字段中引用 27 计算机科学（68至XX） 18 信息与通信理论、电路（94-XX） 2 数理逻辑与基础（03-XX） 按年份列出的引文