编辑配置文件(在新选项卡中打开) 马克西米利安·P·L·哈斯贝克。 合著者距离 作者ID: haslbeck.maximilian-p-l型 发布方式: 马克西米利安·P·L·哈斯贝克。;马克西米利安·哈斯贝克 已编制索引的文档: 9出版物自2013年起 合著者: 10位合著者具有9联合出版物 179位Co-Co作者 全部的 前5名合著者 0 单作者的 5 托比亚斯·尼普科 2 彼得·兰米奇 1 贾斯敏·克里斯蒂安·布兰切特 1 乔治·卡尔 1 科尼利厄斯·迪克曼 1 曼纽尔·埃贝尔 1 拉尔斯·赫佩尔 1 丹尼尔·马提库克 1 朱利叶斯·迈克利斯 1 詹伯华 系列 1 自动推理杂志 领域 9 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用25中的次22文件 引用人▼ 年份▼ 挖掘正式校对档案。 Zbl 1417.68176号 贾斯敏·克里斯蒂安·布兰切特;马克西米利安·哈斯贝克;丹尼尔·马提库克;托比亚斯·尼普科 11 2015 在Isabelle中验证命令式程序的渐近时间复杂性。 Zbl 1511.68334号 詹伯华;马克西米利安·哈斯贝克。 三 2018 Hoare时间界限逻辑。元理论研究。 Zbl 1423.68098号 马克西米利安·哈斯贝克。;托比亚斯·尼普科 三 2018 随时间优化–优化Isabelle/HOL中算法的运行时间。 Zbl 07649969号 马克西米利安·哈斯贝克。;彼得·兰米奇 三 2019 已验证iptables防火墙分析和验证。 Zbl 1451.68173号 科尼利厄斯·迪克曼;拉尔斯·胡佩尔;朱利叶斯·迈克利斯;马克西米利安·哈斯贝克;乔治·卡尔 2 2018 验证教科书算法。有偏见的调查。 Zbl 1517.68443号 托比亚斯·尼普科;曼纽尔·埃贝尔;马克西米利安·哈斯贝克。 2 2020 再要几美元。验证细粒度算法分析,直至LLVM。 Zbl 1473.68222号 马克西米利安·哈斯贝克。;彼得·兰米奇 1 2021 再要几美元。验证细粒度算法分析,直至LLVM。 Zbl 1473.68222号 马克西米利安·P·L·哈斯贝克。;彼得·兰米奇 1 2021 验证教科书算法。有偏见的调查。 兹比尔1517.68443 托比亚斯·尼普科;曼纽尔·埃贝尔;马克西米利安·哈斯贝克。 2 2020 随时间优化–优化Isabelle/HOL中算法的运行时间。 兹比尔07649969 马克西米利安·哈斯贝克。;彼得·兰米奇 三 2019 在Isabelle中验证命令式程序的渐近时间复杂性。 Zbl 1511.68334号 詹伯华;马克西米利安·哈斯贝克。 三 2018 Hoare时间界限逻辑。元理论研究。 Zbl 1423.68098号 马克西米利安·哈斯贝克。;托比亚斯·尼普科 三 2018 已验证iptables防火墙分析和验证。 Zbl 1451.68173号 科尼利厄斯·迪克曼;拉尔斯·胡佩尔;朱利叶斯·迈克利斯;马克西米利安·哈斯贝克;乔治·卡尔 2 2018 挖掘正式校对档案。 Zbl 1417.68176号 贾斯敏·克里斯蒂安·布兰切特;马克西米利安·哈斯贝克;丹尼尔·马提库克;托比亚斯·尼普科 11 2015 所有引用出版物 前5名被引用出版物 全部的 前5名47位作者引用 三 亚当·格拉博夫斯基 三 马克西米利安·哈斯贝克。 三 彼得·兰米奇 三 Pąk,卡罗尔 2 Jose Divasón 2 费边·胡奇 2 塞萨里·卡利西克 1 Krzysztof Rafal公寓 1 杰苏斯·阿兰塞 1 格拉泽戈兹·班塞雷克 1 塔比亚·博迪斯 1 乍得·布朗·爱德华 1 Czesław拜林斯基 1 乔治·卡尔 1 陈兴伦 1 亚瑟·查古埃罗 1 诺曼·丹纳 1 科尼利厄斯·迪克曼 1 雅克·弗莱里奥特。 1 米洛什·格里戈里奇。 1 阿玛·盖诺 1 沃尔特·古特曼 1 什特·潘·霍卢布 1 拉尔斯·胡佩尔 1 雅克·亨利·乔尔丹 1 阿图尔·科尔尼·奥维茨 1 刘伟祥 1 李俊毅·杰西 1 丹尼尔·李卡塔(Daniel R.Licata)。 1 卡林·麦肯齐 1 罗马人Matuszewski 1 朱利叶斯·迈克利斯 1 安舒曼·莫汉 1 亚当·纳莫维奇 1 聂鹏宇 1 诺里斯,迈克尔 1 奥尔德罗格(Ernst-Rüdiger Olderog) 1 卡尔·帕尔姆斯科格 1 亚历克斯·波坦 1 弗朗索瓦·波蒂埃 1 尼古拉斯·罗宾森·奥布莱恩 1 托拜厄斯·隆格 1 伊娜·谢弗 1 施塔洛斯塔 1 雷内·蒂曼 1 托马斯·图姆 1 詹姆斯·沃恩 5篇连载文章中引用 6 自动推理杂志 1 计算的形式方面 1 函数编程杂志 1 计算机基础理论 1 计算机科学中的逻辑方法 在5个字段中引用 22 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 1 数论(11-XX) 1 交换代数(13-XX) 按年份列出的引文