编辑配置文件（在新选项卡中打开） 托马斯·斯特罗德 合著者距离 作者ID： 斯特罗德·托马斯 发布日期： 托马斯·斯特罗德 已编制索引的文档： 11出版物自2010年起 合著者： 13合著者具有11联合出版物 120位合作作者 全部的 前5名合著者 0 单作者的 11 吉尔根·吉斯尔 8 弗洛里安·弗洛恩 7 杰拉·亨塞尔 7 彼得·施奈德·坎普 5 卡斯滕·福斯 4 科尼利厄斯·阿斯切尔曼 4 马克·布罗克施米特 三 费边·埃姆斯 三 雷内·蒂曼 2 卡斯滕·奥托 2 马丁·普吕克 2 斯蒂芬妮·斯威德斯基 1 亚历山大·塞雷布雷尼克 系列 三 自动推理杂志 1 逻辑程序设计理论与实践 1 程序设计中的逻辑和代数方法杂志 领域 11 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用89中的次68文件 引用人▼ 年份▼ 使用自动分析程序终止和复杂性AProVE公司。 兹比尔1409.68255 吉尔根·吉斯尔;科尼利厄斯·阿斯切尔曼;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 30 2017 用AProVE自动证明程序终止。 Zbl 1409.68256号 吉尔根·吉斯尔;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 22 2014 带cut的逻辑程序的自动终止分析。 Zbl 1209.68098号 彼得·施奈德·坎普;吉尔根·吉斯尔;托马斯·斯特罗德;亚历山大·塞雷布雷尼克;雷内·蒂曼 10 2010 ISO序言终止和复杂性分析的线性操作语义。 Zbl 1377.68068号 托马斯·斯特罗德;埃米斯，法比安;Schneider Kamp，彼得;吉尔根·吉斯尔;卡斯滕·福斯 6 2012 通过符号执行证明用位向量算法终止程序。 Zbl 1390.68181号 杰拉·亨塞尔;吉尔根·吉斯尔;弗洛里安·弗洛恩;托马斯·斯特罗德 4 2016 用指针算法证明程序的终止和内存安全。 Zbl 1423.68110号 托马斯·斯特罗德;吉尔根·吉斯尔;马克·布罗克施米特;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;彼得·施奈德·坎普 4 2014 推断运行时复杂性的下限。 Zbl 1366.68116号 弗洛里安·弗洛恩;吉尔根·吉斯尔;杰拉·亨塞尔;科尼利厄斯·阿斯切尔曼;托马斯·斯特罗德 4 2015 使用指针算法自动证明程序的终止和内存安全。 Zbl 1409.68077号 托马斯·斯特罗德;吉尔根·吉斯尔;马克·布罗克施米特;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;彼得·施奈德·坎普;科尼利厄斯·阿斯切尔曼 三 2017 术语重写的运行时复杂性下限。 Zbl 1409.68254号 弗罗恩，弗洛里安;于尔根·吉斯尔;杰拉·亨塞尔;科尼利厄斯·阿斯切尔曼;托马斯·斯特罗德 三 2017 依赖三元组用于改进带cut的逻辑程序的终止分析。 Zbl 1326.68063号 托马斯·斯特罗德;彼得·施奈德·坎普;吉尔根·吉斯尔 2 2011 符号执行的位向量算法程序的终止和复杂性分析。 Zbl 1395.68093号 赫塞尔，杰拉;吉尔根·吉斯尔;弗洛里安·弗洛恩;托马斯·斯特罗德 1 2018 符号执行的位向量算法程序的终止和复杂性分析。 Zbl 1395.68093号 杰拉·亨塞尔;吉尔根·吉斯尔;弗洛里安·弗洛恩;托马斯·斯特罗德 1 2018 使用自动分析程序终止和复杂性AProVE公司。 Zbl 1409.68255号 吉尔根·吉斯尔;科尼利厄斯·阿斯切尔曼;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 30 2017 使用指针算法自动证明程序的终止和内存安全性。 兹比尔1409.68077 托马斯·斯特罗德;吉尔根·吉斯尔;马克·布罗克施米特;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;彼得·施奈德·坎普;科尼利厄斯·阿斯切尔曼 三 2017 术语重写的运行时复杂性下限。 Zbl 1409.68254号 弗罗恩，弗洛里安;吉尔根·吉斯尔;杰拉·亨塞尔;科尼利厄斯·阿斯切尔曼;托马斯·斯特罗德 三 2017 通过符号执行证明用位向量算法终止程序。 Zbl 1390.68181号 杰拉·亨塞尔;吉尔根·吉斯尔;弗洛里安·弗洛恩;托马斯·斯特罗德 4 2016 推断运行时复杂性的下限。 Zbl 1366.68116号 弗洛里安·弗洛恩;吉尔根·吉斯尔;杰拉·亨塞尔;科尼利厄斯·阿斯切尔曼;托马斯·斯特罗德 4 2015 用AProVE自动证明程序终止。 Zbl 1409.68256号 吉尔根·吉斯尔;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;卡斯滕·奥托;马丁·普吕克;Schneider Kamp，彼得;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 22 2014 用指针算法证明程序的终止和内存安全。 Zbl 1423.68110号 托马斯·斯特罗德;吉尔根·吉斯尔;马克·布罗克施米特;弗洛里安·弗洛恩;卡斯滕·福斯;赫塞尔，杰拉;彼得·施奈德·坎普 4 2014 ISO序言终止和复杂性分析的线性操作语义。 Zbl 1377.68068号 托马斯·斯特罗德;费边·埃姆斯;彼得·施奈德·坎普;吉尔根·吉斯尔;卡斯滕·福斯 6 2012 依赖三元组用于改进带cut的逻辑程序的终止分析。 Zbl 1326.68063号 托马斯·斯特罗德;彼得·施奈德·坎普;吉尔根·吉斯尔 2 2011 带cut的逻辑程序的自动终止分析。 Zbl 1209.68098号 彼得·施奈德·坎普;吉尔根·吉斯尔;托马斯·斯特罗德;亚历山大·塞雷布雷尼克;雷内·蒂曼 10 2010 所有引用出版物 前5名被引用出版物 全部的 前5名120位作者引用 13 吉尔根·吉斯尔 8 弗洛里安·弗洛恩 7 杰拉·亨塞尔 6 托马斯·斯特罗德 6 Germán维达尔 5 格奥尔格·莫瑟 5 埃蒂安·佩耶特 4 马克·布罗克施米特 4 弗雷德·梅斯纳德 4 莎拉·温克勒 三 艾丽卡·阿尔布拉汉姆 三 科尼利厄斯·阿斯切尔曼 三 亚历山德罗·西马蒂 三 卡斯滕·福斯 三 塞尔吉奥·格雷科 三 阿尔贝托·格里乔 三 基里恩·克莱默 三 恩里科·马格纳戈 三 Schneider Kamp，彼得 三 雷内·蒂曼 三 伊琳娜·特鲁比西纳 三 Akihisa山田 三 弗洛里安·祖勒格 2 马可·卡洛蒂 2 费边·埃姆斯 2 洛伦兹·勒特盖布 2 萨尔瓦多卢卡斯 2 克里斯蒂安·莫里纳罗 2 直纪西田 1 斯科特·亚伦森 1 艾尔维拉·阿尔伯特 1 埃齐奥·巴托西 1 泰斯·波顿 1 玛丽亚·保拉（Maria Paola Bonacina） 1 克里斯蒂娜·博拉莱拉斯 1 乔治亚娜·卡尔泰斯 1 曹振福 1 亚瑟·查古埃罗 1 陈杰 1 弗洛里安·科齐利厄斯 1 邓雨欣 1 丹尼尔·迪特施 1 董晓雷 1 德拉本特，Włodzimierz 1 弗朗西斯科·杜兰 1 索菲·福茨 1 托马斯·杰奈特 1 阿尔芬斯·盖瑟 1 龚俊清 1 劳雷·贡诺德 1 阿玛·盖诺 1 郭丽叶 1 Hähnle，雷纳 1 哈克，马塞尔 1 Heule，Marijn J.H。 1 迪特尔·霍夫鲍尔 1 马丁·霍夫曼 1 早坂石冢 1 雅克·亨利·乔尔丹 1 德扬·约瓦诺维奇 1 塞巴斯蒂安·荣格斯 1 詹·克里斯托普·卡斯因 1 Joost-Pieter卡托恩 1 迈克尔·基弗 1 辛西娅·科普 1 埃里克·科斯基宁 1 科瓦奇，劳拉·伊尔迪科 1 丹尼尔·拉拉兹 1 Le，Ton Chanh先生 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 大卫·萨贝尔 1 酒井正彦 1 亚恩鲑鱼 1 亚历杭德罗·桑切斯。 1 塞萨尔·桑切斯 …还有20多位作者 全部的 前5名13篇连载文章中引用 8 自动推理杂志 6 逻辑程序设计理论与实践 5 程序设计中的逻辑和代数方法杂志 三 信息与计算 三 计算机科学中的逻辑方法 2 计算的形式方面 1 信息处理信件 1 计算机科学中的数学结构 1 工程、通信和计算中的应用代数 1 系统设计中的形式化方法 1 数学与人工智能年鉴 1 计算机基础理论 1 Sapientiae大学学报。Informatica公司 全部的 前5名在7个字段中引用 67 计算机科学（68至XX） 9 数学逻辑和基础（03-XX） 2 运筹学、数学规划（90-XX） 1 组合数学（05-XX） 1 阶、格、有序代数结构（06-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文