编辑配置文件(在新选项卡中打开) 马丁·普吕克 合著者距离 作者ID: 拔毛器 发布日期: 马丁·普吕克 已编制索引的文档: 3出版物自2009年起 合著者: 13合著者具有3联合出版物 97合著作者 全部的 前5名合著者 0 单作者的 三 卡斯滕·福斯 三 吉尔根·吉斯尔 三 彼得·施奈德·坎普 2 马克·布罗克施米特 2 费边·埃姆斯 2 弗洛里安·弗洛恩 2 卡斯滕·奥托 2 托马斯·斯特罗德 2 斯蒂芬妮·斯威德斯基 2 雷内·蒂曼 1 科尼利厄斯·阿斯切尔曼 1 斯蒂芬·福克 1 杰拉·亨塞尔 系列 1 自动推理杂志 领域 三 计算机科学(68至XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用59中的次55文件 引用人▼ 年份▼ 使用自动分析程序终止和复杂性AProVE公司. Zbl 1409.68255号 吉尔根·吉斯尔;科尼利厄斯·阿斯切尔曼;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 26 2017 用AProVE自动证明程序终止。 兹比尔1409.68256 吉尔根·吉斯尔;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 22 2014 证明整数项重写的终止。 Zbl 1242.68131号 卡斯滕·福斯;吉尔根·吉斯尔;马丁·普吕克;彼得·施奈德·坎普;斯蒂芬·福克 11 2009 使用自动分析程序终止和复杂性AProVE公司. Zbl 1409.68255号 吉尔根·吉斯尔;科尼利厄斯·阿斯切尔曼;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 26 2017 用AProVE自动证明程序终止。 Zbl 1409.68256号 吉尔根·吉斯尔;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 22 2014 证明整数项重写的终止。 Zbl 1242.68131号 卡斯滕·福斯;吉尔根·吉斯尔;马丁·普吕克;彼得·施奈德·坎普;斯蒂芬·福克 11 2009 所有引用的出版物 前5名被引用出版物 全部的 前5名109位作者引用 9 吉尔根·吉斯尔 6 弗洛里安·弗洛恩 5 卡斯滕·福斯 5 杰拉·亨塞尔 5 乔治·莫瑟 5 托马斯·斯特罗德 5 莎拉·温克勒 4 马克·布罗克施米特 三 艾丽卡·阿尔布拉汉姆 三 科尼利厄斯·阿斯切尔曼 三 亚历山德罗·西马蒂 三 阿尔贝托·格里乔 三 基里恩·克莱默 三 麦格纳戈,恩里科 三 直纪西田 三 雷内·蒂曼 三 Akihisa山田 2 辛西娅·科普 2 洛伦兹·勒特盖布 2 萨尔瓦多卢卡斯 2 阿尔特·米德尔多普 2 卡斯滕·奥托 2 彼得·施奈德·坎普 2 弗洛里安·祖勒格 1 斯科特·亚伦森 1 艾尔维拉·阿尔伯特 1 埃齐奥·巴托奇 1 泰斯·波顿 1 阿米尔·本·阿姆拉姆。 1 玛丽亚·保拉(Maria Paola Bonacina) 1 克里斯蒂娜·博拉莱拉斯 1 乔治亚娜·卡尔泰斯 1 曹振福 1 亚瑟·夏盖罗 1 陈杰 1 科迪什,迈克尔 1 弗洛里安·科齐利厄斯 1 邓玉欣 1 丹尼尔·迪特施 1 董晓雷 1 弗朗西斯科·杜兰 1 费边·埃姆斯 1 斯蒂芬·福克 1 托马斯·杰奈特 1 阿尔芬斯·盖瑟 1 龚俊清 1 劳雷·贡诺德 1 伊戈尔·戈诺波尔斯基 1 阿玛·盖诺 1 郭丽叶 1 雷纳·哈内尔 1 马塞尔·哈克 1 Heule,Marijn J.H。 1 迪特尔·霍夫鲍尔 1 马丁·霍夫曼 1 早坂石冢 1 雅克·亨利·乔尔丹 1 德扬·约瓦诺维奇 1 塞巴斯蒂安·荣格斯 1 迪帕克·卡普尔 1 Joost-Pieter卡托恩 1 埃里克·科斯金 1 科瓦奇,劳拉·伊尔迪科 1 丹尼尔·拉拉兹 1 Le,Ton Chanh先生 1 恩格尔·勒福丘 1 刘远东赛勒斯 1 马丁·奥列特,纳西索 1 艾丽西亚·梅拉约 1 费比安·梅耶 1 马塞尔·穆斯布鲁克 1 托比亚斯·尼普科 1 大卫·奥布瓦勒 1 阿尔伯特·奥利弗拉斯 1 乔尔·欧·瓦克宁。 1 密歇根州Oyamaguchi 1 庞成斌 1 劳伦斯·查尔斯·保尔森 1 马丁·普吕克 1 乔治·波托卡利迪斯 1 弗朗索瓦·波蒂埃 1 乘务长,大卫 1 恩里克·罗德里格斯-卡博内尔 1 阿尔伯特·鲁比奥 1 大卫·萨贝尔 1 坂部俊彦 1 Masahiko酒井 1 津巴萨坂田 1 三文鱼,Yann 1 亚历杭德罗·桑切斯。 1 塞萨尔·桑切斯 1 迈克尔·沙珀 1 玛丽亚·谢特(Maria A.Schett)。 1 斯特凡·舒普 1 多米尼克·施泰因费尔 1 托马斯·斯特纳格尔 1 斯蒂芬妮·斯威德斯基 1 唐少华 1 昆卡罐Tunç 1 迪维德·维尔 …还有9位作者 全部的 前5名12篇连载文章中引用 7 自动推理杂志 4 程序设计中的逻辑和代数方法杂志 三 信息与计算 三 计算机科学中的逻辑方法 1 信息处理信件 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 工程、通信和计算中的应用代数 1 数学与人工智能年鉴 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 《大学学报》。Informatica公司 全部的 前5名在7个字段中引用 54 计算机科学(68至XX) 6 数理逻辑与基础(03-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 运筹学、数学规划(90-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文