编辑配置文件(在新选项卡中打开) 艾克·莫尔曼 合著者距离 作者ID: 莫尔曼·艾克 发布日期: 艾克·莫尔曼 已编制索引的文档: 5出版物自2011年起 合著者: 7合著者具有5联合出版物 169位合作作者 全部的 前5名合著者 0 单作者的 三 奥利弗·泰尔 1 艾哈迈德·博阿贾尼 1 达姆,沃纳 1 威廉·哈格曼 1 奥黛·朱伯伦 1 罗兰·梅耶 1 阿斯特里德·拉科夫 系列 领域 4 计算机科学(68至XX) 2 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物被引用22次15文件 引用人▼ 年份▼ 根据总店铺订单确定稳健性。 Zbl 1333.68082号 艾哈迈德·博阿贾尼;罗兰·梅耶;艾克·莫尔曼 6 2011 基于组件的混合系统设计:并发和耦合的案例研究。 Zbl 1361.68142号 达姆,沃纳;艾克·莫尔曼;阿斯特里德·拉科夫 6 2014 Stabhyli–非线性混合系统自动稳定性验证工具。 Zbl 1362.93111号 艾克·莫尔曼;奥利弗·泰尔 6 2013 用于混合系统的混合工具–可立即证明稳定性和安全性。 Zbl 1465.93101号 艾克·莫尔曼;威廉·哈格曼;奥利弗·泰尔 2 2015 通过检查有限反例的缺失来验证自稳定中的递归性质。 Zbl 1428.68084号 奥代朱布兰;艾克·莫尔曼;奥利弗·泰尔 2 2015 用于混合系统的混合工具–可立即证明稳定性和安全性。 Zbl 1465.93101号 艾克·莫尔曼;威廉·哈格曼;奥利弗·泰尔 2 2015 通过检查有限反例的缺失来验证自稳定中的递归性质。 Zbl 1428.68084号 奥黛·朱伯伦;艾克·莫尔曼;奥利弗·泰尔 2 2015 基于组件的混合系统设计:并发和耦合的案例研究。 Zbl 1361.68142号 达姆,沃纳;艾克·莫尔曼;阿斯特里德·拉科夫 6 2014 Stabhyli–非线性混合系统自动稳定性验证工具。 Zbl 1362.93111号 艾克·莫尔曼;奥利弗·泰尔 6 2013 根据总店铺订单确定稳健性。 Zbl 1333.68082号 艾哈迈德·博阿贾尼;罗兰·梅耶;艾克·莫尔曼 6 2011 所有引用出版物 前5名被引用出版物 全部的 前5名25位作者引用 4 艾哈迈德·博阿贾尼 三 Beillahi、Sidi Mohamed 三 康斯坦丁·埃纳 2 威廉·哈格曼 2 艾克·莫尔曼 2 梅克·施瓦姆伯格 2 奥利弗·泰尔 1 穆罕默德·法乌齐(Mohamed Faouzi Atig) 1 罗伯特·J·科尔文。 1 马可·多科 1 马丁·希尔舍尔 1 保罗·B·杰克逊。 1 泰勒·T·约翰逊。 1 奥黛·朱伯伦 1 Jan Kuřátko 1 斯特凡·米奇 1 Gennaro帕拉托 1 安德烈·普拉泽 1 帕维特拉·普拉巴卡 1 格雷姆·史密斯 1 安德鲁·索戈孔 1 米丽亚姆·加西亚·索托 1 Tan,Yong Kiam(陈永健) 1 维克托·瓦菲阿迪斯 1 克尔斯滕·温特 全部的 前5名7篇连载文章中引用 1 理论计算机科学 1 自动推理杂志 1 计算的形式方面 1 线性代数及应用 1 计算机科学中的数学 1 计算机科学中的逻辑方法 1 非线性分析。混合动力系统 全部的 前5名在6个字段中引用 13 计算机科学(68至XX) 5 系统论;控制(93至XX) 4 运筹学、数学规划(90-XX) 三 数学逻辑和基础(03-XX) 1 凸和离散几何(52至XX) 1 数值分析(65-XX) 按年份列出的引文