编辑配置文件（在新选项卡中打开） 弗朗西斯·克莱 合著者距离 作者ID： 克莱·弗朗西斯 发布日期： 弗朗西斯·克莱 外部链接： 管理程序 已编制索引的文档： 11出版物自1991年起 合著者： 13合著者具有10联合出版物 258联合作者 全部的 前5名合著者 1 单作者的 2 佛罗伦萨·杰克马尔 2 Jean-François莫宁 2 米歇尔·鲁西诺维奇 2 斯特拉图拉特，索林 2 卡米尔·瓦彻 1 贝拉德，贝特里奇 1 卡里姆·贝尔卡尼 1 埃里克·多曼祖德 1 劳伦·弗里堡 1 托马斯·杰奈特 1 帕斯卡尔·勒加尔 1 克里斯托夫·林盖森 1 劳伦·维格纳龙 系列 1 信息与计算 1 自动推理杂志 1 系统设计中的形式化方法 领域 10 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 2 信息与通信理论、电路（94-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用65中的次58文件 引用人▼ 年份▼ 重写密码协议验证。 Zbl 0963.94016号 托马斯·杰奈特；弗朗西斯·克莱 33 2000 刚性树自动机及其应用。 Zbl 1217.68131号 佛罗伦萨·杰克马尔；弗朗西斯·克莱；卡米尔·瓦彻 10 2011 非不相交方程理论的组合技术。 Zbl 1433.68544号 埃里克·多曼纽德；弗朗西斯·克莱；克里斯托夫·林盖森 7 1994 刚性树自动机。 Zbl 1234.68213号 佛罗伦萨·杰克马尔；弗朗西斯·克莱；卡米尔·瓦彻 4 2009 句法理论的不确定性。 Zbl 1503.03018号 弗朗西斯·克莱 三 1991 理想增量ABR一致性算法的机械验证。 Zbl 1023.68090号 米歇尔·鲁西诺维奇；斯特拉图拉特，索林；弗朗西斯·克莱 三 2003 理想增量ABR一致性算法的机械验证。 Zbl 0974.68559号 米歇尔·鲁西诺维奇；斯特拉图拉特，索林；弗朗西斯·克莱 三 2000 对ABR一致性标准化算法的两种正确性证明的比较研究。 Zbl 1033.68094号 贝拉德，贝特里奇；劳伦·弗里堡；弗朗西斯·克莱；Jean-François莫宁 1 2003 分析主动入侵者的非否认协议的自动方法。 Zbl 1302.68112号 弗朗西斯·克莱；劳伦·维格纳龙 1 2009 刚性树自动机及其应用。 Zbl 1217.68131号 佛罗伦萨·杰克马尔；弗朗西斯·克莱；卡米尔·瓦彻 10 2011 刚性树自动机。 Zbl 1234.68213号 佛罗伦萨·杰克马尔；弗朗西斯·克莱；卡米尔·瓦彻 4 2009 分析主动入侵者的非否认协议的自动方法。 Zbl 1302.68112号 弗朗西斯·克莱；劳伦·维格纳龙 1 2009 理想增量ABR一致性算法的机械验证。 Zbl 1023.68090号 米歇尔·鲁西诺维奇；斯特拉图拉特，索林；弗朗西斯·克莱 三 2003 对ABR一致性标准化算法的两种正确性证明的比较研究。 Zbl 1033.68094号 贝拉德，贝特里奇；劳伦·弗里堡；弗朗西斯·克莱；Jean-François莫宁 1 2003 用于加密协议验证的重写。 Zbl 0963.94016号 托马斯·杰奈特；弗朗西斯·克莱 33 2000 理想增量ABR一致性算法的机械验证。 Zbl 0974.68559号 米歇尔·鲁西诺维奇；斯特拉图拉特，索林；弗朗西斯·克莱 三 2000 非不相交方程理论的组合技术。 Zbl 1433.68544号 埃里克·多曼纽德；弗朗西斯·克莱；克里斯托夫·林盖森 7 1994 句法理论的不可解释的性质。 Zbl 1503.03018号 弗朗西斯·克莱 三 1991 所有引用出版物 前5名被引用出版物 全部的 前5名86位作者引用 7 尤罕·博伊库特 6 海姆，皮尔雷·科里尔 5 奥尔加·库什纳伦科 4 托马斯·杰奈特 4 斯特凡·赫兹尔 4 斯特拉图拉特，索林 三 Franz巴德 三 塞巴斯蒂安·埃伯哈德 三 佛罗伦萨·杰克马尔 三 弗朗西斯·克莱 三 何塞·梅塞盖尔·瓜伊塔 三 皮埃尔·雷蒂 三 米歇尔·鲁西诺维奇 三 塞萨尔·蒂内利 三 瓦格伏尔盖，桑多尔 2 罗梅奥·库比斯 2 纪尧姆·费伊德 2 让·古鲍特·拉雷克 2 米基·赫尔曼 2 Phokion G.科莱蒂斯。 2 塞巴斯蒂安·亚历山大·莫德谢姆 2 克里斯托夫·林盖森 2 普拉桑纳·塔蒂 2 卡米尔·瓦彻 2 库马尔·内拉吉（Kumar Neeraj Verma） 1 阿南塔拉曼，湿婆 1 亚历山德罗·阿曼多 1 艾米莉·巴拉德 1 阿勒姆·贝尔阿巴奇 1 亚历山大·布代特 1 帕特里夏·鲍耶 1 马可·波扎诺 1 雅克·查宾 1 维托尔德·查拉托尼克 1 哈达·切尔隆 1 阿加塔·卓洛斯卡 1 洛克·杰拉德·克利奥帕斯 1 伊芙琳·孔特让 1 克雷默斯，Cas J.F。 1 卡莱斯·克鲁斯 1 埃里克·P·德文克。 1 乔治·德尔扎诺 1 文森特·德曼吉 1 凯瑟琳·杜福尔德 1 约尔格恩德鲁利斯 1 塞尔达，埃尔巴图尔 1 圣地亚哥埃斯科瓦尔 1 伊曼纽尔·弗勒里 1 阿德里亚·加斯科恩 1 阿尔芬斯·盖瑟 1 简·赫尔曼·杰弗斯 1 西尔维奥·吉拉尔迪 1 卡尔·格梅纳 1 吉勒姆·戈多伊 1 约书亚·D·古特曼。 1 迪特尔·霍夫鲍尔 1 文森特·雨果特 1 拉尔夫·库斯特斯 1 帕特里克·兰德威尔 1 亚历山大·莱奇 1 克里斯托夫·Löding 1 安德鲁·马歇尔。 1 绍克·莫 1 凯瑟琳·梅多斯。 1 皮埃尔·埃蒂安·莫罗 1 巴利亚特·纳伦德兰 1 直纪西田 1 费雯·佩利蒂埃 1 安托万·C·佩蒂特。 1 吉赛尔·雷斯 1 罗杰，穆里尔 1 弗拉德·鲁苏 1 克劳斯·舒尔茨。 1 雅各布·格鲁·西蒙森 1 苏雷什，S.P。 1 苏菲·蒂森 1 瓦莱里越战通 1 卢卡·维甘诺 1 劳伦·维格纳龙 1 朱莉·武奥托 1 约翰内斯·沃尔德曼 1 丹尼尔·韦勒（Daniel S.Weller）。 1 托马斯·威尔克 1 马吉市柳泽 1 汉斯·赞特马 1 杰卢尔·齐亚迪 全部的 前5名13篇连载文章中引用 8 信息与计算 7 理论计算机科学 5 符号计算杂志 4 信息处理信件 三 自动推理杂志 2 逻辑与代数程序设计杂志 1 计算机与系统科学杂志 1 凯贝内提卡 1 纯逻辑与应用逻辑年鉴 1 国际计算机数学杂志 1 工程、通信和计算中的应用代数 1 高阶和符号计算 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 52 计算机科学（68至XX） 16 数学逻辑和基础（03-XX） 9 信息与通信理论、电路（94-XX） 按年份列出的引文