编辑配置文件(在新选项卡中打开) 丹尼尔·赫丁 合著者距离 作者ID: 海丁·丹尼尔 发布日期: 丹尼尔·赫丁 已编制索引的文档: 7出版物自2006年起 合著者: 7合著者具有7联合出版物 45位合作作者 全部的 前5名合著者 0 单作者的 6 安德烈·萨贝尔菲尔德 2 阿斯兰·阿斯卡洛夫 2 亚历山大·施滕 1 卢西亚诺·贝洛 1 托拜厄斯·盖德尔 1 弗兰克·皮森斯 1 丹尼尔·斯科佩 系列 1 理论计算机科学 字段 7 计算机科学(68-XX) 2 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 4出版物有被引用7中的次7文件 引用人▼ 年份▼ 加密掩码流。 Zbl 1225.68086号 阿斯兰·阿斯卡洛夫;丹尼尔·赫丁;安德烈·萨贝尔菲尔德 2 2006 在图书馆在场的情况下跟踪信息流的原则性方法。 Zbl 1444.68051号 丹尼尔·赫丁;亚历山大·施滕;弗兰克·皮森斯;安德烈·萨贝尔菲尔德 2 2017 SeLINQ:跨应用程序数据库边界跟踪信息。 Zbl 1346.68065号 丹尼尔·斯科佩;丹尼尔·赫丁;安德烈·萨贝尔菲尔德 2 2014 信息流控制的价值敏感度和可观察的抽象值。 Zbl 1471.68042号 卢西亚诺·贝洛;丹尼尔·赫丁;安德烈·萨贝尔菲尔德 1 2015 在有图书馆的情况下跟踪信息流的原则性方法。 兹比尔1444.68051 丹尼尔·赫丁;亚历山大·施滕;弗兰克·皮森斯;安德烈·萨贝尔菲尔德 2 2017 信息流控制的价值敏感度和可观察的抽象值。 Zbl 1471.68042号 卢西亚诺·贝洛;丹尼尔·赫丁;安德烈·萨贝尔菲尔德 1 2015 SeLINQ:跨应用程序数据库边界跟踪信息。 Zbl 1346.68065号 丹尼尔·斯科佩;丹尼尔·赫丁;安德烈·萨贝尔菲尔德 2 2014 加密掩码流。 Zbl 1225.68086号 阿斯兰·阿斯卡洛夫;丹尼尔·赫丁;安德烈·萨贝尔菲尔德 2 2006 所有引用出版物 排名前五的出版物 全部的 前5名16位作者引用 三 丹尼尔·赫丁 三 安德烈·萨贝尔菲尔德 2 亚历山大·施滕 1 艺术,托马斯 1 阿斯兰·阿斯卡洛夫 1 克拉拉·贝纳克·厄尔 1 米歇尔·布格列西 1 斯特凡诺·卡尔扎瓦拉 1 维罗尼克·科尔蒂尔 1 里卡多·福卡尔迪 1 拉尔斯·弗雷德隆德 1 史蒂夫·克莱默 1 弗兰克·皮森斯 1 汉斯·斯文森 1 蒂马科夫,A.A。 1 沃林斯基,博格丹 4篇连载文章中引用 2 程序设计中的逻辑和代数方法杂志 1 编程和计算机软件 1 理论计算机科学 1 自动推理杂志 在2个字段中引用 6 计算机科学(68-XX) 2 信息与通信理论、电路(94-XX) 按年份列出的引文