编辑配置文件（在新选项卡中打开） 丹尼尔·豪斯曼 合著者距离 作者ID: 豪斯曼·达尼尔 发布日期： 丹尼尔·豪斯曼 编入索引的文档： 16出版物自1976年起 合著者： 11位合著者具有14联合出版物 225位合作作者 全部的 前5名合著者 2 单作者的 12 卢茨·施罗德 三 蒂尔·莫萨科夫斯基 2 斯特凡·米利厄斯 1 汉斯·佩特·迪费尔 1 克里斯托夫·艾格 1 塔德乌兹·利塔克 1 德克·帕丁森 1 尼尔·皮特曼 1 克里斯托夫·劳赫 1 海宁·乌尔巴特 1 马蒂亚斯·津纳 系列 1 理论计算机科学 1 运筹学方法 全部的 前5名领域 15 计算机科学（68至XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 数理逻辑与基础（03-XX） 1 范畴理论；同调代数（18-XX） 1 凸和离散几何（52至XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物被引用21中的次18文件 引用人▼ 年份▼ 具有谨慎单调性的条件逻辑的最优表。 Zbl 1211.68413号 卢茨·施罗德;德克·帕丁森;丹尼尔·豪斯曼 6 2010 Isabelle/HOL中CoCasl的迭代圆共聚。 兹比尔1119.68370 丹尼尔·豪斯曼;蒂尔·莫萨科夫斯基;卢茨·施罗德 4 2005 环境微积分语义的一种联合代数方法。 兹比尔1154.68088 丹尼尔·豪斯曼;蒂尔·莫萨科夫斯基;卢茨·施罗德 三 2006 算术计算的最优可满足性检查。 Zbl 1524.68191号 丹尼尔·豪斯曼;卢茨·施罗德 三 2019 嵌套不动点的拟多项式计算。 Zbl 1467.68085号 丹尼尔·豪斯曼;卢茨·施罗德 2 2021 无交互\（\mu\）-演算的全局缓存。 Zbl 1392.68301号 丹尼尔·豪斯曼;卢茨·施罗德;克里斯托夫·艾格 1 2016 弱结合演算的置换对策。 Zbl 1423.68307号 丹尼尔·豪斯曼;卢茨·施罗德;汉斯·佩特·迪费尔 1 2018 余代数演算的基于博弈的局部模型检验。 Zbl 07649943号 丹尼尔·豪斯曼;卢茨·施罗德 1 2019 嵌套不动点的拟多项式计算。 Zbl 1467.68085号 丹尼尔·豪斯曼;卢茨·施罗德 2 2021 算术计算的最优可满足性检查。 Zbl 1524.68191号 丹尼尔·豪斯曼;卢茨·施罗德 三 2019 余代数演算的基于博弈的局部模型检验。 Zbl 07649943号 丹尼尔·豪斯曼;卢茨·施罗德 1 2019 弱结合演算的置换对策。 Zbl 1423.68307号 丹尼尔·豪斯曼;卢茨·施罗德;汉斯·佩特·迪费尔 1 2018 无交互\（\mu\）-演算的全局缓存。 Zbl 1392.68301号 丹尼尔·豪斯曼;卢茨·施罗德;克里斯托夫·艾格 1 2016 具有谨慎单调性的条件逻辑的最优表。 Zbl 1211.68413号 卢茨·施罗德;德克·帕丁森;丹尼尔·豪斯曼 6 2010 环境演算语义的联合方法。 Zbl 1154.68088号 丹尼尔·豪斯曼;蒂尔·莫萨科夫斯基;卢茨·施罗德 三 2006 Isabelle/HOL中CoCasl的迭代圆共聚。 Zbl 1119.68370号 丹尼尔·豪斯曼;蒂尔·莫萨科夫斯基;卢茨·施罗德 4 2005 所有引用出版物 前5名被引用出版物 全部的 前5名30位作者引用 5 丹尼尔·豪斯曼 5 卢茨·施罗德 三 多雷尔·卢卡努 三 格里高·罗什乌 2 尼古拉·奥利维蒂 1 雷吉斯·阿伦达 1 克里斯托夫·埃瓦尔德·本兹穆勒 1 菲律宾邦奇 1 卡布雷拉（Inma P.Cabrera）。 1 巴勃罗·科德罗 1 Dov M.加巴伊。 1 吉诺维斯，瓦莱里奥 1 格里戈拉什 1 格洛丽亚·古铁雷斯 1 马尔钦·尤尔季安斯基 1 比约恩·莱尔曼 1 玛蒂，约翰内斯 1 哈维尔·马丁内斯·德尔·卡斯蒂略 1 乌戈·蒙塔纳里。 1 雷米·莫尔万 1 蒂尔·莫萨科夫斯基 1 萨拉·内格里 1 曼纽尔·奥杰达·阿西戈 1 德克·帕丁森 1 里卡多·皮诺西奥 1 尼尔·皮特曼 1 吉安·卢卡（Gian Luca），披萨 1 丹尼尔·里斯波里 1 斯特拉瑟，基督徒 1 Thejaswini，K.S。 5篇连载文章中引用 2 理论计算机科学 1 信息科学 1 订单 1 应用非经典逻辑杂志 1 数学与人工智能年鉴 全部的 前5名在7个字段中引用 15 计算机科学（68至XX） 8 数理逻辑与基础（03-XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 阶、格、有序代数结构（06-XX） 1 一般代数系统（08-XX） 1 范畴理论；同调代数（18-XX） 1 凸和离散几何（52至XX） 按年份列出的引文