编辑配置文件（在新选项卡中打开） 代表，Thomas W。 合著者距离 作者ID： 托马斯-w代表 发布日期： 代表，托马斯；代表，Thomas W。；代表，T。 更多。。。较少的 外部链接： 管理程序 已编制索引的文档： 82出版物自1984年以来，包括3本书 1作为编辑的贡献 合著者： 62位合著者具有76联合出版物 1310名合作作者 全部的 前5名合著者 7 单作者的 26 穆利·萨吉夫 10 阿卡什·拉尔 7 尼古拉斯·基德 6 阿列克谢·罗尼诺夫 6 莱因哈德·威廉 6 格雷塔·约什 5 高格尔·巴拉克利什南 5 丹尼斯·戈潘 5 甘尼桑拉马林加姆 4 苏珊·霍维茨 4 尼尔·伊梅尔曼 4 Jha，萨默什 4 塔尔省列夫·阿米 4 大卫·梅尔斯基 4 蒂姆·泰特鲍姆 4 埃兰·雅哈夫 三 约格·鲍尔 三 约翰·Cyphert 三 洛丽斯·达安东尼 三 胡、秦和平 三 诺姆·里内茨基 三 斯特凡·施温 三 图沙尔·沙尔马 三 泰瑟·图利 2 詹·菲利普·霍夫曼 2 贝特朗·珍妮特 2 林俊熙 2 路易·B·拉尔。 2 斯利瓦斯塔瓦（Siddharth Srivastava） 1 阿米特，达芙娜 1 Michael A.Benedikt。 1 杰森·布雷克 1 二氧化碳、昆汀 1 萨加·查基 1 克拉克（Edmund Melson jun Clarke）。 1 阿兰·德默斯。 1 伊西尔·迪利格 1 Frank DiMaio先生 1 朱利安·杜比 1 努里特·多尔 1 长者，马修 1 冯、余 1 帕特丽斯·戈德弗里德 1 R.格鲁安。 1 威廉·R·哈里斯。 1 金，金宇 1 扎卡里·金凯德 1 约格·克里克 1 鲁本·马丁斯 1 比尔·麦克洛斯基 1 巴顿·P·米勒。 1 Prabhu、Prathmesh 1 亚历山大·拉比诺维奇 1 桑吉特·阿伦库马尔·塞希亚 1 邵，钟 1 阿迪蒂亚·塔库尔。 1 艾玛·特雷茨基 1 曼达纳州瓦齐里 1 王浩 1 王月鹏 1 克里斯托夫·韦登巴赫 1 徐志晨 1 Yong、Suan Xi 全部的 前5名系列 三 信息学报 三 理论计算机科学 三 系统设计中的形式化方法 2 计算机程序设计科学 1 信息处理信件 1 算法杂志 1 程序设计语言与系统学报 1 IGPL逻辑杂志 1 高阶和符号计算 1 ACM计算逻辑汇刊 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 全部的 前5名领域 83 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 2 阶、格、有序代数结构（06-XX） 2 数值分析（65-XX） 1 总体主题；集合（00-XX） 1 历史和传记（01-XX） 1 组合数学（05-XX） 1 结合环与代数（16-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 70出版物有被引用472中的次327文件 引用人▼ 年份▼ 用于推广最短路径问题的增量算法。 兹比尔0861.68035 拉马林加姆，G。；代表，托马斯 38 1996 关于动态图问题的计算复杂性。 Zbl 0871.68098号 拉马林加姆，G。；代表，托马斯 28 1996 精确的过程间数据流分析，应用于持续传播。 Zbl 0874.68133号 穆利·萨吉夫；代表，托马斯；苏珊·霍维茨 27 1996 加权下推系统及其在过程间数据流分析中的应用。 Zbl 1088.68040号 代表，托马斯；斯特凡·施温；Jha，萨默什；大卫·梅尔斯基 27 2005 数组操作的数值分析框架。 Zbl 1369.68138号 丹尼斯·戈潘；代表，托马斯；穆利·萨吉夫 22 2005 使用递归调用验证并发消息传递C程序。 Zbl 1180.68109号 查基，S。；E.克拉克。；北卡罗来纳州基德。；代表，T。；T·图利。 20 2006 精确的过程间数据流分析，应用于持续传播。 兹比尔1496.68079 穆利·萨吉夫；代表，托马斯；苏珊·霍维茨 18 1995 上下文约束下并发程序的跨过程分析。 Zbl 1134.68349号 阿卡什·拉尔；泰瑟·图利；尼古拉斯·基德；代表，托马斯 17 2008 减少上下文绑定到顺序分析的并发分析。 Zbl 1155.68368号 阿卡什·拉尔；代表，托马斯 15 2008 最佳变压器的符号实现。 Zbl 1202.68255号 代表，托马斯；穆利·萨吉夫；格雷塔·约什 15 2004 减少上下文绑定到顺序分析的并发分析。 Zbl 1186.68298号 阿卡什·拉尔；代表，托马斯 13 2009 通过三值逻辑进行静态程序分析。 Zbl 1103.68635号 代表，Thomas W。；穆利·萨吉夫；莱因哈德·威廉 11 2004 使用一阶逻辑模拟可达性，并应用于验证链接数据结构。 Zbl 1135.68556号 列夫·阿米，T。；伊梅尔曼，N。；代表，T。；萨吉夫，M。；斯利瓦斯塔瓦，S。；约什，G。 10 2005 分析x86可执行文件中的内存访问。 Zbl 1125.68345号 高格尔·巴拉克利什南；代表，托马斯 9 2004 复杂API的基于组件的合成。 Zbl 1380.68108号 冯、余；鲁本·马丁斯；王月鹏；伊西尔·迪利格；代表Thomas W。 9 2017 在抽象下进行比较，以验证线性化能力。 Zbl 1135.68462号 阿米特，达芙娜；诺姆·里内茨基；代表，托马斯；穆利·萨吉夫；埃兰·雅哈夫 9 2007 使用加权下推系统进行程序分析。 Zbl 1136.68019号 代表，托马斯；阿卡什·拉尔；尼克·基德 9 2007 生成基于语言的环境。 兹比尔0604.68005 代表，Thomas W。 8 1984 加权下推系统及其在过程间数据流分析中的应用。 Zbl 1067.68051号 代表，托马斯；斯特凡·施温；Jha，萨默什 8 2003 合成器生成器。构建基于语言的编辑器的系统。 Zbl 0711.68028号 代表，Thomas W。；蒂姆·泰特尔鲍姆 7 1989 使用CodeSurfer/x86和WPDS++对x86可执行文件进行模型检查。 Zbl 1081.68604号 巴拉克里希南（G.Balakrishnan）。；代表，T。；北卡罗来纳州基德。；A.拉尔。；J.林。；D.梅尔斯基。；R.格鲁安。；Yong，S。；陈，C.-H。；Teitelbaum，T。 7 2005 扩展加权下推系统。 Zbl 1081.68625号 阿卡什·拉尔；代表，托马斯；高格尔·巴拉克利什南 7 2005 引导静态分析。 Zbl 1211.68087号 丹尼斯·戈潘；代表，托马斯 7 2007 验证通过演化逻辑指定的临时堆属性。 Zbl 1032.68062号 埃兰·雅哈夫；代表，托马斯；穆利·萨吉夫；莱因哈德·威廉 6 2003 静态分析逻辑公式的有限差分。 Zbl 1032.68061号 代表，托马斯；穆利·萨吉夫；阿列克谢·罗尼诺夫 6 2003 一种过程间形状分析的关系方法。 Zbl 1104.68416号 贝特朗·珍妮特；阿列克谢·罗尼诺夫；代表，托马斯；穆利·萨吉夫 6 2004 无限制分层状态机的模型检查。 Zbl 0986.68506号 迈克尔·本尼迪克特；帕特丽斯·戈德弗里德；代表，托马斯 6 2001 通过图形可达性进行程序分析。 Zbl 0944.68038号 代表，托马斯 6 1997 具有汇总维度的数字域。 Zbl 1126.68348号 丹尼斯·戈潘；Frank DiMaio先生；努里特·多尔；代表，托马斯；穆利·萨吉夫 6 2004 符号计算用于形状分析的最精确抽象操作。 Zbl 1126.68359号 约什，G。；代表，托马斯；穆利·萨吉夫 6 2004 过程局部堆及其抽象的语义。 Zbl 1369.68154号 诺姆·里内茨基；约格·鲍尔；代表，托马斯；穆利·萨吉夫；莱因哈德·威廉 6 2005 使用Coq证明对象进行自动资源分析。 Zbl 1494.68051号 二氧化碳、昆汀；简·霍夫曼；代表，托马斯；邵，钟 6 2017 动态优先级排序问题的在线竞争算法。 兹伯利0942.68646 拉马林加姆，G。；代表，托马斯 5 1994 改进下推系统模型检查。 Zbl 1188.68195号 阿卡什·拉尔；代表，托马斯 5 2006 通过结构模拟进行验证。 Zbl 1103.68623号 尼尔·伊梅尔曼；亚历山大·拉比诺维奇；代表，Thomas W。；穆利·萨吉夫；尤斯，太好了 5 2004 自动化抽象解释。 Zbl 1475.68097号 代表，托马斯；阿迪蒂亚·塔库尔 5 2016 通过归纳学习进行抽象提炼。 Zbl 1081.68626号 阿列克谢·罗尼诺夫；代表，托马斯；穆利·萨吉夫 5 2005 Deutsch-Schorr-Waite树遍历算法的自动验证。 Zbl 1225.68081号 阿列克谢·罗尼诺夫；代表，托马斯；穆利·萨吉夫 5 2006 验证通过演化逻辑指定的临时堆属性。 兹比尔1108.68077 E.雅哈夫。；代表，T。；萨吉夫，M。；威廉·R。 4 2006 程序修改理论。 Zbl 0967.68504号 拉马林加姆，G。；代表，托马斯 4 1991 一类集合约束的可交换性和上下文自由语言的可达性。 Zbl 0949.68087号 梅尔斯基，D。；代表，T。 4 2000 合成器生成器参考手册。第3版。 Zbl 0711.68029号 代表，Thomas W。；蒂姆·泰特鲍姆 4 1989 关于程序间程序分析问题的顺序性质。 Zbl 0861.68016号 代表，托马斯 4 1996 加权下推系统和信任管理系统。 兹比尔1180.68061 Jha，萨默什；斯特凡·施温；王浩；代表，托马斯 三 2006 程序集成的代数性质。 Zbl 0745.68029号 代表，托马斯 三 1991 带标签的条款。 Zbl 1213.68572号 塔尔省列夫·阿米；克里斯托夫·韦登巴赫；代表，托马斯；穆利·萨吉夫 三 2007 堆抽象的逻辑特征。 Zbl 1367.68078号 格雷塔·约什；代表，托马斯；穆利·萨吉夫；莱因哈德·威廉 三 2007 通过张量积进行牛顿程序分析。 Zbl 1347.68094号 代表，托马斯；艾玛·特雷茨基；Prabhu、Prathmesh 三 2016 具有不确定性的低级概率程序的指称语义。 Zbl 07515966号 王迪；简·霍夫曼；代表，托马斯 2 2019 函数的关系抽象。 Zbl 1141.68371号 珍妮特，B。；戈潘，D。；代表，T。 2 2005 静态推断复杂堆、数组和数字不变量。 Zbl 1306.68032号 比尔·麦克洛斯基；代表，托马斯；穆利·萨吉夫 2 2010 抽象错误投影。 Zbl 1211.68091号 阿卡什·拉尔；尼古拉斯·基德；代表，托马斯；泰瑟·图利 2 2007 仿射变换的新抽象框架。 Zbl 1425.68084号 图沙尔·沙尔马；代表，托马斯 2 2019 证明语法引导合成的不可实现性。 Zbl 07805540号 胡、秦和平；杰森·布雷克；约翰·Cyphert；洛丽斯·达安东尼；代表，托马斯 1 2019 具有渐近资源边界的综合。 Zbl 1493.68112号 胡、秦和平；约翰·Cyphert；洛丽斯·达安东尼；代表，托马斯 1 2021 属性文法的子线性空间求值算法。 Zbl 0633.68005号 代表，托马斯；阿兰·德默斯 1 1987 树修改之间无限制移动的属性语法的增量计算。 Zbl 0645.68089号 代表，托马斯 1 1988 计算分差和分差算法。 Zbl 1040.68148号 代表Thomas W。；路易·B·拉尔。 1 2003 过程间的表达式-直线转换。 Zbl 1032.68915号 大卫·梅尔斯基；代表，托马斯 1 2003 通过运行时类型检查进行调试。 Zbl 0977.68638号 阿列克谢·罗尼诺夫；Yong、Suan Xi；苏珊·霍维茨；代表，托马斯 1 2001 算法差异。 Zbl 0990.65031号 路易·B·拉尔。；代表，Thomas W。 1 2001 程序表示图的语义。 兹比尔1195.68064 拉马林加姆，G。；代表，托马斯 1 2009 有效无切口程序的跨过程形状分析。 Zbl 1383.68025号 Kreiker，J。；代表，T。；北卡罗来纳州里内茨基。；萨吉夫，M。；莱因哈德·威廉；E.雅哈夫。 1 2013 可能循环列表的基于细化的验证。 Zbl 1149.68356号 阿列克谢·罗尼诺夫；代表，托马斯；穆利·萨吉夫 1 2007 使用一阶逻辑模拟可达性，并应用于验证链接数据结构。 Zbl 1163.68010号 塔尔省列夫·阿米；尼尔·伊梅尔曼；代表，Thomas W。；穆利·萨吉夫；斯利瓦斯塔瓦（Siddharth Srivastava）；格雷塔·约什 1 2009 使用WPDS解决多个数据流查询。 Zbl 1149.68354号 阿卡什·拉尔；代表，托马斯 1 2008 语言强度降低。 Zbl 1149.68353号 尼古拉斯·基德；阿卡什·拉尔；代表，托马斯 1 2008 程序集成的代数性质。 兹伯利0765.68142 代表，托马斯 1 1990 堆分配存储的最近抽象。 Zbl 1225.68079号 高格尔·巴拉克利什南；代表，托马斯 1 2006 声音比特精确数值域。 Zbl 1484.68053号 图沙尔·沙尔马；代表，托马斯 1 2017 具有渐近资源边界的综合。 Zbl 1493.68112号 胡、秦和平；约翰·Cyphert；D&rsquo；洛丽斯·安东尼；代表，托马斯 1 2021 具有不确定性的低级概率程序的指称语义。 Zbl 07515966号 王迪；简·霍夫曼；代表，托马斯 2 2019 仿射变换的新抽象框架。 Zbl 1425.68084号 图沙尔·沙尔马；代表，托马斯 2 2019 证明语法引导合成的不可实现性。 Zbl 07805540号 胡、秦和平；杰森·布雷克；约翰·Cyphert；D&rsquo；洛丽斯·安东尼；代表，托马斯 1 2019 用于复杂API的基于组件的合成。 Zbl 1380.68108号 冯、余；鲁本·马丁斯；王月鹏；伊西尔·迪利格；代表，Thomas W。 9 2017 使用Coq证明对象进行自动资源分析。 Zbl 1494.68051号 二氧化碳、昆汀；简·霍夫曼；代表，托马斯；邵，钟 6 2017 声音比特精确数值域。 Zbl 1484.68053号 图沙尔·沙尔马；代表，托马斯 1 2017 自动化抽象解释。 Zbl 1475.68097号 代表，托马斯；阿迪蒂亚·塔库尔 5 2016 通过张量积进行牛顿程序分析。 兹比尔1347.68094 代表，托马斯；艾玛·特雷茨基；Prabhu、Prathmesh 三 2016 有效无切口程序的跨过程形状分析。 Zbl 1383.68025号 Kreiker，J。；代表，T。；北卡罗来纳州里内茨基。；萨吉夫，M。；莱因哈德·威廉；E.雅哈夫。 1 2013 静态推断复杂堆、数组和数字不变量。 Zbl 1306.68032号 比尔·麦克洛斯基；代表，托马斯；穆利·萨吉夫 2 2010 减少上下文绑定到顺序分析的并发分析。 Zbl 1186.68298号 阿卡什·拉尔；代表，托马斯 13 2009 程序表示图的语义。 Zbl 1195.68064号 拉马林加姆，G。；代表，托马斯 1 2009 使用一阶逻辑模拟可达性，并应用于验证链接数据结构。 Zbl 1163.68010号 塔尔省列夫·阿米；尼尔·伊梅尔曼；代表，Thomas W。；穆利·萨吉夫；斯利瓦斯塔瓦（Siddharth Srivastava）；格雷塔·约什 1 2009 上下文约束下并发程序的跨过程分析。 兹比尔1134.68349 阿卡什·拉尔；泰瑟·图利；尼古拉斯·基德；代表，托马斯 17 2008 减少上下文绑定到顺序分析的并发分析。 Zbl 1155.68368号 阿卡什·拉尔；代表，托马斯 15 2008 使用WPDS解决多个数据流查询。 Zbl 1149.68354号 阿卡什·拉尔；代表，托马斯 1 2008 语言强度降低。 Zbl 1149.68353号 尼古拉斯·基德；阿卡什·拉尔；代表，托马斯 1 2008 在抽象下进行比较，以验证线性化能力。 Zbl 1135.68462号 阿米特，达芙娜；Rinetzky，诺姆；代表，托马斯；穆利·萨吉夫；埃兰·雅哈夫 9 2007 使用加权下推系统进行程序分析。 Zbl 1136.68019号 代表，托马斯；阿卡什·拉尔；尼克·基德 9 2007 引导静态分析。 Zbl 1211.68087号 丹尼斯·戈潘；代表，托马斯 7 2007 带标签的条款。 Zbl 1213.68572号 塔尔省列夫·阿米；克里斯托夫·韦登巴赫；代表，托马斯；穆利·萨吉夫 三 2007 堆抽象的逻辑特征。 Zbl 1367.68078号 格雷塔·约什；代表，托马斯；穆利·萨吉夫；莱因哈德·威廉 三 2007 抽象错误投影。 Zbl 1211.68091号 阿卡什·拉尔；尼古拉斯·基德；代表，托马斯；泰瑟·图利 2 2007 可能循环列表的基于细化的验证。 Zbl 1149.68356号 阿列克谢·罗尼诺夫；代表，托马斯；穆利·萨吉夫 1 2007 使用递归调用验证并发消息传递C程序。 Zbl 1180.68109号 查基，S。；E.克拉克。；北卡罗来纳州基德。；代表，T。；T·图利。 20 2006 改进下推系统模型检查。 Zbl 1188.68195号 阿卡什·拉尔；代表，托马斯 5 2006 Deutsch-Schorr-Waite树遍历算法的自动验证。 Zbl 1225.68081号 阿列克谢·罗尼诺夫；代表，托马斯；穆利·萨吉夫 5 2006 验证通过演化逻辑指定的临时堆属性。 Zbl 1108.68077号 E.雅哈夫。；代表，T。；萨吉夫，M。；威廉·R。 4 2006 加权下推系统和信任管理系统。 Zbl 1180.68061号 Jha，萨默什；斯特凡·施温；王浩；代表，托马斯 三 2006 堆分配存储的最近抽象。 Zbl 1225.68079号 高格尔·巴拉克利什南；代表，托马斯 1 2006 加权下推系统及其在过程间数据流分析中的应用。 Zbl 1088.68040号 代表，托马斯；斯特凡·施温；Jha，萨默什；大卫·梅尔斯基 27 2005 数组运算的数值分析框架。 Zbl 1369.68138号 丹尼斯·戈潘；代表，托马斯；穆利·萨吉夫 22 2005 使用一阶逻辑模拟可达性，并应用于验证链接数据结构。 Zbl 1135.68556号 列夫·阿米，T。；伊梅尔曼，N。；代表，T。；萨吉夫，M。；斯利瓦斯塔瓦，S。；约什，G。 10 2005 使用CodeSurfer/x86和WPDS++对x86可执行文件进行模型检查。 Zbl 1081.68604号 巴拉克里希南（G.Balakrishnan）。；代表，T。；北卡罗来纳州基德。；A.拉尔。；J.林。；D.梅尔斯基。；R.格鲁安。；Yong，S。；陈，C.-H。；Teitelbaum，T。 7 2005 扩展加权下推系统。 Zbl 1081.68625号 阿卡什·拉尔；代表，托马斯；高格尔·巴拉克利什南 7 2005 过程局部堆及其抽象的语义。 Zbl 1369.68154号 诺姆·里内茨基；约格·鲍尔；代表，托马斯；穆利·萨吉夫；莱因哈德·威廉 6 2005 通过归纳学习进行抽象提炼。 Zbl 1081.68626号 阿列克谢·罗尼诺夫；代表，托马斯；穆利·萨吉夫 5 2005 函数的关系抽象。 Zbl 1141.68371号 珍妮特，B。；Gopan博士。；代表，T。 2 2005 最佳变压器的符号实现。 Zbl 1202.68255号 代表，托马斯；穆利·萨吉夫；格雷塔·约什 15 2004 通过三值逻辑进行静态程序分析。 Zbl 1103.68635号 代表，Thomas W。；穆利·萨吉夫；莱因哈德·威廉 11 2004 分析x86可执行文件中的内存访问。 Zbl 1125.68345号 高格尔·巴拉克利什南；代表，托马斯 9 2004 程序间形状分析的关系方法。 兹伯利1104.68416 贝特朗·珍妮特；阿列克谢·罗尼诺夫；代表，托马斯；穆利·萨吉夫 6 2004 具有汇总维度的数字域。 Zbl 1126.68348号 丹尼斯·戈潘；Frank DiMaio先生；努里特·多尔；代表，托马斯；穆利·萨吉夫 6 2004 符号计算用于形状分析的最精确抽象操作。 Zbl 1126.68359号 约什，G。；代表，托马斯；穆利·萨吉夫 6 2004 通过结构模拟进行验证。 Zbl 1103.68623号 尼尔·伊梅尔曼；亚历山大·拉比诺维奇；代表，Thomas W。；穆利·萨吉夫；尤斯，太好了 5 2004 加权下推系统及其在过程间数据流分析中的应用。 Zbl 1067.68051号 代表，托马斯；斯特凡·施温；Jha，萨默什 8 2003 验证通过演化逻辑指定的临时堆属性。 Zbl 1032.68062号 埃兰·雅哈夫；代表，托马斯；穆利·萨吉夫；莱因哈德·威廉 6 2003 静态分析逻辑公式的有限差分。 Zbl 1032.68061号 代表，托马斯；穆利·萨吉夫；阿列克谢·罗尼诺夫 6 2003 计算分差和分差算法。 Zbl 1040.68148号 代表，Thomas W。；路易·B·拉尔。 1 2003 过程间的表达式-直线转换。 Zbl 1032.68915号 大卫·梅尔斯基；代表，托马斯 1 2003 无限制分层状态机的模型检查。 Zbl 0986.68506号 迈克尔·本尼迪克特；帕特丽斯·戈德弗里德；代表，托马斯 6 2001 通过运行时类型检查进行调试。 Zbl 0977.68638号 阿列克谢·罗尼诺夫；Yong、Suan Xi；苏珊·霍维茨；代表，托马斯 1 2001 算法差异。 Zbl 0990.65031号 路易·B·拉尔。；代表，Thomas W。 1 2001 一类集合约束的可交换性和上下文自由语言的可达性。 Zbl 0949.68087号 梅尔斯基，D。；代表，T。 4 2000 通过图形可达性进行程序分析。 Zbl 0944.68038号 代表，托马斯 6 1997 用于推广最短路径问题的增量算法。 Zbl 0861.68035号 拉马林加姆，G。；代表，托马斯 38 1996 关于动态图问题的计算复杂性。 Zbl 0871.68098号 Ramalingam，G。；代表，托马斯 28 1996 精确的过程间数据流分析，应用于持续传播。 Zbl 0874.68133号 穆利·萨吉夫；代表，托马斯；苏珊·霍维茨 27 1996 关于程序间程序分析问题的顺序性质。 Zbl 0861.68016号 代表，托马斯 4 1996 精确的过程间数据流分析，应用于持续传播。 Zbl 1496.68079号 穆利·萨吉夫；代表，托马斯；苏珊·霍维茨 18 1995 动态优先级排序问题的在线竞争算法。 Zbl 0942.68646号 拉马林加姆，G。；代表，托马斯 5 1994 程序修改理论。 Zbl 0967.68504号 拉马林加姆，G。；代表，托马斯 4 1991 程序集成的代数性质。 Zbl 0745.68029号 代表，托马斯 三 1991 程序集成的代数性质。 Zbl 0765.68142号 代表，托马斯 1 1990 合成器生成器。构建基于语言的编辑器的系统。 Zbl 0711.68028号 代表Thomas W。；蒂姆·泰特鲍姆 7 1989 合成器生成器参考手册。第3版。 Zbl 0711.68029号 代表，Thomas W。；蒂姆·泰特鲍姆 4 1989 树修改之间无限制移动的属性语法的增量计算。 Zbl 0645.68089号 代表，托马斯 1 1988 属性文法的子线性空间求值算法。 Zbl 0633.68005号 代表，托马斯；阿兰·德默斯 1 1987 生成基于语言的环境。 兹比尔0604.68005 代表，Thomas W。 8 1984 所有引用出版物 前5名被引用出版物 全部的 前5名649位作者引用 19 代表，Thomas W。 11 泰瑟·图利 9 穆罕默德·法乌齐（Mohamed Faouzi Atig） 8 艾哈迈德·博阿贾尼 8 丹尼尔·科宁 6 哈维尔·埃斯帕尔扎 6 丹尼尔·弗里吉奥尼 6 萨尔瓦多拉托雷 6 阿卡什·拉尔 5 帕罗什·阿齐兹·阿卜杜拉 5 克里希南德·查特吉 5 伯纳德·福茨 5 穆利·萨吉夫 5 娜塔莎·莎莉吉娜 5 沙龙·肖姆 4 约塔姆·M·Y·费尔德曼。 4 托拜厄斯·弗里德里希 4 苏珊·霍维茨 4 迈克尔·卢滕伯格 4 赫尔穆特·塞德尔 4 哈坎·米特 4 福格勒、海科 4 汤姆·沃纳 三 迪帕克·阿杰瓦尼 三 拉杰夫·阿鲁尔 三 伊丽莎白·贝加米尼 三 迈克尔·布隆丁 三 卡米尔·德米特里斯库 三 康斯坦丁·埃纳 三 阿里·古芬克尔 三 彼得·哈贝梅尔 三 马修·黑格 三 托马斯·亨辛格（Thomas A.Henzinger）。 三 拉杜·奥西夫 三 意大利，朱塞佩·弗朗西斯科 三 尼古拉斯·基德 三 斯特凡·基弗 三 扎卡里·金凯德 三 国王，安迪 三 马克西姆·利哈切夫 三 伊莎贝拉·马斯特罗埃尼 三 海宁·迈耶亨克 三 马库斯·穆勒·奥尔姆 三 那不勒斯，玛格丽塔 三 奥托普，简 三 Gennaro帕拉托 三 安德烈亚斯·帕夫罗甘尼斯 三 安德烈亚斯·波德尔斯基 三 对手，泽维尔 三 哈拉尔德·森德加德 三 托马斯·沃尔 三 克里斯托夫·韦登巴赫 2 泽维尔·阿拉米吉恩 2 艾什·盖尔 2 乔治·奥塞洛 2 贝内迪克特·博利格 2 奥利维尔·布瓦索 2 马里乌斯·博兹加 2 Jörg Brauer 2 雷米·布罗赫宁 2 查克拉波蒂，苏普拉特克 2 亚历山大·查普托 2 塞拉菲诺总督 2 拜伦·库克 2 米拉·达拉·普雷达 2 安娜丽莎·达安德里亚 2 吉安洛伦佐·D’Angelo 2 克里斯蒂娜·大卫 2 马蒂亚·德埃米迪奥 2 Stéphane P.德姆里。 2 丹尼尔·多伊奇 2 加布里埃尔·迪·斯特法诺 2 阿拉斯泰尔·唐纳森。 2 曼弗雷德·德罗斯特 2 迈克尔·埃米 2 曼努埃尔·Fähndrich 2 保罗·费斯塔 2 保罗·朱利奥·弗朗西奥萨 2 约翰·加拉赫（John P.Gallagher）。 2 格雷姆·恒河 2 罗伯托·贾科巴齐 2 吉尔根·吉斯尔 2 劳蕾·贡诺德 2 埃里克·古堡 2 弗朗西丝卡·格雷耶罗 2 阿尔蒂·古普塔 2 阿什图什·古普塔 2 古罗夫，帝力 2 尼古拉斯·哈尔巴赫斯 2 詹·菲利普·霍夫曼 2 卢卡什，霍利克 2 玛丽克·赫斯曼 2 雨果·伊利诺斯 2 尼尔·伊梅尔曼 2 维尼特·卡隆 2 亚历山大·凯泽。 2 马蒂厄·莱梅尔 2 Ondřej Lengál 2 斯特凡诺·卢奇 2 艾蒂安·洛兹 …还有549位作者 全部的 前5名56篇连载文章被引用 26 系统设计中的形式化方法 24 理论计算机科学 14 信息与计算 11 计算的形式方面 8 信息学报 6 自动推理杂志 5 人工智能 5 信息处理信件 5 国际计算机科学基础杂志 4 计算机与系统科学杂志 4 编程和计算机软件 4 逻辑程序设计理论与实践 4 ACM实验算法杂志 三 离散应用数学 三 符号计算杂志 三 运筹学国际交易 三 计算系统理论 三 ACM计算逻辑汇刊 三 程序设计中的逻辑和代数方法杂志 2 计算机程序设计科学 2 MSCS公司。计算机科学中的数学结构 2 优化方法和软件 2 高阶和符号计算 2 逻辑与代数程序设计杂志 2 JMMA公司。数学建模与算法杂志 2 计算机语言、系统和结构 2 离散算法杂志 1 计算机物理通信 1 物理A 1 计算 1 信息科学 1 模拟中的数学和计算机 1 SIAM计算机杂志 1 纯逻辑与应用逻辑年鉴 1 算法 1 计算机与运筹学 1 数学和计算机建模 1 运筹学年鉴 1 实时系统 1 离散事件动态系统 1 欧洲运筹学杂志 1 ZOR（缩放）。Zeitschrift für运筹学 1 计算优化与应用 1 应用非经典逻辑杂志 1 函数编程杂志 1 数学与人工智能年鉴 1 约束条件 1 数据挖掘与知识发现 1 RAIRO公司。运筹学 1 4个或 1 互联网数学 1 AKCE国际图与组合学杂志 1 计算机科学中的逻辑方法 1 国际生物数学杂志 1 科学中国。信息科学 1 理论生物学杂志 全部的 前5名在12个字段中引用 307 计算机科学（68至XX） 32 数学逻辑和基础（03-XX） 28 组合数学（05-XX） 19 运筹学、数学规划（90-XX） 5 数值分析（65-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 信息与通信理论、电路（94-XX） 2 总体主题；集合（00-XX） 2 结合环与代数（16-XX） 2 生物学和其他自然科学（92-XX） 1 历史和传记（01-XX） 1 系统论；控制（93至XX） 按年份列出的引文