编辑配置文件(在新选项卡中打开) 弗洛里安·弗洛恩 合著者距离 作者ID: 佛罗伦萨人 发布日期: 弗洛里安·弗洛恩;弗罗恩。 已编制索引的文档: 17出版物自2014年起 合著者: 14合著者具有16联合出版物 98位合作作者 全部的 前5名合著者 1 单作者的 16 吉尔根·吉斯尔 8 赫塞尔,杰拉 8 托马斯·斯特罗德 6 马克·布罗克施米特 5 卡斯滕·福斯 4 科尼利厄斯·阿斯切尔曼 4 彼得·施奈德·坎普 2 费边·埃姆斯 2 马提亚斯·纳夫 2 卡斯滕·奥托 2 马丁·普吕克 2 斯蒂芬妮·斯威德斯基 2 雷内·蒂曼 1 马塞尔·哈克 系列 3 自动推理杂志 1 信息处理信件 1 程序设计中的逻辑和代数方法杂志 领域 17 计算机科学(68至XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用93中的次63文件 引用人▼ 年份▼ 使用自动分析程序终止和复杂性AProVE公司. Zbl 1409.68255号 吉尔根·吉斯尔;科尼利厄斯·阿斯切尔曼;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;赫塞尔,杰拉;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 26 2017 用AProVE自动证明程序终止。 Zbl 1409.68256号 吉尔根·吉斯尔;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 22 2014 整数程序的运行时下限。 兹比尔1475.68134 弗罗恩。;M.纳夫。;亨塞尔,J。;布罗克施米特,M。;吉斯勒,J。 9 2016 多项式循环的终止。 Zbl 1474.68049号 弗洛里安·弗洛恩;马塞尔·哈克;吉尔根·吉斯尔 7 2020 三角形整数循环的终止是可判定的。 Zbl 07805836号 弗洛里安·弗洛恩;吉尔根·吉斯尔 5 2019 用指针算法证明程序的终止和内存安全。 Zbl 1423.68110号 托马斯·斯特罗德;吉尔根·吉斯尔;马克·布罗克施米特;弗洛里安·弗洛恩;卡斯滕·福斯;赫塞尔,杰拉;彼得·施奈德·坎普 4 2014 通过符号执行证明用位向量算法终止程序。 Zbl 1390.68181号 赫塞尔,杰拉;吉尔根·吉斯尔;弗洛里安·弗洛恩;托马斯·斯特罗德 4 2016 推断运行时复杂性的下限。 Zbl 1366.68116号 弗洛里安·弗洛恩;吉尔根·吉斯尔;赫塞尔,杰拉;科尼利厄斯·阿斯切尔曼;托马斯·斯特罗德 4 2015 术语重写的运行时复杂性下限。 Zbl 1409.68254号 弗洛里安·弗洛恩;吉尔根·吉斯尔;赫塞尔,杰拉;科尼利厄斯·阿斯切尔曼;托马斯·斯特罗德 3 2017 模块化循环加速的微积分。 Zbl 1507.68087号 弗洛里安·弗洛恩 3 2020 复杂性分析Java语言具有AProVE公司. Zbl 1498.68065号 弗洛里安·弗洛恩;吉尔根·吉斯尔 3 2017 使用指针算法自动证明程序的终止和内存安全。 兹比尔1409.68077 托马斯·斯特罗德;吉尔根·吉斯尔;马克·布罗克施米特;弗洛里安·弗洛恩;卡斯滕·福斯;赫塞尔,杰拉;彼得·施奈德·坎普;科尼利厄斯·阿斯切尔曼 2 2017 整数转换系统项重写的复杂性分析。 Zbl 1495.68116号 马提亚斯·纳夫;弗洛里安·弗洛恩;马克·布罗克施米特;卡斯滕·福斯;吉尔根·吉斯尔 1 2017 多项式循环的终止。 Zbl 1474.68049号 弗洛里安·弗洛恩;马塞尔·哈克;吉尔根·吉斯尔 7 2020 模块化循环加速的微积分。 兹比尔1507.68087 弗洛里安·弗洛恩 3 2020 三角形整数循环的终止是可判定的。 Zbl 07805836号 弗洛里安·弗洛恩;吉尔根·吉斯尔 5 2019 使用自动分析程序终止和复杂性AProVE公司. Zbl 1409.68255号 吉尔根·吉斯尔;科尼利厄斯·阿斯切尔曼;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;赫塞尔,杰拉;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 26 2017 术语重写的运行时复杂性下限。 Zbl 1409.68254号 弗洛里安·弗洛恩;吉尔根·吉斯尔;赫塞尔,杰拉;科尼利厄斯·阿斯切尔曼;托马斯·斯特罗德 3 2017 复杂性分析Java语言具有AProVE公司. Zbl 1498.68065号 弗洛里安·弗洛恩;吉尔根·吉斯尔 3 2017 使用指针算法自动证明程序的终止和内存安全。 兹比尔1409.68077 托马斯·斯特罗德;吉尔根·吉斯尔;马克·布罗克施米特;弗洛里安·弗洛恩;卡斯滕·福斯;赫塞尔,杰拉;彼得·施奈德·坎普;科尼利厄斯·阿斯切尔曼 2 2017 整数转换系统项重写的复杂性分析。 兹比尔1495.68116 马提亚斯·纳夫;弗洛里安·弗洛恩;马克·布罗克施米特;卡斯滕·福斯;吉尔根·吉斯尔 1 2017 整数程序的运行时下限。 Zbl 1475.68134号 弗罗恩。;纳夫,M。;亨塞尔,J。;布罗克施米特,M。;J·吉斯尔。 9 2016 通过符号执行证明用位向量算法终止程序。 Zbl 1390.68181号 赫塞尔,杰拉;吉尔根·吉斯尔;弗洛里安·弗洛恩;托马斯·斯特罗德 4 2016 推断运行时复杂性的下限。 Zbl 1366.68116号 弗洛里安·弗洛恩;吉尔根·吉斯尔;赫塞尔,杰拉;科尼利厄斯·阿斯切尔曼;托马斯·斯特罗德 4 2015 用AProVE自动证明程序终止。 Zbl 1409.68256号 吉尔根·吉斯尔;马克·布罗克施米特;费边·埃姆斯;弗洛里安·弗洛恩;卡斯滕·福斯;卡斯滕·奥托;马丁·普吕克;彼得·施奈德·坎普;托马斯·斯特罗德;斯蒂芬妮·斯威德斯基;雷内·蒂曼 22 2014 用指针算法证明程序的终止和内存安全。 Zbl 1423.68110号 托马斯·斯特罗德;吉尔根·吉斯尔;马克·布罗克施米特;弗洛里安·弗洛恩;卡斯滕·福斯;赫塞尔,杰拉;彼得·施奈德·坎普 4 2014 所有引用出版物 前5名被引用出版物 全部的 前5名128位作者引用 11 吉尔根·吉斯尔 9 弗洛里安·弗洛恩 6 赫塞尔,杰拉 5 乔治·莫瑟 5 托马斯·斯特罗德 4 马克·布罗克施米特 4 莎拉·温克勒 3 艾丽卡·阿尔布拉汉姆 3 科尼利厄斯·阿斯切尔曼 3 亚历山德罗·西马蒂 3 卡斯滕·福斯 3 阿尔贝托·格里乔 3 科瓦奇,劳拉·伊尔迪科 3 基里恩·克莱默 3 麦格纳戈,恩里科 3 雷内·蒂曼 3 秋久山田 3 弗洛里安·祖勒格 2 艾尔维拉·阿尔伯特 2 埃齐奥·巴托西 2 马塞尔·哈克 2 洛伦兹·勒特盖布 2 萨尔瓦多卢卡斯 2 艾丽西亚·梅拉约 2 费比安·梅耶 2 马塞尔·穆斯布鲁克 2 阿尔伯特·鲁比奥 2 彼得·施奈德·坎普 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 杰夫·汉密尔顿。 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 Masahiko酒井 1 亚恩鲑鱼 …还有28位作者 全部的 前5名12篇连载文章中引用 7 自动推理杂志 4 计算机科学中的逻辑方法 4 程序设计中的逻辑和代数方法杂志 3 信息与计算 1 信息处理信件 1 理论计算机科学 1 计算的形式方面 1 骨髓间充质干细胞。计算机科学中的数学结构 1 工程、通信和计算中的应用代数 1 系统设计中的形式化方法 1 数学与人工智能年鉴 1 《大学学报》。Informatica公司 全部的 前5名在7个字段中引用 62 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 2 运筹学、数学规划(90-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文