编辑配置文件（在新选项卡中打开） 卡斯滕·福斯 合著者距离 作者ID： fuhs.carsten公司 发布日期： 卡斯滕·福斯 已编制索引的文档： 26出版物自2007年起 合著者： 35位合著者具有25联合出版物 279合著作者 全部的 前5名合著者 1 单作者的 16 吉尔根·吉斯尔 15 Schneider Kamp，彼得 6 雷内·蒂曼 5 马克·布罗克施米特 5 弗洛里安·弗洛恩 5 辛西娅·科普 5 托马斯·斯特罗德 4 费边·埃姆斯 三 科迪什，迈克尔 三 杰拉·亨塞尔 三 卡斯滕·奥托 三 马丁·普吕克 2 科尼利厄斯·阿斯切尔曼 2 萨尔瓦多卢卡斯 2 阿德尔德多尔普 2 分手，迈克尔 2 Stephan斯维德斯基 2 斯蒂芬妮·斯威德斯基 2 哈拉尔德·赞克 1 阿勒科恩，比阿特丽兹 1 泰斯·波顿 1 本·阿姆拉姆，阿米尔·M。 1 詹姆斯兄弟斯顿 1 斯蒂芬·福克 1 尤夫·费科特 1 劳雷·贡诺德 1 Igor戈诺波尔斯基 1 尼科斯·戈罗甘尼斯 1 劳尔·古铁雷斯 1 亚历山大·克劳斯 1 马提亚斯·纳夫 1 拉斐尔·纳瓦罗·马塞特 1 直纪西田 1 佩雷斯，胡安·安东尼奥·纳瓦罗 1 克里斯蒂安·斯特纳格尔 系列 三 自动推理杂志 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 领域 26 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 数论（11-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 23出版物有被引用190中的次140文件 引用人▼ 年份▼ 用多项式解释进行终止分析的SAT求解。 Zbl 1214.68352号 卡斯滕·福斯;吉尔根·吉斯尔;阿德尔德多尔普;Schneider Kamp，彼得;雷内·蒂曼;哈拉尔德·赞克 34 2007 使用自动分析程序终止和复杂性AProVE公司. Zbl 1409.68255号 吉尔根·吉斯尔;科尼利厄斯·阿斯切尔曼;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;卡斯滕·奥托;马丁·普吕克;Schneider Kamp，彼得;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 26 2017 用AProVE自动证明程序终止。 Zbl 1409.68256号 吉尔根·吉斯尔;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;卡斯滕·奥托;马丁·普吕克;Schneider Kamp，彼得;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 22 2014 带有归纳谓词的分离逻辑中的可满足性判定过程。 Zbl 1401.68111号 詹姆斯兄弟斯顿;卡斯滕·福斯;佩雷斯，胡安·纳瓦罗;尼科斯·戈罗甘尼斯 15 2014 最大终止。 Zbl 1145.68446号 卡斯滕·福斯;吉尔根·吉斯尔;阿德尔德多尔普;Schneider Kamp，彼得;雷内·蒂曼;哈拉尔德·赞克 14 2008 证明整数项重写的终止。 Zbl 1242.68131号 卡斯滕·福斯;吉尔根·吉斯尔;马丁·普吕克;Schneider Kamp，彼得;斯蒂芬·福克 11 2009 通过约束重写归纳法验证过程程序。 Zbl 1367.68248号 卡斯滕·福斯;辛西娅·科普;直纪西田 9 2017 改进上下文敏感依赖项对。 Zbl 1182.68092号 阿勒科恩，比阿特丽兹;费边·埃姆斯;卡斯滕·福斯;吉尔根·吉斯尔;劳尔·古铁雷斯;萨尔瓦多卢卡斯;Schneider Kamp，彼得;雷内·蒂曼 8 2008 有理多项式阶的搜索技术。 Zbl 1166.68354号 卡斯滕·福斯;拉斐尔·纳瓦罗·马塞特;卡斯滕·奥托;吉尔根·吉斯尔;萨尔瓦多卢卡斯;Schneider Kamp，彼得 7 2008 通过依赖对和归纳定理证明终止。 Zbl 1243.68267号 卡斯滕·福斯;吉尔根·吉斯尔;分手，迈克尔;Schneider Kamp，彼得;Stephan斯维德斯基 7 2011 使用SAT综合（mathrm{GF}（2））上的最短线性直线程序。 Zbl 1306.68156号 卡斯滕·福斯;Schneider Kamp，彼得 6 2010 高阶重写的多项式解释。 Zbl 1437.68080号 卡斯滕·福斯;辛西娅·科普 5 2012 用于ISO prolog的终止和复杂性分析的线性操作语义。 Zbl 1377.68068号 托马斯·斯特罗德;费边·埃姆斯;Schneider Kamp，彼得;吉尔根·吉斯尔;卡斯滕·福斯 5 2012 利用高阶依赖对的一阶终止证明器。 Zbl 1348.68219号 卡斯滕·福斯;辛西娅·科普 4 2011 伪布尔约束的最佳基编码。 Zbl 1315.68227号 科迪什，迈克尔;尤夫·费科特;卡斯滕·福斯;Schneider Kamp，彼得 4 2011 用指针算法证明程序的终止和内存安全。 Zbl 1423.68110号 托马斯·斯特罗德;吉尔根·吉斯尔;马克·布罗克施米特;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;Schneider Kamp，彼得 4 2014 大小更改终止的惰性抽象。 Zbl 1306.68022号 科迪什，迈克尔;卡斯滕·福斯;吉尔根·吉斯尔;Schneider Kamp，彼得 2 2010 使用指针算法自动证明程序的终止和内存安全。 兹比尔1409.68077 托马斯·斯特罗德;吉尔根·吉斯尔;马克·布罗克施米特;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;Schneider Kamp，彼得;科尼利厄斯·阿斯切尔曼 2 2017 依赖对的终止分析和归纳定理证明。 Zbl 1237.68181号 斯威德斯基，斯蒂芬;分手，迈克尔;吉尔根·吉斯尔;卡斯滕·福斯;Schneider Kamp，彼得 1 2009 基于SAT的终止分析，使用整数的单调性约束。 Zbl 1222.68071号 科迪什，迈克尔;伊戈尔·戈诺波尔斯基;阿米尔·本·阿姆拉姆。;卡斯滕·福斯;吉尔根·吉斯尔 1 2011 通过终止重写来终止Isabelle函数。 兹比尔1342.68289 亚历山大·克劳斯;克里斯蒂安·斯特纳格尔;雷内·蒂曼;卡斯滕·福斯;吉尔根·吉斯尔 1 2011 整数转换系统项重写的复杂性分析。 Zbl 1495.68116号 马提亚斯·纳夫;弗洛里安·弗洛恩;马克·布罗克施米特;卡斯滕·福斯;吉尔根·吉斯尔 1 2017 将术语重写的派生复杂性转换为运行时复杂性。 Zbl 1435.68132号 卡斯滕·福斯 1 2019 将术语重写的派生复杂性转换为运行时复杂性。 兹比尔1435.68132 卡斯滕·福斯 1 2019 使用自动分析程序终止和复杂性AProVE公司. Zbl 1409.68255号 吉尔根·吉斯尔;科尼利厄斯·阿斯切尔曼;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;卡斯滕·奥托;马丁·普吕克;Schneider Kamp，彼得;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 26 2017 通过约束重写归纳法验证过程程序。 兹比尔1367.68248 卡斯滕·福斯;辛西娅·科普;直纪西田 9 2017 使用指针算法自动证明程序的终止和内存安全。 兹比尔1409.68077 托马斯·斯特罗德;吉尔根·吉斯尔;马克·布罗克施米特;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;Schneider Kamp，彼得;科尼利厄斯·阿斯切尔曼 2 2017 整数转换系统项重写的复杂性分析。 Zbl 1495.68116号 马蒂亚斯·纳夫;弗洛里安·弗洛恩;马克·布罗克施米特;卡斯滕·福斯;吉尔根·吉斯尔 1 2017 用AProVE自动证明程序终止。 Zbl 1409.68256号 吉尔根·吉斯尔;马克·布罗克施米特;埃米斯，法比安;弗洛里安·弗洛恩;卡斯滕·福斯;卡斯滕·奥托;马丁·普吕克;Schneider Kamp，彼得;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 22 2014 带有归纳谓词的分离逻辑中的可满足性判定过程。 Zbl 1401.68111号 詹姆斯兄弟斯顿;卡斯滕·福斯;佩雷斯，胡安·纳瓦罗;尼科斯·戈罗甘尼斯 15 2014 用指针算法证明程序的终止和内存安全。 Zbl 1423.68110号 托马斯·斯特罗德;吉尔根·吉斯尔;马克·布罗克施米特;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;Schneider Kamp，彼得 4 2014 高阶重写的多项式解释。 Zbl 1437.68080号 卡斯滕·福斯;辛西娅·科普 5 2012 ISO序言终止和复杂性分析的线性操作语义。 Zbl 1377.68068号 托马斯·斯特罗德;费边·埃姆斯;Schneider Kamp，彼得;吉尔根·吉斯尔;卡斯滕·福斯 5 2012 通过依赖对和归纳定理证明终止。 Zbl 1243.68267号 卡斯滕·福斯;吉尔根·吉斯尔;分手，迈克尔;Schneider Kamp，彼得;斯威德斯基，斯蒂芬 7 2011 使用高阶依赖对利用一阶终止校验器。 Zbl 1348.68219号 卡斯滕·福斯;辛西娅·科普 4 2011 伪布尔约束的最佳基编码。 Zbl 1315.68227号 科迪什，迈克尔;尤夫·费科特;卡斯滕·福斯;Schneider Kamp，彼得 4 2011 基于SAT的终止分析，使用整数的单调性约束。 Zbl 1222.68071号 科迪什，迈克尔;伊戈尔·戈诺波尔斯基;阿米尔·本·阿姆拉姆。;卡斯滕·福斯;吉尔根·吉斯尔 1 2011 通过终止重写来终止Isabelle函数。 Zbl 1342.68289号 亚历山大·克劳斯;克里斯蒂安·斯特纳格尔;雷内·蒂曼;卡斯滕·福斯;吉尔根·吉斯尔 1 2011 使用SAT综合（mathrm{GF}（2））上的最短线性直线程序。 Zbl 1306.68156号 卡斯滕·福斯;Schneider Kamp，彼得 6 2010 大小更改终止的惰性抽象。 Zbl 1306.68022号 科迪什，迈克尔;卡斯滕·福斯;吉尔根·吉斯尔;Schneider Kamp，彼得 2 2010 证明整数项重写的终止。 Zbl 1242.68131号 卡斯滕·福斯;吉尔根·吉斯尔;马丁·普吕克;Schneider Kamp，彼得;斯蒂芬·福克 11 2009 依赖对的终止分析和归纳定理证明。 兹伯利1237.68181 斯威德斯基，斯蒂芬;分手，迈克尔;吉尔根·吉斯尔;卡斯滕·福斯;Schneider Kamp，彼得 1 2009 最大终止。 Zbl 1145.68446号 卡斯滕·福斯;吉尔根·吉斯尔;阿德尔德多尔普;Schneider Kamp，彼得;雷内·蒂曼;哈拉尔德·赞克 14 2008 改进上下文相关的依赖项对。 Zbl 1182.68092号 阿勒科恩，比阿特丽兹;费边·埃姆斯;卡斯滕·福斯;吉尔根·吉斯尔;劳尔·古铁雷斯;萨尔瓦多卢卡斯;Schneider Kamp，彼得;雷内·蒂曼 8 2008 有理多项式阶的搜索技术。 Zbl 1166.68354号 卡斯滕·福斯;拉斐尔·纳瓦罗·马塞特;卡斯滕·奥托;吉尔根·吉斯尔;萨尔瓦多卢卡斯;Schneider Kamp，彼得 7 2008 用多项式解释进行终止分析的SAT求解。 Zbl 1214.68352号 卡斯滕·福斯;吉尔根·吉斯尔;阿德尔德多尔普;Schneider Kamp，彼得;雷内·蒂曼;哈拉尔德·赞克 34 2007 所有引用出版物 前5名被引用出版物 全部的 前5名238位作者引用 16 吉尔根·吉斯尔 12 卡斯滕·福斯 10 萨尔瓦多卢卡斯 10 Schneider Kamp，彼得 9 阿德尔德多尔普 9 乔治·莫瑟 6 弗洛里安·弗洛恩 6 直纪西田 6 雷内·蒂曼 6 莎拉·温克勒 6 哈拉尔德·赞克 6 弗洛里安·祖勒格 5 劳尔·古铁雷斯 5 杰拉·亨塞尔 5 托马斯·斯特罗德 5 德国维达尔 4 艾丽卡·阿尔布拉汉姆 4 马克·布罗克施米特 4 亚历山德罗·西马蒂 4 科迪什，迈克尔 4 Stéphane P.德姆里。 4 阿尔贝托·格里乔 4 辛西娅·科普 4 基里恩·克莱默 4 弗雷德·梅斯纳德 4 埃蒂安·佩耶特 4 阿尔伯特·鲁比奥 三 科尼利厄斯·阿斯切尔曼 三 弗雷德里克·布兰基 三 克里斯蒂娜·博拉莱拉斯 三 约尔格恩德鲁利斯 三 斯蒂芬·福克 三 恩里科·马格纳戈 三 卡斯滕·奥托 三 恩里克·罗德里格斯-卡博内尔 三 Makoto Tatsuta 三 Akihisa山田 2 马丁·阿文齐尼 2 乔里·博曼森 2 陈、陶璐 2 弗洛里安·科齐利厄斯 2 Deters，摩根 2 马丁·格布瑟 2 迪米特里·亨德里克斯 2 Nao Hirokawa 2 汤米·詹胡宁 2 迪帕克·卡普尔 2 大辅木村 2 Le，Quang Loc公司 2 洛伦兹·勒特盖布 2 克里斯托夫·马提亚 2 拉斐尔·纳瓦罗·马塞特 2 阿尔伯特·奥利弗拉斯 2 分手，迈克尔 2 雷内·佩拉塔。 2 马丁·普吕克 2 安德烈亚斯·施纳布尔 2 克里斯蒂安·斯特纳格尔 2 斯威德斯基，斯蒂芬 2 吴志林 2 张淑君 1 斯科特·亚伦森 1 Yohji阿卡玛 1 塞达特·阿克莱莱克 1 阿勒科恩，比阿特丽兹 1 艾尔维拉·阿尔伯特 1 阿丽亚娜·阿尔维斯·阿尔梅达 1 阿维拉·达席尔瓦（Avelar da Silva），安德烈亚·B。 1 毛里西奥·阿亚拉·林科恩 1 帕特里克·贝洛特 1 埃齐奥·巴托西 1 泰斯·波顿 1 阿米尔·本·阿姆拉姆。 1 亚历山大·本特坎普 1 菲利波·比加雷拉 1 贾斯敏·克里斯蒂安·布兰切特 1 玛丽亚·保拉（Maria Paola Bonacina） 1 琼·博亚尔（Joan F.Boyar）。 1 马吕斯·博兹加 1 詹姆斯兄弟斯顿 1 卢卡斯·布埃里 1 安德烈·塞巴斯蒂安·布鲁安 1 蔡少伟 1 乔治亚娜·卡尔泰斯 1 曹振福 1 亚塞明·圣恩盖伦米什 1 亚瑟·查古埃罗 1 陈杰 1 魏恩根·钦 1 瑟·特凡·乔巴赫 1 霍雷修·西尔斯泰 1 西蒙·克鲁内斯 1 查伊卡，Łukasz 1 乌戈·达尔拉戈 1 丹尼·德·施雷耶 1 邓雨欣 1 丹尼尔·迪特施 1 丹尼·多列夫 1 董晓蕾 1 弗朗西斯科·杜兰 …还有138位作者 全部的 前5名23篇连载文章中引用 13 自动推理杂志 7 计算机科学中的逻辑方法 7 程序设计中的逻辑和代数方法杂志 5 信息与计算 5 ACM计算逻辑事务 三 信息处理信件 三 逻辑程序设计理论与实践 2 理论计算机科学 2 符号计算杂志 2 计算的形式方面 2 MSCS公司。计算机科学中的数学结构 2 系统设计中的形式化方法 2 数学与人工智能年鉴 1 计算机与系统科学杂志 1 密码学杂志 1 工程、通信和计算中的应用代数 1 应用非经典逻辑杂志 1 函数编程杂志 1 约束条件 1 计算系统理论 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 《大学学报》。Informatica公司 全部的 前5名10个领域引用 132 计算机科学（68至XX） 31 数学逻辑和基础（03-XX） 5 信息与通信理论、电路（94-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 2 量子理论（81-XX） 2 运筹学、数学规划（90-XX） 1 组合数学（05-XX） 1 阶、格、有序代数结构（06-XX） 1 算子理论（47-XX） 1 概率论与随机过程（60-XX） 按年份列出的引文