编辑配置文件（在新选项卡中打开） 卢卡·赫斯基 合著者距离 作者ID: 赫希·卢卡 发布日期： 卢卡·赫斯基 已编制索引的文档： 6出版物自2015年起 合著者： 6位合著者具有6联合出版物 194位联合作者 全部的 前5名合著者 0 单作者的 4 大卫·巴尔德 4 斯特凡尼德劳恩 1 David A.Basin。 1 阿米娜·杜马内 1 拉尔夫·萨西 1 亚历克西斯·索林 系列 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 领域 6 计算机科学（68至XX） 5 信息与通信理论、电路（94-XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用13中的次9文件 引用人▼ 年份▼ 密码协议中建立基于等价性属性的符号方法综述。 Zbl 1359.68023号 斯特凡尼德劳恩;卢卡·赫斯基 4 2017 通过线性时间演算中的证明搜索走向完备性：Büchi包含的情况。 Zbl 1401.68193号 阿米娜·杜马内;大卫·巴尔德;卢卡·赫斯基;亚历克西斯·索林 三 2016 安全协议的部分降阶。 Zbl 1374.68318号 大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 三 2015 安全协议等价物的POR。超越行动决定。 Zbl 1496.68055号 大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 2 2018 用于确定跟踪等价性的简化语义。 Zbl 1448.68326号 大卫·巴尔德;斯特凡尼德劳恩;卢卡赫希 1 2017 安全协议等价物的POR。超越行动决定。 Zbl 1496.68055号 大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 2 2018 密码协议中建立基于等价性属性的符号方法综述。 Zbl 1359.68023号 斯特凡尼德劳恩;卢卡·赫斯基 4 2017 用于决定跟踪等价性的简化语义。 Zbl 1448.68326号 大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 1 2017 通过线性时间\（\mu\）演算中的证明搜索实现完备性：Büchi包含的情况。 Zbl 1401.68193号 阿米娜·杜马内;大卫·巴尔德;卢卡·赫斯基;亚历克西斯·索林 三 2016 安全协议的部分降阶。 Zbl 1374.68318号 大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 三 2015 所有引用出版物 前5名被引用出版物 全部的 前5名12位作者引用 5 斯特凡尼德劳恩 2 卢卡·赫斯基 1 大卫·巴尔德 1 科恩、利隆 1 维罗尼克·科尔蒂尔 1 达斯，阿努帕姆 1 约瑟夫·拉勒曼德 1 塞巴斯蒂安·亚历山大·莫德谢姆 1 雷米·诺列特 1 亚历克西斯·索林 1 维什纳维桑达拉扬 1 克里斯汀·塔森 3篇连载文章中引用 1 自动推理杂志 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 8 计算机科学（68至XX） 5 信息与通信理论、电路（94-XX） 三 数学逻辑和基础（03-XX） 按年份列出的引文