编辑配置文件(在新选项卡中打开) 休伯特·科蒙·隆德 合著者距离 作者ID: 休伯特将军 发布日期: 休伯特·科蒙·隆德 已编制索引的文档: 26出版物自2003年以来 1名编辑贡献 合著者: 18位合著者具有24份联合出版物 380位合作作者 全部的 前5名合著者 3 单作者的 7 维罗尼克·科尔蒂尔 7 斯特凡尼德劳恩 5 塞尔吉·布尔苏克 2 文森特·雪瓦尔 2 佛罗伦萨·杰克马尔 2 川本优助 2 尼古拉斯·佩林 2 樱田秀树 2 纪尧姆·斯克里 1 马丁·阿巴迪 1 雷纳尔德·阿弗尔德 1 格尔盖·巴纳 1 布鲁诺·布兰切特 1 Masami Hagiya 1 克洛德·基什内尔 1 赫莱内·基什内尔 1 拉尔夫·特里宁 1 尤根·兹利内斯库 全部的 前5名系列 2 信息与计算 1 计算机程序设计科学 1 ACM计算逻辑事务 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 1 JSIAM信函 领域 24 计算机科学(68至XX) 18 信息与通信理论、电路(94-XX) 6 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 22出版物有被引用153中的次109文件 引用人▼ 年份▼ 有限变元性质:如何去掉一些代数性质。 Zbl 1078.68059号 休伯特·科蒙·隆德;斯特凡尼德劳恩 44 2005 一阶逻辑片段的新可判定性结果以及密码协议的应用。 Zbl 1038.03012号 休伯特·科蒙·隆德;维罗尼克·科尔蒂尔 15 2003 简单的入侵者推断。 Zbl 1201.68049号 休伯特·科蒙·隆德;拉尔夫·特里宁 13 2003 入侵者理论(正在进行的工作)。 Zbl 1126.68390号 休伯特·科蒙·隆德 9 2004 自动化安全分析:约束系统的符号等价。 Zbl 1291.94068号 文森特·雪瓦尔;休伯特·科蒙·隆德;斯特凡尼德劳恩 9 2010 具有内存、可见性和结构约束的树自动机。 Zbl 1195.68054号 休伯特·科蒙·隆德;佛罗伦萨·杰克马尔;尼古拉斯·佩林 8 2007 安全属性:两个代理就足够了。 Zbl 1073.68028号 休伯特·科蒙·隆德;维罗尼克·科尔蒂尔 8 2004 决定加密协议的安全属性。应用于关键周期。 Zbl 1351.94035号 休伯特·科蒙·隆德;维罗尼克·科尔蒂尔;尤根·兹利内斯库 8 2010 安全属性:两个代理就足够了。 Zbl 1032.94508号 休伯特·科蒙·隆德;维罗尼克·科尔蒂尔 6 2003 协议安全的模型和证明:进展报告。 兹比尔1242.68095 马丁·阿巴迪;布鲁诺·布兰切特;休伯特·科蒙·隆德 4 2009 如何证明通信协议的安全性?关于形式模型与计算模型的稳健性的讨论。 Zbl 1230.68141号 休伯特·科蒙·隆德;维罗尼克·科尔蒂尔 4 2011 可推导性约束、等式理论和电子货币。 Zbl 1186.68283号 塞尔吉·布尔苏克;休伯特·科蒙·隆德;斯特凡尼德劳恩 3 2007 具有内存和约束的可视树自动机。 兹比尔1149.68045 休伯特·科蒙·隆德;佛罗伦萨·杰克马尔;尼古拉斯·佩林 3 2008 无条件健全性:计算上完全的符号攻击者。 Zbl 1353.68018号 格尔盖·巴纳;休伯特·科蒙·隆德 3 2012 关联交换演绎约束。 Zbl 1186.68282号 塞尔吉·布尔苏克;休伯特·科蒙·隆德;斯特凡尼德劳恩 3 2007 基于刚性变量的解析,验证具有有限会话数的安全协议。 Zbl 1242.94015号 雷纳尔德·阿弗尔德;休伯特·科蒙·隆德 3 2009 确定约束系统集之间符号等价性的过程。 Zbl 1371.68189号 文森特·雪瓦尔;休伯特·科蒙·隆德;斯特凡尼德劳恩 3 2017 安全协议自动验证的挑战。 Zbl 1165.68403号 休伯特·科蒙·隆德 2 2008 可重复性约束和盲签名。 Zbl 1360.94298号 塞尔吉·布尔苏克;休伯特·科蒙·隆德;斯特凡尼德劳恩 2 2014 可重复性约束。 Zbl 1273.03103号 塞尔吉·布尔苏克;休伯特·科蒙·隆德;斯特凡尼德劳恩 1 2009 重写、计算和证明。在Jean-Pierre Jouannaud 60岁生日之际为他撰写的论文。 Zbl 1120.68003号 1 2007 协议安全性和代数属性:有限会话数的决策结果。 Zbl 1242.94020号 塞尔吉·布尔苏克;休伯特·科蒙·隆德 1 2009 确定约束系统集之间符号等价性的过程。 Zbl 1371.68189号 文森特·雪瓦尔;休伯特·科蒙·隆德;斯特凡尼德劳恩 3 2017 可重复性约束和盲签名。 Zbl 1360.94298号 塞尔吉·布尔苏克;休伯特·科蒙·隆德;德莱恩,斯特凡尼 2 2014 走向无条件稳健性:计算完全的符号攻击者。 Zbl 1353.68018号 格尔盖·巴纳;休伯特·科蒙·隆德 3 2012 如何证明通信协议的安全性?关于形式模型与计算模型的稳健性的讨论。 Zbl 1230.68141号 休伯特·科蒙·隆德;维罗尼克·科尔蒂尔 4 2011 自动化安全分析:约束系统的符号等价。 Zbl 1291.94068号 文森特·雪瓦尔;休伯特·科蒙·隆德;德莱恩,斯特凡尼 9 2010 决定加密协议的安全属性。应用于关键周期。 Zbl 1351.94035号 休伯特·科蒙·隆德;维罗尼克·科尔蒂尔;尤根·兹利内斯库 8 2010 协议安全性的模型和证明:一份进展报告。 兹比尔1242.68095 马丁·阿巴迪;布鲁诺·布兰切特;休伯特·科蒙·隆德 4 2009 基于刚性变量的解析,验证具有有限会话数的安全协议。 Zbl 1242.94015号 雷纳尔德·阿弗尔德;休伯特·科蒙·隆德 3 2009 可重复性约束。 Zbl 1273.03103号 塞尔吉·布尔苏克;休伯特·科蒙·隆德;斯特凡尼德劳恩 1 2009 协议安全性和代数属性:有限会话数的决策结果。 Zbl 1242.94020号 塞尔吉·布尔苏克;休伯特·科蒙·隆德 1 2009 具有内存和约束的可视树自动机。 Zbl 1149.68045号 休伯特·科蒙·隆德;佛罗伦萨·杰克马尔;尼古拉斯·佩林 3 2008 安全协议自动验证的挑战。 Zbl 1165.68403号 休伯特·科蒙·隆德 2 2008 具有内存、可见性和结构约束的树自动机。 Zbl 1195.68054号 休伯特·科蒙·隆德;佛罗伦萨·杰克马尔;尼古拉斯·佩林 8 2007 可推导性约束、等式理论和电子货币。 Zbl 1186.68283号 塞尔吉·布尔苏克;休伯特·科蒙·隆德;斯特凡尼德劳恩 3 2007 关联交换演绎约束。 Zbl 1186.68282号 塞尔吉·布尔苏克;休伯特·科蒙·隆德;斯特凡尼德劳恩 3 2007 重写、计算和证明。在Jean-Pierre Jouannaud 60岁生日之际为他撰写的论文。 Zbl 1120.68003号 1 2007 有限变元性质:如何去掉一些代数性质。 Zbl 1078.68059号 休伯特·科蒙·隆德;斯特凡尼德劳恩 44 2005 入侵者理论(正在进行的工作)。 Zbl 1126.68390号 休伯特·科蒙·隆德 9 2004 安全属性:两个代理就足够了。 Zbl 1073.68028号 休伯特·科蒙·隆德;维罗尼克·科尔蒂尔 8 2004 一阶逻辑片段的新可判定性结果以及密码协议的应用。 Zbl 1038.03012号 休伯特·科蒙·隆德;维罗尼克·科尔蒂尔 15 2003 简单的入侵者推断。 Zbl 1201.68049号 休伯特·科蒙·隆德;拉尔夫·特里宁 13 2003 安全属性:两个代理就足够了。 兹比尔1032.94508 休伯特·科蒙·隆德;维罗尼克·科尔蒂尔 6 2003 所有引用出版物 前5名被引用出版物 全部的 前5名135位作者引用 19 圣地亚哥埃斯科瓦尔 17 斯特凡尼德劳恩 14 何塞·梅塞盖尔·瓜伊塔 9 维罗尼克·科尔蒂尔 7 玛丽亚·阿尔普特 6 休伯特·科蒙·隆德 6 弗朗西斯科·杜兰 6 米歇尔·鲁西诺维奇 6 朱莉娅·萨皮娜 5 亚尼克·骑士 5 史蒂夫·克莱默 4 文森特·雪瓦尔 4 史蒂文·艾克 4 帕斯卡·拉福卡德 4 马丁·奥列特,纳西索 4 凯瑟琳·梅多斯。 4 拉尔夫·萨西 4 卡罗琳·塔尔科特。 3 黛米斯·巴利斯 3 David A.Basin。 3 塞尔达尔·埃尔巴图尔 3 罗斯·霍恩 3 何塞·伊波拉 3 佛罗伦萨·杰克马尔 3 安德鲁·马歇尔。 3 克里斯托夫·林盖森 3 拉尔夫·特里宁 2 迈托·阿拉皮尼斯 2 马蒂尔德·阿尔诺 2 蒂格兰·阿瓦内索夫 2 毛里西奥·阿亚拉·林科恩 2 布鲁诺·布兰切特 2 玛丽亚·保拉(Maria Paola Bonacina) 2 塞尔吉·布尔苏克 2 克雷默斯,Cas J.F。 2 卢卡·赫斯基 2 弗朗西斯·克莱 2 拉尔夫·库斯特斯 2 马库斯·洛伊 2 洛佩斯·鲁埃达,劳尔 2 丹尼斯·卢吉兹 2 塞巴斯蒂安·马内思 2 绍克·莫 2 塞巴斯蒂安·亚历山大·莫德谢姆 2 鲁宾·鲁比奥 2 曼弗雷德·施密特·沙乌 2 斯蒂芬·斯基里克 2 维什纳维桑达拉扬 2 阿文·费南托(Alwen Fernanto Tiu) 2 马修·图鲁阿尼 2 卡米尔·瓦彻 2 库马尔·内拉吉(Kumar Neeraj Verma) 2 沃林斯基,博格丹 2 塞门·尤尔科夫 1 马丁·阿巴迪 1 雷纳尔德·阿弗尔德 1 阿南塔拉曼,湿婆 1 阿帕里西奥·桑切斯,达米安 1 库沙尔·巴别尔 1 迈克尔·巴克斯 1 大卫·巴尔德 1 米歇尔·博雷尔 1 阿黛尔·布胡拉 1 莉安娜·博兹加 1 巴斯米,玛丽亚·格拉齐亚 1 卡洛斯·卡莱罗 1 罗希特·查达 1 维托尔德·查拉托尼克 1 阿加塔·卓洛斯卡 1 雷米·克雷蒂安 1 瑟·特凡·乔巴赫 1 曼纽尔·克莱维尔 1 马可·科米尼 1 安吉尔·昆卡-奥尔特加 1 亚历山大·戴班特 1 杰雷米·德莱特 1 纳鸿·德肖维茨 1 詹妮克·德雷尔 1 玛丽·杜弗洛特 1 查尔斯·杜梅尼 1 克里斯蒂安·埃内 1 莫雷诺,法拉斯基 1 伊利耶斯·法尔科内 1 玛丽贝尔·费尔南德斯 1 弗朗索瓦斯·吉尔 1 让·古鲍特·拉雷克 1 彼得·哈贝梅尔 1 海姆,皮尔雷·科里尔 1 文森特·雨果特 1 拉杜·奥西夫 1 巴特·雅各布斯 1 阿里·卡西姆 1 米歇尔·凯勒 1 奥尔加·库什纳伦科 1 亚辛·拉赫内奇 1 约瑟夫·拉勒曼德 1 李迪龙 1 林,海 1 帕特里克·D·林肯。 1 刘、贾 …还有35位作者 全部的 前5名引用于18个系列 10 程序设计中的逻辑和代数方法杂志 9 理论计算机科学 9 信息与计算 6 自动推理杂志 3 符号计算杂志 3 逻辑与代数程序设计杂志 2 信息处理信件 2 系统设计中的形式化方法 2 ACM计算逻辑事务 1 信息学报 1 计算机与系统科学杂志 1 哲学逻辑杂志 1 MSCS公司。计算机科学中的数学结构 1 国际计算机数学杂志 1 工程、通信和计算中的应用代数 1 非线性动力学 1 RAIRO公司。理论信息学及其应用 1 形式化推理杂志 全部的 前5名在7个字段中引用 101 计算机科学(68至XX) 50 信息与通信理论、电路(94-XX) 14 数学逻辑和基础(03-XX) 3 范畴理论;同调代数(18-XX) 1 历史和传记(01-XX) 1 一般代数系统(08-XX) 1 动力系统和遍历理论(37至XX) 按年份列出的引文