编辑配置文件(在新选项卡中打开) 梅克·施瓦姆伯格 合著者距离 作者ID: schwammberger.maike公司 发布日期: 梅克·施瓦姆伯格 编入索引的文档: 3出版物自2016年起 合著者: 2合著者具有2份联合出版物 46位合著者 合著者 1 单作者的 1 马丁·希尔舍尔 1 奥尔德罗格(Ernst-Rüdiger Olderog) 系列 1 理论计算机科学 领域 三 计算机科学(68至XX) 三 运筹学、数学规划(90-XX) 2 数学逻辑和基础(03-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 zbMATH Open中包含的引文 三出版物有被引用6中的次5文件 引用人▼ 年份▼ 证明自治城市交通安全的抽象模型。 Zbl 1401.68199号 马丁·希尔舍尔;梅克·施瓦姆伯格 三 2016 证明自治城市交通安全的抽象模型。 Zbl 1400.68126号 梅克·施瓦姆伯格 2 2018 用时间自动机形式化危险警告通信协议。 Zbl 1431.68011号 奥尔德罗格(Ernst-Rüdiger Olderog);梅克·施瓦姆伯格 1 2017 证明自治城市交通安全的抽象模型。 Zbl 1400.68126号 梅克·施瓦姆伯格 2 2018 用时间自动机形式化危险警告通信协议。 Zbl 1431.68011号 奥尔德罗格(Ernst-Rüdiger Olderog);梅克·施瓦姆伯格 1 2017 证明自治城市交通安全的抽象模型。 Zbl 1401.68199号 马丁·希尔舍尔;梅克·施瓦姆伯格 三 2016 全部的 前5名11位作者引用 1 克里斯托弗·比肖宾克 1 朱利奥·塞萨尔·戈伊兹 1 顾业文 1 瓜哈尔多,马里奥 1 霍贾特Khosrowjerdi 1 卡尔·梅恩克 1 内马蒂,哈米德 1 奥尔德罗格(Ernst-Rüdiger Olderog) 1 奥坎·奥兹坎 1 梅克·施瓦姆伯格 1 斯坦·华莱士。 2篇连载文章中引用 1 理论计算机科学 1 运筹学国际交易 在3个字段中引用 4 计算机科学(68至XX) 2 运筹学、数学规划(90-XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文