编辑配置文件(在新选项卡中打开) 马尔科·穆尼兹 合著者距离 作者ID: 慕尼黑马可 发布日期: 马尔科·穆尼兹 已编制索引的文档: 12出版物自2011年起 合著者: 17合著者具有12联合出版物 385位合作作者 全部的 前5名合著者 0 单作者的 6 拉森,金·古尔德斯特朗 6 吉·斯尔巴 4 弗雷德里克·梅耶·伯内兰 4 彼得·格约尔·詹森 4 安德烈亚斯·波德尔斯基 4 伯恩德·韦斯特法尔 2 克里斯蒂安·埃雷拉 1 塞尔吉·博戈莫洛夫 1 塞尔吉奥·费奥·阿雷尼斯 1 卡拉、希亚姆·拉尔 1 维克多·昆卡 1 塞巴斯蒂安·隆德 1 马吕斯·米库西奥尼斯 1 托拜厄斯·林格霍姆·约根森 1 托拜厄斯·斯卡鲁普·达安徒生 1 杰斯珀·范迪蓬 1 托马斯·怀斯 系列 1 计算机科学中的逻辑方法 领域 12 计算机科学(68至XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用26次21文件 引用人▼ 年份▼ 命令树数据结构的有效决策过程。 Zbl 1341.68034号 托马斯·怀斯;马尔科·穆尼兹;维克多·昆卡 7 2011 两层可达博弈的顽固集约简。 Zbl 1501.68002号 弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;拉森,金·古尔德斯特朗;马尔科·穆尼兹;吉·斯尔巴 5 2021 可达性博弈的部分降阶。 Zbl 07649931号 弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;Larsen,Kim G。;马尔科·穆尼兹;吉·斯尔巴 5 2019 当时间紧迫时开始修剪:定时系统的部分订单减少。 Zbl 1511.68180号 弗雷德里克·伯内兰。;彼得·格约尔·詹森;拉森,金·古尔德斯特朗;马尔科·穆尼兹;吉·斯尔巴 4 2018 具有不相交活动的时间自动机。 Zbl 1374.68263号 马尔科·穆尼兹;伯恩德·韦斯特法尔;安德烈亚斯·波德尔斯基 2 2012 扩展时间自动机的紧急部分降阶。 Zbl 1517.68259号 Larsen,Kim G。;马吕斯·米库奇奥尼斯;马尔科·穆尼兹;吉·斯尔巴 2 2020 混合自动机中的准相关变量。 Zbl 1361.68118号 塞尔吉·博戈莫洛夫;克里斯蒂安·埃雷拉;马尔科·穆尼兹;伯恩德·韦斯特法尔;安德烈亚斯·波德尔斯基 1 2014 两层可达博弈的顽固集约简。 Zbl 1501.68002号 弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;拉森,金·古尔德斯特朗;马尔科·穆尼兹;吉·斯尔巴 5 2021 扩展时间自动机的紧急部分降阶。 Zbl 1517.68259号 Larsen,Kim G。;马吕斯·米库奇奥尼斯;马尔科·穆尼兹;吉·斯尔巴 2 2020 可达性博弈的部分降阶。 Zbl 07649931号 弗雷德里克·梅耶·伯内兰;彼得·格约尔·詹森;Larsen,Kim G。;马尔科·穆尼兹;吉·斯尔巴 5 2019 当时间紧迫时开始修剪:定时系统的部分订单减少。 Zbl 1511.68180号 弗雷德里克·伯内兰。;Jensen,Peter Gjøl;拉森,金·古尔德斯特朗;马尔科·穆尼兹;吉·斯尔巴 4 2018 混合自动机中的准相关变量。 Zbl 1361.68118号 塞尔吉·博戈莫洛夫;克里斯蒂安·埃雷拉;马尔科·穆尼兹;伯恩德·韦斯特法尔;安德烈亚斯·波德尔斯基 1 2014 具有不相交活动的时间自动机。 兹比尔1374.68263 马尔科·穆尼兹;伯恩德·韦斯特法尔;安德烈亚斯·波德尔斯基 2 2012 命令树数据结构的有效决策过程。 Zbl 1341.68034号 托马斯·怀斯;马尔科·穆尼兹;维克多·昆卡 7 2011 所有引用出版物 前5名被引用出版物 全部的 前5名44位作者引用 4 卢卡什·霍利克 4 彼得·格约尔·詹森 4 拉森,金·古尔德斯特朗 4 Ondřej Lengál 4 马尔科·穆尼兹 4 吉·斯尔巴 4 汤姆·沃纳 三 托马斯·内勒 三 托马斯·怀斯 三 Tim A.C.Willemse。 2 弗雷德里克·梅耶·伯内兰 2 汤姆·菲多尔 2 沃伊特·哈夫勒纳 2 弗雷德里克·赫布雷托 2 巴拉古鲁·斯里瓦桑 2 尼古拉·延森·乌尔里克 2 安蒂·瓦尔马里 1 塞尔吉·博戈莫洛夫 1 帕特里夏·鲍耶 1 马塞洛·福雷茨 1 马丁·范策尔 1 戈兰·弗雷斯 1 保罗·加斯丁 1 詹·菲利普·霍夫曼 1 彼得·扬克 1 大卫·M·卡恩。 1 悉达哈·克里希纳 1 维克多·昆卡 1 塞巴斯蒂安·隆德 1 艾哈迈德·莫欣·马赫迪 1 奥尔德罗格(Ernst-Rüdiger Olderog) 1 安德烈亚斯·波德尔斯基 1 托拜厄斯·林格霍姆·约根森 1 奥坎·桑库尔 1 克里斯蒂安·席林 1 托拜厄斯·斯卡鲁普·达安徒生 1 亚历山大·萨默斯。 1 马尼省斯瓦米纳坦 1 Nishant Totla公司 1 杰斯珀·范迪蓬 1 西蒙·梅尔比 1 伊戈尔·瓦卢基维奇 1 威格·威瑟林克 1 伯恩德·韦斯特法尔 5篇连载文章中引用 2 自动推理杂志 1 信息学报 1 信息与计算 1 计算的形式方面 1 计算机科学中的逻辑方法 在3个字段中引用 21 计算机科学(68至XX) 10 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文