编辑配置文件(在新选项卡中打开) 科尼利厄斯·阿斯切尔曼 合著者距离 作者ID: 山茱萸 发布日期: 科尼利厄斯·阿斯切尔曼 已编制索引的文档: 4出版物自2015年起 合著者: 12位合著者具有4联合出版物 97合著作者 全部的 前5名合著者 0 单作者的 4 弗洛里安·弗洛恩 4 吉尔根·吉斯尔 4 杰拉·亨塞尔 4 托马斯·斯特罗德 2 马克·布罗克施米特 2 卡斯滕·福斯 2 彼得·施奈德·坎普 1 费边·埃姆斯 1 卡斯滕·奥托 1 马丁·普吕克 1 斯蒂芬妮·斯威德斯基 1 雷内·蒂曼 系列 三 自动推理杂志 字段 4 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用39中的次34文件 引用人▼ 年份▼ 使用自动分析程序终止和复杂性AProVE公司. Zbl 1409.68255号 吉尔根·吉斯尔;科尼利厄斯·阿斯切尔曼;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;Fuhs,卡斯滕;杰拉·亨塞尔;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯维德斯基;雷内·蒂曼 29 2017 推断运行时复杂性的下限。 Zbl 1366.68116号 弗洛里安·弗洛恩;吉尔根·吉斯尔;杰拉·亨塞尔;科尼利厄斯·阿斯切尔曼;托马斯·斯特罗德 4 2015 使用指针算法自动证明程序的终止和内存安全。 Zbl 1409.68077号 托马斯·斯特罗德;吉尔根·吉斯尔;马克·布罗克施米特;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;彼得·施奈德·坎普;科尼利厄斯·阿斯切尔曼 三 2017 术语重写的运行时复杂性下限。 兹比尔1409.68254 弗洛里安·弗洛恩;吉尔根·吉斯尔;杰拉·亨塞尔;科尼利厄斯·阿斯切尔曼;托马斯·斯特罗德 三 2017 使用自动分析程序终止和复杂性AProVE公司. Zbl 1409.68255号 吉尔根·吉斯尔;科尼利厄斯·阿斯切尔曼;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 29 2017 使用指针算法自动证明程序的终止和内存安全。 Zbl 1409.68077号 托马斯·斯特罗德;吉尔根·吉斯尔;马克·布罗克施米特;弗洛里安·弗洛恩;卡斯滕·福斯;杰拉·亨塞尔;彼得·施奈德·坎普;科尼利厄斯·阿斯切尔曼 三 2017 术语重写的运行时复杂性下限。 Zbl 1409.68254号 弗洛里安·弗洛恩;吉尔根·吉斯尔;杰拉·亨塞尔;科尼利厄斯·阿斯切尔曼;托马斯·斯特罗德 三 2017 推断运行时复杂性的下限。 Zbl 1366.68116号 弗洛里安·弗洛恩;吉尔根·吉斯尔;杰拉·亨塞尔;科尼利厄斯·阿斯切尔曼;托马斯·斯特罗德 4 2015 所有引用出版物 前5名被引用出版物 全部的 前5名76位作者引用 7 吉尔根·吉斯尔 6 弗洛里安·弗洛恩 5 杰拉·亨塞尔 4 马克·布罗克施米特 4 乔治·莫瑟 4 托马斯·斯特罗德 三 科尼利厄斯·阿斯切尔曼 三 卡斯滕·福斯 三 莎拉·温克勒 三 弗洛里安·祖勒格 2 洛伦兹·勒特盖布 2 萨尔瓦多卢卡斯 2 彼得·施奈德·坎普 2 雷内·蒂曼 1 斯科特·亚伦森 1 埃齐奥·巴托西 1 波登,泰国 1 玛丽亚·保拉(Maria Paola Bonacina) 1 克里斯蒂娜·博拉莱拉斯 1 乔治亚娜·卡尔泰斯 1 曹振福 1 亚瑟·查古埃罗 1 陈杰 1 丹尼尔·迪特施 1 董晓蕾 1 费边·埃姆斯 1 阿尔芬斯·盖瑟 1 龚俊清 1 劳雷·贡诺德 1 阿玛·盖诺 1 郭丽叶 1 马塞尔·哈克 1 Heule,Marijn J.H。 1 迪特尔·霍夫鲍尔 1 马丁·霍夫曼 1 早坂石冢 1 雅克·亨利·乔尔丹 1 Joost-Pieter卡托恩 1 埃里克·科斯金 1 科瓦奇,劳拉·伊尔迪科 1 丹尼尔·拉拉兹 1 Le,Ton Chanh先生 1 恩格尔·勒福丘 1 Liu,远东赛勒斯 1 费比安·梅耶 1 马塞尔·穆斯布鲁克 1 马提亚斯·纳夫 1 托比亚斯·尼普科 1 直纪西田 1 大卫·奥布瓦勒 1 阿尔伯特·奥利弗拉斯 1 卡斯滕·奥托 1 乔尔·欧·瓦克宁。 1 小山口,美雄 1 庞成斌 1 托马斯·帕尼 1 劳伦斯·查尔斯·保尔森 1 马丁·普吕克 1 乔治·波托卡利迪斯 1 弗朗索瓦·波蒂埃 1 乘务长,大卫 1 恩里克·罗德里格斯-卡博内尔 1 阿尔伯特·鲁比奥 1 Masahiko酒井 1 迈克尔·沙珀 1 斯蒂芬妮·斯威德斯基 1 唐少华 1 昆卡罐Tunç 1 迪维德·维尔 1 约翰内斯·沃尔德曼 1 乔治·威森巴赫 1 马卡里乌斯·温泽尔 1 詹姆斯·沃雷尔。 1 徐军 1 Akihisa山田 1 埃姆雷·约尔库 全部的 前5名8篇连载文章中引用 7 自动推理杂志 4 程序设计中的逻辑和代数方法杂志 1 信息处理信件 1 信息与计算 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 工程、通信和计算中的应用代数 1 系统设计中的形式化方法 在5个字段中引用 33 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 2 运筹学、数学编程(90-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文