编辑配置文件（在新选项卡中打开） 奥拉夫·穆勒 合著者距离 作者ID： 穆勒.olaf.1 发布日期： 奥拉夫·米勒;奥拉夫·穆勒 外部链接： 管理程序 已编制索引的文档： 36出版物自1994年以来，包括1本书和14附加arXiv预打印 合著者： 10位合著者具有5份联合出版物 194位联合作者 全部的 前5名合著者 23 单作者的 1 伯恩德·埃伯哈德·阿曼 1 马丁·鲍尔 1 奥拉夫·博诺登 1 鲍里斯·博特文尼克。 1 杰根·格哈德 1 Gh Ghanbari，P。 1 尼古拉·基努克斯 1 格罗鲍尔，伯尔尼 1 克劳斯·克伦克 1 克里斯托夫·科普恩 1 彼得·沃尔夫拉姆·米歇尔 1 悉达多·米什拉 1 罗伯托·莫里纳罗 1 托比亚斯·尼普科 1 迈克尔·诺克 1 尼古拉·诺瓦奇克 1 迈克尔·纽斯肯 1 奥斯卡·斯洛托什 1 托马斯·斯塔纳 1 大卫·冯·奥海姆 1 约阿希姆·冯·祖尔·盖森 1 弗兰茨·韦伯 全部的 前5名系列 2 广义相对论与引力 2 数学物理中的字母 2 几何与物理杂志 1 经典引力和量子引力 1 数学物理中的通信 1 应用力学与工程中的计算机方法 1 数学物理杂志 1 SIGSAM公告 1 《亨利·彭加莱学院年鉴》。分析非利奈尔 1 微分几何及其应用 1 函数编程杂志 1 理论和数学物理进展 1 动力系统的数学和计算机建模 1 埃尔肯特尼斯 全部的 前5名领域 17 微分几何（53至XX） 7 计算机科学（68至XX） 7 相对论和引力理论（83至XX） 5 整体分析，流形分析（58-XX） 三 数学逻辑和基础（03-XX） 三 量子理论（81-XX） 2 偏微分方程（35-XX） 1 组合数学（05-XX） 1 阶、格、有序代数结构（06-XX） 1 场论和多项式（12-XX） 1 实际功能（26年X月X日） 1 测量和集成（28-XX） 1 复变量的函数（30年XX月） 1 常微分方程（34-XX） 1 动力系统和遍历理论（37至XX） 1 功能分析（46倍X倍） 1 算子理论（47-XX） 1 几何图形（51至XX） 1 流形和细胞复合体（57至XX） 1 数值分析（65-XX） 1 粒子和系统力学（70-XX） 1 可变形固体力学（74-XX） 1 经典热力学，传热（80-XX） 1 系统论；控制（93至XX） 1 信息和通信理论，电路（94-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用28中的次27文件 引用人▼ 年份▼ HOLCF=HOL+LCF。 Zbl 0933.03028号 奥拉夫·米勒;托比亚斯·尼普科;大卫·冯·奥海姆;奥斯卡·斯洛托什 12 1999 I/O自动机及其超越：Isabelle中的时态逻辑和抽象。 Zbl 0927.03024号 奥拉夫·米勒 5 1998 无质量Dirac-Maxwell系统的全局可解性。 Zbl 1403.35252号 尼古拉·基努克斯;奥拉夫·米勒 4 2018 使用线性混合自动机进行建模和验证–案例研究。 Zbl 0938.93568号 奥拉夫·米勒;托马斯·斯塔纳 4 2000 作为变分理论的普适自旋束和爱因斯坦-狄拉克-麦克斯韦方程。 Zbl 1370.35192号 奥拉夫·米勒;尼古拉·诺瓦奇克 4 2017 保体积浸入空间的黎曼几何。 Zbl 1357.58013号 马丁·鲍尔;彼得·米歇尔（Peter W.Michor）。;奥拉夫·米勒 4 2016 对一百万次以上的二元多项式进行因子分解。 Zbl 1054.65047号 奥拉夫·博诺登;约阿希姆·冯·祖尔·盖森;杰根·格哈德;穆勒，奥拉夫;迈克尔·诺克 4 2001 哪些时空允许保角紧化？ 兹比尔1360.83009 穆勒，奥拉夫 4 2016 基于形式化元理论的I/O自动机验证环境。 Zbl 0914.68135号 奥拉夫·米勒 三 1998 将指数定理应用于非光滑算子。 Zbl 1375.58018号 奥拉夫·米勒 三 2017 爱因斯坦-麦克斯韦理论中的黑洞。 Zbl 1475.83083号 奥拉夫·米勒 2 2019 关于不变时间函数的注记。 Zbl 1356.53068号 奥拉夫·米勒 2 2016 Lorentzian Gromov-Hausdorff理论和有限性结果。 Zbl 1515.83412号 奥拉夫·米勒 2 2022 洛伦兹几何中的函数：主题的三种变体。 Zbl 1528.83094号 奥拉夫·米勒 2 2023 洛伦兹几何中的函数：主题的三种变体。 Zbl 1528.83094号 奥拉夫·米勒 2 2023 Lorentzian Gromov-Hausdorff理论和有限性结果。 Zbl 1515.83412号 奥拉夫·米勒 2 2022 爱因斯坦-麦克斯韦理论中的黑洞。 Zbl 1475.83083号 奥拉夫·米勒 2 2019 无质量Dirac-Maxwell系统的全局可解性。 Zbl 1403.35252号 尼古拉·基努克斯;奥拉夫·米勒 4 2018 作为变分理论的普适自旋束和爱因斯坦-狄拉克-麦克斯韦方程。 Zbl 1370.35192号 奥拉夫·米勒;尼古拉·诺瓦奇克 4 2017 将指数定理应用于非光滑算子。 兹比尔1375.58018 奥拉夫·米勒 三 2017 保体积浸入空间的黎曼几何。 兹比尔1357.58013 马丁·鲍尔;彼得·米歇尔（Peter W.Michor）。;穆勒，奥拉夫 4 2016 哪些时空允许保角紧化？ Zbl 1360.83009号 奥拉夫·米勒 4 2016 关于不变时间函数的注记。 Zbl 1356.53068号 奥拉夫·米勒 2 2016 对一百万次以上的二元多项式进行因子分解。 Zbl 1054.65047号 奥拉夫·博诺登;约阿希姆·冯·祖尔·盖森;杰根·格哈德;奥拉夫·米勒;迈克尔·诺克 4 2001 使用线性混合自动机进行建模和验证–案例研究。 Zbl 0938.93568号 奥拉夫·米勒;托马斯·斯塔纳 4 2000 HOLCF=HOL+LCF。 Zbl 0933.03028号 奥拉夫·米勒;托比亚斯·尼普科;大卫·冯·奥海姆;奥斯卡·斯洛托什 12 1999 I/O自动机及其超越：Isabelle中的时态逻辑和抽象。 Zbl 0927.03024号 奥拉夫·米勒 5 1998 基于形式化元理论的I/O自动机验证环境。 Zbl 0914.68135号 奥拉夫·米勒 三 1998 所有引用的出版物 前5名被引用出版物 全部的 前5名55位作者引用 三 约翰·德里克 三 西蒙·多尔蒂 三 布里杰什·多戈尔 三 格哈德·谢尔霍恩 三 约阿希姆·冯·祖尔·盖森 三 海克·卫尔海姆 2 埃利尼·比拉 2 彼得·霍夫纳 2 亚历山大·克劳斯 2 Kunčar，安大略省 2 安德烈·波佩斯库 2 卡斯滕·瓦明 1 法蒂玛·K·阿布·塞勒姆。 1 马可·安东尼奥蒂 1 米拉·阿彻（Myla M.Archer）。 1 尼克·本顿 1 拉尔斯·比克达尔 1 蒂莫西·布鲁克 1 波夫，安娜 1 阿希姆·D·布鲁克。 1 卢卡斯·布尔瓦恩 1 Chandy，Kanianthra玛尼 1 史蒂文·程 1 亚历山德罗·西马蒂 1 阿巴斯·埃达拉特 1 埃尔克，莱文特 1 彼得·甘米 1 杰根·格哈德 1 佛罗里达州哈夫特曼 1 丽莎·海姆 1 富利亚·霍罗扎尔 1 布赖恩·霍夫曼 1 贾拉尔·卡瓦什 1 安德鲁·肯尼迪。 1 林洪平 1 萨扬·密特拉 1 塞尔吉奥·莫弗 1 托比亚斯·尼普科 1 迈克尔·诺克 1 斯科特·欧文斯 1 丹尼尔·帕纳里奥 1 德克·帕丁森 1 鲍尔森、劳伦斯·查尔斯 1 卡拉广场 1 阿尔贝托，Policriti 1 弗洛里安·拉贝 1 布鲁斯·里士满 1 玛尔塔·西蒙 1 康拉德·斯林德 1 索索、马蒂厄 1 斯特凡诺·托内塔 1 奥列格·特拉夫金 1 范格拉贝克、罗伯特·扬 1 马卡里乌斯·温泽尔 1 沃尔夫，伯克哈特 全部的 前5名13篇连载文章中引用 三 自动推理杂志 2 计算数学 2 理论计算机科学 1 计算 1 算法 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 分布式计算 1 系统设计中的形式化方法 1 函数编程杂志 1 高阶和符号计算 1 逻辑与代数程序设计杂志 1 计算机科学中的逻辑方法 全部的 前5名在8个字段中引用 27 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 三 数论（11-XX） 2 场论和多项式（12-XX） 1 阶、格、有序代数结构（06-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 动力系统和遍历理论（37至XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文