编辑配置文件（在新选项卡中打开） 罗斯·霍恩 合著者距离 作者ID： 霍恩·罗斯 发布日期： 罗斯·霍恩 已编制索引的文档： 23出版物自2012年起 1作为编辑的贡献 合著者： 16位合著者具有21联合出版物 408合著者 全部的 前5名合著者 三 单作者的 8 阿文·费尔南托 6 加布里埃尔·乔巴努 4 绍克·莫 4 弗拉迪米罗·萨松 三 安基永 三 阿曼，博格丹 2 马特奥·阿克拉维奥 2 马里亚纽拉州Dezani-Ciancaglini 2 卢茨斯特拉汉堡 2 塞门·尤尔科夫 1 安德烈·亚历山德鲁 1 克莱门·奥伯特 1 伊利亚州卡斯特拉尼 1 保拉·吉安尼尼 1 克里斯蒂安·约翰森 1 林尚伟 全部的 前5名系列 4 理论计算机科学 三 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 MSCS公司。计算机科学中的数学结构 1 计算机基础理论 1 ACM计算逻辑事务 1 计算机科学科学年鉴 领域 24 计算机科学（68至XX） 12 数理逻辑与基础（03-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 20出版物有被引用91次36文件 引用人▼ 年份▼ 使用直觉模态逻辑表征开放双相似性。 兹比尔1442.68121 安基永;罗斯·霍恩;Tiu，Alwen先生 9 2017 SPEC：安全协议的等价检查程序。 Zbl 1483.68050号 Tiu，Alwen先生;南阮;罗斯·霍恩 7 2016 具有内部委派的全局类型。 Zbl 1436.68208号 伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼;罗斯·霍恩 7 2020 乘法加法系统的一致性和复杂性。 Zbl 1424.03057号 罗斯·霍恩 6 2015 使用结构微积分对会话进行行为分析。 Zbl 1461.68129号 加布里埃尔·乔巴努;罗斯·霍恩 6 2016 图的分析命题证明系统。 兹伯利07639905 马特奥·阿克拉维奥;罗斯·霍恩;卢茨斯特拉汉堡 6 2022 具有失配的拟开双相似性是直观的。 Zbl 1497.68342号 罗斯·霍恩;安基永;林尚伟;Tiu，Alwen先生 6 2018 基于线性逻辑专门化攻击树的语义。 Zbl 1382.68140号 罗斯·霍恩;绍克·莫;Tiu，Alwen先生 5 2017 根据具有私有名称的进程的线性含义构建弱模拟。 Zbl 1447.68008号 罗斯·霍恩;Tiu，Alwen先生 4 2019 追踪链接数据的来源：演算。 Zbl 1253.68043号 马里亚纽拉州Dezani-Ciancaglini;罗斯·霍恩;弗拉迪米罗·萨松 4 2012 De Morgan对偶名词量词在非交换逻辑中建模私有名称。 Zbl 1459.03090号 罗斯·霍恩;Tiu，Alwen先生;阿曼，博格丹;加布里埃尔·乔巴努 4 2019 链接数据资源的描述性类型。 Zbl 1434.68080号 加布里埃尔·乔巴努;罗斯·霍恩;弗拉迪米罗·萨松 4 2015 使用循环序列的会话子类型和多方兼容性。 Zbl 07559468号 罗斯·霍恩 4 2020 使用双相似性发现ePassport漏洞。 Zbl 07379295号 罗斯·霍恩;绍克·莫 4 2021 超越公式的逻辑：图形的证明系统。 Zbl 1498.03156号 马特奥·阿克拉维奥;罗斯·霍恩;卢茨斯特拉汉堡 4 2020 子加法：扩展线性逻辑的概率选择证明理论。 Zbl 1528.68254号 罗斯·霍恩 三 2019 非交换逻辑中的私有名称。 Zbl 1392.68303号 罗斯·霍恩;Tiu，Alwen先生;阿曼，博格丹;加布里埃尔·乔巴努 2 2016 使用拟开双相似性对应用（pi）演算中的协议等价性进行组合分析。 Zbl 07500647号 罗斯·霍恩;绍克·莫;塞门·尤尔科夫 2 2021 链接数据使用者的最小类型推断。 Zbl 1329.68085号 加布里埃尔·乔巴努;罗斯·霍恩;弗拉迪米罗·萨松 2 2015 一种使用直觉模态逻辑对开放二相似性的刻画。 Zbl 07407774号 安基永;罗斯·霍恩;Tiu，Alwen先生 2 2021 图的分析命题证明系统。 Zbl 07639905号 马特奥·阿克拉维奥;罗斯·霍恩;卢茨斯特拉汉堡 6 2022 使用双相似性发现ePassport漏洞。 Zbl 07379295号 罗斯·霍恩;绍克·莫 4 2021 使用拟开双相似性对应用（pi）演算中的协议等价性进行组合分析。 Zbl 07500647号 罗斯·霍恩;绍克·莫;尤尔科夫，塞门 2 2021 使用直觉模态逻辑表征开放双相似性。 Zbl 07407774号 安基永;罗斯·霍恩;Tiu，Alwen先生 2 2021 具有内部委派的全局类型。 Zbl 1436.68208号 伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼;罗斯·霍恩 7 2020 使用循环序列的会话子类型和多方兼容性。 Zbl 07559468号 罗斯·霍恩 4 2020 超越公式的逻辑：图形的证明系统。 Zbl 1498.03156号 马特奥·阿克拉维奥;罗斯·霍恩;卢茨斯特拉汉堡 4 2020 根据具有私有名称的进程的线性含义构建弱模拟。 Zbl 1447.68008号 罗斯·霍恩;Tiu，Alwen先生 4 2019 De Morgan对偶名词量词在非交换逻辑中建模私有名称。 Zbl 1459.03090号 罗斯·霍恩;Tiu，Alwen先生;阿曼，博格丹;加布里埃尔·乔巴努 4 2019 子加法：扩展线性逻辑的概率选择证明理论。 Zbl 1528.68254号 罗斯·霍恩 三 2019 具有失配的拟开双相似性是直观的。 Zbl 1497.68342号 罗斯·霍恩;安基永;林尚伟;Tiu，Alwen先生 6 2018 使用直觉模态逻辑表征开放双相似性。 兹比尔1442.68121 安基永;罗斯·霍恩;Tiu，Alwen先生 9 2017 基于线性逻辑专门化攻击树的语义。 Zbl 1382.68140号 罗斯·霍恩;绍克·莫;Tiu，Alwen先生 5 2017 SPEC：安全协议的等价检查程序。 Zbl 1483.68050号 Tiu，Alwen先生;南阮;罗斯·霍恩 7 2016 使用结构演算对会话进行行为分析。 Zbl 1461.68129号 加布里埃尔·乔巴努;罗斯·霍恩 6 2016 非交换逻辑中的私有名称。 Zbl 1392.68303号 罗斯·霍恩;Tiu，Alwen先生;阿曼，博格丹;加布里埃尔·乔巴努 2 2016 乘法加法系统的一致性和复杂性。 Zbl 1424.03057号 罗斯·霍恩 6 2015 链接数据资源的描述性类型。 Zbl 1434.68080号 加布里埃尔·乔巴努;罗斯·霍恩;弗拉迪米罗·萨松 4 2015 链接数据使用者的最小类型推断。 Zbl 1329.68085号 加布里埃尔·乔巴努;罗斯·霍恩;弗拉迪米罗·萨松 2 2015 追踪链接数据中的出处和出处：微积分。 Zbl 1253.68043号 马里亚纽拉州Dezani-Ciancaglini;罗斯·霍恩;弗拉迪米罗·萨松 4 2012 所有引用出版物 排名前五的出版物 全部的 前5名62位作者引用 12 罗斯·霍恩 三 绍克·莫 三 卢茨斯特拉汉堡 三 阿文·费尔南托 2 马特奥·阿克拉维奥 2 安基永 2 克莱门·奥伯特 2 加布里埃尔·乔巴努 2 奥尔内拉·达达 2 西尔维娅·吉勒赞 2 温·科克 2 法布里西奥·蒙泰西 2 乌韦·内斯特曼 2 约万卡·潘托维奇 2 柯斯汀·彼得斯 2 索菲·平奇纳特 2 弗拉迪米罗·萨松 2 克里斯托夫·瓦格纳。 2 吉田信子 2 塞门·尤尔科夫 1 梅丽莎·安东内利 1 奥迪诺特，马克西姆 1 佛朗哥·巴巴内拉 1 奥斯伯特·巴斯塔尼 1 约翰·博格斯特罗姆 1 托马斯·布里海耶 1 马尔科·卡博尼 1 戴维·卡塔 1 乌戈·达尔拉戈 1 达斯，阿努帕姆 1 马里亚纽拉州Dezani-Ciancaglini 1 伊曼纽尔·D’Osualdo 1 埃里克森，拉尔斯·亨里克 1 拉姆纳斯·福斯伯格·古特科瓦斯 1 休伯特Garavel 1 伊娃·格拉弗森 1 安德鲁·赫施（Andrew K.Hirsch）。 1 斯维特拉纳·雅克西奇 1 克里斯蒂安·约翰森 1 芭芭拉·科迪 1 拉尔夫·拉梅尔 1 弗雷德里克·朗 1 马丁·伦伯格 1 阿尔贝托·卢什·拉富恩特 1 斯蒂芬·梅尔 1 戴尔·艾伦·米勒 1 Nguyán、LáThánh Dũng 1 尼尔森，弗莱明 1 约阿希姆·帕罗 1 保罗·皮斯通 1 伊万·普罗基奇 1 赖斯（Alex A.Rice）。 1 汉内·里斯·尼尔森 1 保罗·D·罗。 1 阿尔切斯特·斯卡拉斯 1 卡斯滕·舒尔曼 1 斯特芬·斯塔布 1 费利克斯·斯图兹 1 亚历山大·特雷芬科 1 丹尼尔·瓦拉卡 1 Tjark韦伯 1 史蒂夫·兹丹切维奇 全部的 前5名8篇连载文章中引用 8 计算机科学中的逻辑方法 三 程序设计中的逻辑和代数方法杂志 2 理论计算机科学 2 MSCS公司。计算机科学中的数学结构 1 信息学报 1 自动推理杂志 1 函数编程杂志 1 ACM计算逻辑事务 在4个字段中引用 36 计算机科学（68至XX） 15 数理逻辑与基础（03-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文