编辑配置文件（在新选项卡中打开） 托马斯·詹森。 合著者距离 作者ID： 詹森·托马斯-p 发布日期： 托马斯·詹森。；托马斯·延森 已编制索引的文档： 36出版物自1984年以来 3作为编辑的贡献·1进一步贡献 合著者： 2合著者具有4联合出版物 13位合作作者 全部的 前5名合著者 4 单作者的 8 弗雷德里克·贝松 8 大卫·皮哈迪 7 大卫·卡切拉 三 丹尼·埃文 三 托马斯·杰奈特 三 阿诺德·乔宾 三 弗洛伦特·基什内尔 三 米德加德，一月 2 伊莎贝尔·阿塔利 2 布兰奇，桑德琳 2 弗拉德·鲁苏 2 帕斯卡·索丁 2 特平，蒂芬 1 艾哈迈德·萨利姆·Al-Sibahi 1 伊曼纽尔·阿里维特 1 安东尼亚诺·维拉洛沃斯，伊萨多拉 1 阿瓦洛斯·帕切科，亚历杭德拉 1 安妮迪亚·班纳吉 1 尼古拉·巴雷 1 圣地亚哥包蒂斯塔 1 马丁·博丹 1 尤罕·博伊库特 1 贝诺·博伊尔 1 安东尼奥·卡纳尔 1 亚历山德罗·卡萨 1 Dahl，David B。 1 亚历山大·丹 1 Laura A.M.D'Angelo。 1 托马斯·德·格雷尼尔·德·拉图尔 1 罗伯塔·德·维托 1 德尔芬·德曼吉 1 邓森，大卫·布莱恩 1 马克·埃卢亚德 1 迈克尔·福普 1 蒂莫西省豪德堡 1 克里斯蒂安·海宁 1 艾米·赫林（Amy H.Herring）。 1 劳伦特·休伯特 1 卡尔，不完美 1 卢卡勒鲁 1 朱利安·勒皮勒 1 莫格尔贝里，拉斯穆斯·埃杰勒斯 1 托本·吉迪乌斯·莫根森 1 文森特·蒙福特 1 贝诺·蒙塔古 1 托马斯·布伦丹·墨菲 1 安德鲁·奥尔珊（Andrew F.Olshan）。 1 萨利·帕格宁 1 里贡，托马索 1 马西米利亚诺·拉索 1 布鲁诺·斯卡帕 1 阿兰·施密特 1 杰拉尔多·施奈德 1 亚当·斯密。 1 福斯托·斯波托 1 克里斯蒂亚诺·维拉 1 萨拉·韦德 1 理查德·沃尔。 1 安德烈·索夫斯基 1 皮埃尔·威尔克 全部的 前5名系列 三 理论计算机科学 三 计算机科学课堂讲稿 2 MSCS公司。计算机科学中的数学结构 1 洛基山数学杂志 1 信息与计算 1 逻辑与计算杂志 1 函数编程杂志 1 计算机科学中的逻辑方法 1 贝叶斯分析 全部的 前5名领域 37 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 1 阶、格、有序代数结构（06-XX） 1 结合环与代数（16-XX） 1 统计学（62-XX） 1 数值分析（65-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 23出版物有被引用8中的次7文件 引用人▼ 年份▼ 重写近似值，用于静态分析器的快速原型制作。 Zbl 1203.68068号 尤罕·博伊库特；托马斯·杰奈特；托马斯·延森；卢卡勒鲁 11 2007 经过认证的抽象解释和定点压缩的校验码。 Zbl 1153.68354号 弗雷德里克·贝松；托马斯·延森；大卫·皮哈迪 7 2006 在构造逻辑中提取数据流分析器。 Zbl 1077.68051号 大卫·卡切拉；托马斯·延森；大卫·皮哈迪；弗拉德·鲁苏 7 2005 认证内存使用分析。 Zbl 1120.68385号 大卫·卡切拉；托马斯·延森；大卫·皮哈迪；杰拉尔多·施奈德 5 2005 命令式程序多项式不变量的推论：告别Gröbner基。 Zbl 1401.68036号 大卫·卡切拉；托马斯·延森；阿诺德·乔宾；弗洛伦特·基什内尔 4 2012 2级交叉口类型的模块化控制流分析。 Zbl 1031.68044号 安妮迪亚·班纳吉；托马斯·延森 三 2003 Sawja：Java静态分析研讨会。 Zbl 1308.68028号 劳伦特·休伯特；尼古拉·巴雷；弗雷德里克·贝松；德尔芬·德曼吉；托马斯·延森；文森特·蒙福特；大卫·皮哈迪；特平，蒂芬 三 2011 在构造逻辑中提取数据流分析器。 Zbl 1126.68345号 大卫·卡切拉；托马斯·延森；大卫·皮哈迪；弗拉德·鲁苏 三 2004 通过抽象解释进行控制流分析的计算方法。 Zbl 1149.68359号 Midtgaard，一月；托马斯·延森 三 2008 认证树自动机完成检查器。 Zbl 1165.68400号 贝诺·博伊尔；托马斯·杰奈特；托马斯·延森 三 2008 基于相当大步骤的认证摘要解释（初步版本）。 Zbl 1464.68071号 马丁·博丹；托马斯·延森；阿兰·施密特 三 2013 集中分区过程：集群的信息优先（带讨论）。 Zbl 1483.62109号 萨利·帕格宁；艾米·赫林（Amy H.Herring）。；安德鲁·奥尔珊（Andrew F.Olshan）。；大卫·B·邓森。 2 2021 程序分析中的类型。 Zbl 1026.68027号 托马斯·延森 2 2002 分析具有恢复选项的MRP策略。 Zbl 0948.90001号 卡尔，不完美；托马斯·延森 2 1999 用树自动机验证高阶函数。 兹比尔1504.68129 托马斯·杰奈特；蒂莫塞·豪德堡；托马斯·延森 2 2018 连接型系统和高阶函数程序的抽象解释。 Zbl 0833.68078号 托马斯·詹森。 2 1995 通过抽象解释对函数调用和返回进行控制流分析。 Zbl 1302.68186号 米德加德，一月；托马斯·詹森。 2 2009 Java卡防火墙的操作语义。 Zbl 1002.68629号 马克·埃卢亚德；托马斯·延森；丹尼·埃文 1 2001 通过抽象解释对面向对象程序进行类分析。 Zbl 0978.68037号 托马斯·延森；福斯托·斯波托 1 2001 保护克隆。安全对象复制策略的静态实施。 兹比尔1326.68098 托马斯·延森；弗洛伦特·基什内尔；大卫·皮哈迪 1 2011 保护克隆。 Zbl 1238.68047号 托马斯·延森；弗洛伦特·基什内尔；大卫·皮哈迪 1 2012 编译时垃圾收集的反向分析。 Zbl 0765.68106号 托马斯·詹森。；托本·莫根森。 1 1990 通过二元体上线性算子的近似进行长期成本分析。 Zbl 1209.68124号 大卫·卡切拉；托马斯·延森；阿诺德·乔宾；帕斯卡·索丁 1 2010 集中分区过程：集群的信息优先（带讨论）。 兹比尔1483.62109 萨利·帕格宁；艾米·赫林（Amy H.Herring）。；安德鲁·奥尔珊（Andrew F.Olshan）。；大卫·B·邓森。 2 2021 用树自动机验证高阶函数。 Zbl 1504.68129号 托马斯·杰奈特；蒂莫塞·豪德堡；托马斯·延森 2 2018 基于相当大步骤的认证摘要解释（初步版本）。 Zbl 1464.68071号 马丁·博丹；托马斯·延森；阿兰·施密特 三 2013 命令式程序多项式不变量的推论：告别Gröbner基。 Zbl 1401.68036号 大卫·卡切拉；托马斯·延森；阿诺德·乔宾；弗洛伦特·基什内尔 4 2012 保护克隆。 Zbl 1238.68047号 托马斯·延森；弗洛伦特·基什内尔；大卫·皮哈迪 1 2012 Sawja：Java静态分析研讨会。 Zbl 1308.68028号 劳伦特·休伯特；尼古拉·巴雷；弗雷德里克·贝松；德尔芬·德曼吉；托马斯·延森；文森特·蒙福特；大卫·皮哈迪；特平，蒂芬 三 2011 保护克隆。安全对象复制策略的静态实施。 兹比尔1326.68098 托马斯·延森；弗洛伦特·基什内尔；大卫·皮哈迪 1 2011 通过二元体上线性算子的近似进行长期成本分析。 Zbl 1209.68124号 大卫·卡切拉；托马斯·延森；阿诺德·乔宾；帕斯卡·索丁 1 2010 通过抽象解释对函数调用和返回进行控制流分析。 Zbl 1302.68186号 Midtgaard，一月；托马斯·詹森。 2 2009 通过抽象解释进行控制流分析的计算方法。 Zbl 1149.68359号 Midtgaard，一月；托马斯·延森 三 2008 认证树自动机完成检查器。 Zbl 1165.68400号 贝诺·博伊尔；托马斯·杰奈特；托马斯·延森 三 2008 重写近似值，用于静态分析器的快速原型制作。 Zbl 1203.68068号 尤罕·博伊库特；托马斯·杰奈特；托马斯·延森；卢卡勒鲁 11 2007 经过认证的抽象解释和定点压缩的校验码。 Zbl 1153.68354号 弗雷德里克·贝松；托马斯·延森；大卫·皮哈迪 7 2006 在构造逻辑中提取数据流分析器。 Zbl 1077.68051号 大卫·卡切拉；托马斯·延森；大卫·皮哈迪；弗拉德·鲁苏 7 2005 认证内存使用分析。 Zbl 1120.68385号 大卫·卡切拉；托马斯·延森；大卫·皮哈迪；杰拉尔多·施奈德 5 2005 在构造逻辑中提取数据流分析器。 Zbl 1126.68345号 大卫·卡切拉；托马斯·延森；大卫·皮哈迪；弗拉德·鲁苏 三 2004 2级交叉口类型的模块化控制流分析。 Zbl 1031.68044号 安妮迪亚·班纳吉；托马斯·延森 三 2003 程序分析中的类型。 Zbl 1026.68027号 托马斯·延森 2 2002 Java卡防火墙的操作语义。 Zbl 1002.68629号 马克·埃卢亚德；托马斯·延森；丹尼·埃文 1 2001 通过抽象解释对面向对象程序进行类分析。 Zbl 0978.68037号 托马斯·延森；福斯托·斯波托 1 2001 分析具有恢复选项的MRP策略。 Zbl 0948.90001号 卡尔，不完美；托马斯·延森 2 1999 连接型系统和高阶函数程序的抽象解释。 Zbl 0833.68078号 托马斯·詹森。 2 1995 编译时垃圾收集的反向分析。 Zbl 0765.68106号 托马斯·詹森。；托本·莫根森。 1 1990 所有引用的出版物 前5名被引用出版物 全部的 前5名13位作者引用 2 David A.VanHorn。 1 艾哈迈德·萨利姆·Al-Sibahi 1 马里奥·科普 1 费卢西奥·达米亚尼 1 大卫·达赖 1 乌戈·德利古罗 1 保拉·吉安尼尼 1 托马斯·詹森。 1 米德加德，一月 1 可能吧，马修 1 莫格尔贝里，拉斯穆斯·埃杰勒斯 1 里卡多·特雷格里亚 1 安德烈·索夫斯基 3篇连载文章中引用 2 理论计算机科学 2 信息与计算 2 函数编程杂志 在4个字段中引用 7 计算机科学（68至XX） 2 阶、格、有序代数结构（06-XX） 1 数学逻辑和基础（03-XX） 1 范畴理论；同调代数（18-XX） 按年份列出的引文