编辑配置文件（在新选项卡中打开） 托马斯·维斯 合著者距离 作者ID： 威士.托马斯 发布日期： 托马斯·维斯 已编制索引的文档： 26出版物自2005年以来，包括1本书 3作为编辑的贡献 合著者： 43位合著者具有28联合出版物 827位合作作者 全部的 前5名合著者 1 单作者的 6 安德烈亚斯·波德尔斯基 5 维克多·昆卡 三 鲁齐卡皮斯卡 三 达米安·祖弗里 2 克什蒂吉·班萨尔 2 克拉克·W·巴雷特。 2 托马斯·亨辛格（Thomas A.Henzinger）。 2 金，蒂姆 2 马丁·科尔布尔 2 悉达哈·克里希纳 2 斯特凡·洛伊 2 马丁·里纳德（Martin C.Rinard）。 2 马丁·谢夫 2 Nishant Totla公司 1 乔什·伯丁 1 查尔斯·布伊拉盖 1 克里斯蒂亚诺·加尔卡尼奥 1 拜伦·库克 1 迪诺·迪斯特法诺 1 埃夫伦·埃尔米斯 1 伯恩德·芬克贝纳 1 Jochen Hoenicke公司 1 安德烈亚斯·霍尔泽 1 埃里克·科斯金 1 林，帕特里克·P。 1 Leino，K.Rustan M。 1 马尔科·穆尼兹 1 O'Hearn，Peter W。 1 安德烈·帕斯科维奇 1 尼萨尔·帕特尔 1 茨沃尼米尔·帕夫利诺维奇 1 安德鲁·雷诺兹 1 安德烈·里巴尔琴科 1 丹尼尔·施瓦茨·纳博恩 1 穆罕默德·纳西姆·塞吉尔 1 丹尼斯·沙沙（Dennis E.Shasha）。 1 亚历山大·萨默斯。 1 菲利普·苏特 1 Mitra Tabaei Befrouei 1 王伟 1 乔治·威森巴赫 1 杨红seok 1 凯伦·泽伊 系列 三 计算机科学课堂讲稿 2 系统设计中的形式化方法 1 自动推理杂志 1 计算机科学综合讲座 领域 29 计算机科学（68至XX） 7 数理逻辑与基础（03-XX） 三 总体主题；集合（00-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 22出版物有被引用135中的次114文件 引用人▼ 年份▼ 复合数据结构的形状分析。 Zbl 1135.68372号 乔什·伯丁；克里斯蒂亚诺·加尔卡尼奥；拜伦·库克；迪诺·迪斯特法诺；O'Hearn，Peter W。；托马斯·维斯；杨红seok 22 2007 将理论与共享集运算相结合。 Zbl 1193.03030号 托马斯·维斯；鲁齐卡皮斯卡；维克多·昆卡 12 2009 深度边界过程的正向分析。 Zbl 1284.68419号 托马斯·维斯；达米安·祖弗里；托马斯·亨辛格（Thomas A.Henzinger）。 11 2010 布尔堆。 Zbl 1141.68374号 安德烈亚斯·波德尔斯基；托马斯·维斯 10 2005 反例引导焦点。 Zbl 1312.68067号 安德烈亚斯·波德尔斯基；托马斯·维斯 10 2010 在Jahob数据结构验证系统中使用一阶定理证明器。 Zbl 1132.68348号 查尔斯·布伊拉盖；维克多·昆卡；托马斯·维斯；凯伦·泽伊；马丁·里纳德 10 2007 完成基于实例化的插值。 Zbl 1301.68106号 Nishant Totla公司；托马斯·维斯 8 2013 结构良好的转换系统的理想抽象。 Zbl 1326.68205号 达米安·祖弗里；托马斯·维斯；托马斯·亨辛格（Thomas A.Henzinger）。 7 2012 命令树数据结构的有效决策过程。 Zbl 1341.68034号 托马斯·维斯；马尔科·穆尼兹；维克多·昆卡 7 2011 完成基于实例化的插值。 兹比尔1356.68203 Nishant Totla公司；托马斯·维斯 6 2016 字段约束分析。 Zbl 1176.68130号 托马斯·维斯；维克多·昆卡；帕特里克·兰姆；安德烈亚斯·波德尔斯基；马丁·里纳德 5 2006 量化数组断言的抽象细化。 Zbl 1248.68151号 穆罕默德·纳西姆·塞吉尔；安德烈亚斯·波德尔斯基；托马斯·维斯 5 2009 通过E-匹配确定局部理论扩展。 Zbl 1381.68280号 克什蒂吉·班萨尔；安德鲁·雷诺兹；金，蒂姆；克拉克·巴雷特；托马斯·维斯 5 2015 定时系统的时钟限制修复。 Zbl 07805527号 马丁·科尔布尔；斯特凡·洛伊；托马斯·维斯 4 2019 错误不变量。 Zbl 1372.68061号 埃夫伦·埃尔米斯；马丁·施瓦夫；托马斯·维斯 三 2012 构建数据结构演算。 Zbl 1273.68100号 维克多·昆卡；鲁齐卡皮斯卡；菲利普·苏特；托马斯·维斯 2 2010 结构计数器抽象。 Zbl 1381.68194号 克什蒂吉班萨尔；埃里克·科斯金；托马斯·维斯；达米安·祖弗里 2 2013 实用的基于SMT的类型错误定位。 Zbl 1360.68351号 茨沃尼米尔·帕夫利诺维奇；金，蒂姆；托马斯·维斯 2 2015 全局图属性的局部推理。 Zbl 1508.68065号 悉达哈·克里希纳；亚历山大·萨默斯。；托马斯·维斯 1 2020 末日计划点数。 兹比尔1211.68090 Jochen Hoenicke公司；Leino，K.Rustan M。；安德烈亚斯·波德尔斯基；马丁·施瓦夫；托马斯·维斯 1 2010 按需堆假设。 兹比尔1155.68446 安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科；托马斯·维斯 1 2008 并发搜索结构的自动验证。 Zbl 1473.68009号 悉达哈·克里希纳；尼萨尔·帕特尔；丹尼斯·沙沙；托马斯·维斯 1 2021 并发搜索结构的自动验证。 Zbl 1473.68009号 悉达哈·克里希纳；尼萨尔·帕特尔；丹尼斯·沙沙；托马斯·维斯 1 2021 全局图属性的局部推理。 Zbl 1508.68065号 悉达哈·克里希纳；亚历山大·萨默斯。；托马斯·维斯 1 2020 定时系统的时钟限制修复。 Zbl 07805527号 马丁·科尔布尔；斯特凡·洛伊；托马斯·维斯 4 2019 完成基于实例化的插值。 兹比尔1356.68203 Nishant Totla公司；托马斯·维斯 6 2016 通过E-匹配确定局部理论扩展。 Zbl 1381.68280号 克什蒂吉·班萨尔；安德鲁·雷诺兹；金，蒂姆；克拉克·巴雷特；托马斯·维斯 5 2015 实用的基于SMT的类型错误定位。 Zbl 1360.68351号 茨沃尼米尔·帕夫利诺维奇；金，蒂姆；托马斯·维斯 2 2015 完成基于实例化的插值。 Zbl 1301.68106号 Nishant Totla公司；托马斯·维斯 8 2013 结构计数器抽象。 Zbl 1381.68194号 克什蒂吉·班萨尔；埃里克·科斯金；托马斯·维斯；达米安·祖弗里 2 2013 结构良好的转换系统的理想抽象。 Zbl 1326.68205号 达米安·祖弗里；托马斯·维斯；托马斯·亨辛格（Thomas A.Henzinger）。 7 2012 错误不变量。 Zbl 1372.68061号 埃夫伦·埃尔米斯；马丁·施瓦夫；托马斯·维斯 三 2012 命令树数据结构的有效决策过程。 Zbl 1341.68034号 托马斯·维斯；马尔科·穆尼兹；维克多·昆卡 7 2011 深度边界过程的正向分析。 Zbl 1284.68419号 托马斯·维斯；达米安·祖弗里；托马斯·亨辛格（Thomas A.Henzinger）。 11 2010 反例引导焦点。 Zbl 1312.68067号 安德烈亚斯·波德尔斯基；托马斯·维斯 10 2010 构建数据结构演算。 Zbl 1273.68100号 维克多·昆卡；鲁齐卡皮斯卡；菲利普·苏特；托马斯·维斯 2 2010 末日计划点数。 Zbl 1211.68090号 Jochen Hoenicke公司；Leino，K.Rustan M。；安德烈亚斯·波德尔斯基；马丁·施瓦夫；托马斯·维斯 1 2010 将理论与共享集运算相结合。 Zbl 1193.03030号 托马斯·维斯；鲁齐卡皮斯卡；维克多·昆卡 12 2009 量化数组断言的抽象细化。 Zbl 1248.68151号 穆罕默德·纳西姆·塞吉尔；安德烈亚斯·波德尔斯基；托马斯·维斯 5 2009 按需堆假设。 Zbl 1155.68446号 安德烈亚斯·波德尔斯基；安德烈·里巴尔琴科；托马斯·维斯 1 2008 复合数据结构的形状分析。 Zbl 1135.68372号 乔什·伯丁；克里斯蒂亚诺·加尔卡尼奥；拜伦·库克；迪诺·迪斯特法诺；运营；彼得·霍恩（Peter W.Hearn）。；托马斯·维斯；杨红seok 22 2007 在Jahob数据结构验证系统中使用一阶定理证明器。 兹比尔1132.68348 查尔斯·布伊拉盖；维克多·昆卡；托马斯·维斯；凯伦·泽伊；马丁·里纳德 10 2007 字段约束分析。 兹比尔1176.68130 托马斯·维斯；维克多·昆卡；帕特里克·兰姆；安德烈亚斯·波德尔斯基；马丁·里纳德 5 2006 布尔堆。 Zbl 1141.68374号 安德烈亚斯·波德尔斯基；托马斯·维斯 10 2005 所有引用的出版物 前5名被引用出版物 全部的 前5名247位作者引用 9 汤姆·沃纳 7 卢卡什·霍利克 7 维克多·昆卡 7 Ondřej Lengál 7 托马斯·维斯 4 艾哈迈德·博阿贾尼 4 帕斯卡·方丹 4 西尔维奥·吉拉尔迪 三 迈克尔·布隆丁 三 Stéphane P.德姆里。 三 康斯坦丁·埃纳 三 阿兰·芬克尔 三 亚历山德罗·吉亚诺拉 三 克里斯托夫·马提亚 三 诺尔，托马斯 三 安德烈亚斯·波德尔斯基 三 克里斯托夫·林盖森 三 菲利普·吕默 三 米哈埃拉·西希雷亚努 2 帕罗什·阿齐兹·阿卜杜拉 2 贾斯敏·克里斯蒂安·布兰切特 2 Böhme，萨沙 2 玛丽亚·保拉（Maria Paola Bonacina） 2 陈盛 2 Paula Chocron 2 拜伦·库克 2 伊曼纽尔·D’Osualdo 2 塞萨拉·德拉戈伊 2 克莱尔·德罗斯 2 汤姆·菲多尔 2 霍尔格·加斯特 2 让·古鲍特·拉雷克 2 克里斯托夫·哈斯 2 彼得·哈伯梅尔 2 沃伊特·哈夫勒纳 2 Jochen Hoenicke公司 2 拉杜·奥西夫 2 迪帕克·卡普尔 2 罗兰·迈耶 2 阿里·米莉 2 劳伦斯·查尔斯·保尔森 2 西尔维奥·兰伊斯 2 对手，泽维尔 2 亚当·罗加列维奇 2 普拉卡什·塞瓦桑 2 亚历杭德罗·桑切斯。 2 塞萨尔·桑切斯 2 穆罕默德·纳西姆·塞吉尔 2 娜塔莎·莎莉吉娜 2 维奥里卡Sofrone-Stokkerman 2 弗洛里安·祖勒格 1 Nazareno M.阿吉雷。 1 弗朗西斯科·阿尔贝蒂 1 泽维尔·阿拉米吉恩 1 玛丽亚·阿尔普恩特 1 卡洛斯·阿雷塞斯 1 马塞洛·阿罗约 1 马诺斯·阿萨纳索利斯 1 艾丁·戈尔，埃布鲁 1 彼得·贝克曼 1 埃里克·巴杜埃尔 1 伊塔·巴拉班 1 安妮迪亚·班纳吉 1 凯文·巴茨 1 雅罗斯拉夫·本迪克 1 伯纳德·波特拉 1 查尔斯·布伊拉盖 1 马吕斯·博兹加 1 雷米·布罗赫宁 1 罗伯特·布鲁托梅索 1 乔纳森·塞德伯格 1 伊万娜·乔纳 1 查克拉波蒂，苏普拉特克 1 陈一云 1 陈志远 1 魏恩根·钦 1 彼得·奇尼 1 杰根，基督 1 Sylvain Conchon公司 1 马克西米利亚诺·克里斯蒂亚 1 沃伊切赫，切尔文斯基 1 Thao Dang先生 1 克里斯蒂娜·大卫 1 莱昂纳多·德·莫拉 1 朱尔斯·德沙奈斯 1 Deters，摩根 1 多米尼克·德夫里塞 1 迪亚洛，纳菲 1 维杰·迪尔瓦 1 Jean-François Dufourd 1 穆纳乔·埃切宁 1 马丁·埃尔维格 1 伊森，扎弗 1 约塔姆·M·Y·费尔德曼。 1 伊拉·费塞费尔特 1 Jean-Christophe Filliátre 1 伯恩德·菲舍尔 1 Jędrzej Fulara 1 迪迪埃·加米歇 1 菲利普·安·加德纳 …还有147位作者 全部的 前5名22篇连载文章中引用 13 自动推理杂志 8 系统设计中的形式化方法 6 信息学报 4 信息与计算 三 ACM计算逻辑汇刊 三 计算机科学中的逻辑方法 三 程序设计中的逻辑和代数方法杂志 2 理论计算机科学 2 纯逻辑与应用逻辑年鉴 2 符号计算杂志 2 计算机科学与技术杂志 2 函数编程杂志 1 计算 1 计算机与系统科学杂志 1 计算机程序设计科学 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 数学与人工智能年鉴 1 计算系统理论 1 计算机基础理论 1 计算机语言、系统和结构 1 数据库的基础和趋势 在3个字段中引用 109 计算机科学（68至XX） 45 数理逻辑与基础（03-XX） 1 一般拓扑结构（54至XX） 按年份列出的引文