编辑配置文件(在新选项卡中打开) 威梅尔,哈罗 合著者距离 作者ID: 维梅尔·哈罗 发布日期: 哈罗·威梅尔;维梅尔 外部链接: MGP公司 已编制索引的文档: 26出版物自1997年以来,包括3本书 合著者: 13合著者具有22联合出版物 281位合作作者 全部的 前5名合著者 4 单作者的 10 最好的,艾克 5 Uli Schlachter公司 5 卡斯滕·沃尔夫 4 普里塞·卢茨 2 菲利普·达伦多 2 雷蒙德·魔鬼队 2 埃罗菲耶夫·叶夫根尼 1 哈维尔·埃斯帕尔扎 1 彼得·哈贝梅尔 1 哈罗 1 托马斯·胡贾萨 1 罗兰·梅耶 1 奥利维娅·奥内亚 全部的 前5名系列 2 理论计算机科学 2 计算机基础理论 1 信息与计算 1 计算机科学中的逻辑方法 1 计算机科学科学年鉴 1 斯普林格·勒布赫 字段 26 计算机科学(68至XX) 1 数理逻辑与基础(03-XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 21出版物有被引用97中的次80文件 引用人▼ 年份▼ 理论计算机科学。Petri网。(理论信息学,Petri-Netze) Zbl 1137.68452号 普里塞·卢茨;哈罗·威梅尔 10 2003 确定虹吸捕捉特性的新算法。 兹比尔1285.68108 奥利维娅·奥内亚;哈罗·威梅尔;卡斯滕·沃尔夫 8 2010 Petri网语言的向下封闭。 Zbl 1288.68181号 彼得·哈贝梅尔;罗兰·梅耶;哈罗·威梅尔 8 2010 将CEGAR应用于Petri网状态方程。 Zbl 1248.68360号 维梅尔;哈罗;卡斯滕·沃尔夫 8 2012 通过解决分离问题为Petri网合成重新标记LTS。 Zbl 1464.68261号 Uli Schlachter公司;哈罗·威梅尔 5 2019 将CEGAR应用于Petri网状态方程。 Zbl 1316.68079号 哈罗·威梅尔;卡斯滕·沃尔夫 5 2011 无冲突Petri网中的可分性。 Zbl 1185.68438号 最好的,艾克;哈维尔·埃斯帕尔扎;哈罗·威梅尔;卡斯滕·沃尔夫 5 2007 描述Petri网可解二进制字的特征。 Zbl 1346.68127号 最好的,艾克;埃罗菲耶夫·叶夫根尼;Uli Schlachter公司;哈罗·威梅尔 5 2016 Petri网的结构理论。 Zbl 1382.68148号 最好的,艾克;哈罗·威梅尔 5 2013 事件/状态分离的几何特征。 Zbl 1427.68209号 Uli Schlachter公司;哈罗·威梅尔 4 2018 \基于模态转换系统的(k)-有界Petri网综合。 Zbl 1442.68151号 Uli Schlachter公司;哈罗·威梅尔 4 2017 同步Petri网合成。 兹比尔1424.68099 最好的,艾克;雷蒙德·魔鬼队;Uli Schlachter公司;哈罗·威梅尔 4 2018 Petri网真正一致性和交错语义的统一方法。 Zbl 0917.68159号 普里塞·卢茨;哈罗·威梅尔 4 1998 有界无选择或叉属性网的预合成。 Zbl 1455.68130号 哈罗·威梅尔 4 2020 Petri网pomset语义的代数表征。 Zbl 1514.68188号 哈罗·威梅尔;卢茨普里斯 4 1997 Petri网中的可判定性。调查和简编。(Entscheidbarkeit bei Petri Netzen.u berblick und Kompendium) Zbl 1169.68034号 哈罗·威梅尔 三 2008 标记转移系统标记图可实现的充分条件。 Zbl 1473.68112号 最好的,艾克;托马斯·胡贾萨;哈罗·威梅尔 三 2018 目标导向Petri网合成。 Zbl 1497.68327号 最好的,艾克;雷蒙德·魔鬼队;埃罗菲耶夫·叶夫根尼;哈罗·威梅尔 三 2020 使Petri网安全并且没有内部转换。 Zbl 1128.68060号 最好的,艾克;菲利普·达伦多;哈罗·威梅尔 2 2007 将(k)-安全Petri网简化为等价于pomset的1-安全Petri网络。 Zbl 0986.68090号 最好的,艾克;哈罗·威梅尔 2 2000 使Petri网安全并且没有内部转换。 Zbl 1137.68444号 最好的,艾克;菲利普·达伦多;哈罗·威梅尔 1 2007 有界无选择或叉属性网的预合成。 兹比尔1455.68130 哈罗·威梅尔 4 2020 目标导向Petri网合成。 Zbl 1497.68327号 最好的,艾克;雷蒙德·魔鬼队;埃罗菲耶夫·叶夫根尼;哈罗·威梅尔 三 2020 通过解决分离问题为Petri网综合重新标记LTS。 Zbl 1464.68261号 Uli Schlachter公司;哈罗·威梅尔 5 2019 事件/状态分离的几何特征。 Zbl 1427.68209号 Uli Schlachter公司;哈罗·威梅尔 4 2018 同时Petri网综合。 兹比尔1424.68099 最好的,艾克;雷蒙德·魔鬼队;Uli Schlachter公司;哈罗·威梅尔 4 2018 标记转移系统标记图可实现的充分条件。 Zbl 1473.68112号 最好的,艾克;托马斯·胡贾萨;哈罗·威梅尔 三 2018 \基于模态转换系统的(k)-有界Petri网综合。 Zbl 1442.68151号 Uli Schlachter公司;哈罗·威梅尔 4 2017 描述Petri网可解二进制字的特征。 Zbl 1346.68127号 最好的,艾克;埃罗菲耶夫·叶夫根尼;Uli Schlachter公司;哈罗·威梅尔 5 2016 Petri网的结构理论。 Zbl 1382.68148号 最好的,艾克;哈罗·威梅尔 5 2013 将CEGAR应用于Petri网状态方程。 Zbl 1248.68360号 维梅尔;哈罗;卡斯滕·沃尔夫 8 2012 将CEGAR应用于Petri网状态方程。 Zbl 1316.68079号 哈罗·威梅尔;卡斯滕·沃尔夫 5 2011 决定虹吸疏水器特性的新算法。 Zbl 1285.68108号 奥利维娅·奥内亚;哈罗·威梅尔;卡斯滕·沃尔夫 8 2010 Petri网语言的向下封闭。 Zbl 1288.68181号 彼得·哈贝梅尔;罗兰·梅耶;哈罗·威梅尔 8 2010 Petri网中的可判定性。调查和简编。(Entscheidbarkeit bei Petri Netzen.u berblick und Kompendium) 兹比尔1169.68034 威梅尔,哈罗 三 2008 无冲突Petri网中的可分性。 Zbl 1185.68438号 最好的,艾克;哈维尔·埃斯帕尔扎;哈罗·威梅尔;卡斯滕·沃尔夫 5 2007 使Petri网安全并且没有内部转换。 Zbl 1128.68060号 最好的,艾克;菲利普·达伦多;哈罗·威梅尔 2 2007 使Petri网安全并且没有内部转换。 Zbl 1137.68444号 最好的,艾克;菲利普·达伦多;哈罗·威梅尔 1 2007 理论计算机科学。Petri网。(理论信息学,Petri-Netze) Zbl 1137.68452号 普里塞·卢茨;哈罗·威梅尔 10 2003 将(k)-安全Petri网简化为等价于pomset的1-安全Petri网络。 Zbl 0986.68090号 最好的,艾克;哈罗·威梅尔 2 2000 Petri网真正一致性和交错语义的统一方法。 Zbl 0917.68159号 普里塞·卢茨;威梅尔,哈罗 4 1998 Petri网pomset语义的代数表征。 Zbl 1514.68188号 哈罗·威梅尔;普里塞·卢茨 4 1997 所有引用出版物 排名前五的出版物 全部的 前5名117位作者引用 12 特雷杜普,罗尼 11 雷蒙德·魔鬼队 10 最好的,艾克 7 埃罗菲耶夫·叶夫根尼 6 哈罗·威梅尔 6 卡斯滕·沃尔夫 三 托尔斯滕·利布克 三 西尔万·索利曼 三 乔治·泽采 2 卡米拉Barylska 2 本哈穆,贝莱德 2 乔塞普·卡莫纳 2 菲利普·达伦多 2 哈维尔·埃斯帕尔扎 2 大卫·吉尔伯特 2 莫妮卡·海纳 2 托马斯·胡贾萨 2 安娜·A·卡伦科娃。 2 普拉蒂克,卡兰迪卡尔 2 马塞洛·拉罗莎 2 乌卡斯·米库尔斯基 2 马钦·皮·特考夫斯基 2 Polyvyany,Artem公司 2 普里塞·卢茨 2 菲利普·施诺贝伦 2 蒂里·米格(Yann Thierry-Mieg) 2 范甘·特林 2 Wil M.P.范德阿尔斯特。 2 索菲·沃纳 1 康斯坦蒂诺斯·阿萨纳西奥 1 穆罕默德·法乌齐(Mohamed Faouzi Atig) 1 阿尔伯特·阿塞里亚斯 1 乔治·巴赫迈耶 1 保罗·巴尔丹 1 大卫·巴罗齐尼 1 塔马斯·巴塔 1 帕斯卡·鲍曼 1 Grzegorz的Bazydło 1 维亚尼·伯夫 1 扬科·伯姆 1 弗雷德里克·梅耶·伯内兰 1 洛伦佐·克莱门特 1 托马斯·科尔科姆贝特 1 安德烈亚·科拉迪尼 1 沃伊切赫,切尔文斯基 1 德奥利维拉·奥利维拉,马特乌斯 1 沃尔夫拉姆·戴克 1 董晓菊 1 雅各布·迪尔 1 托马斯·埃尔哈德 1 哈特穆特·埃里格 1 佐尔坦·埃西克 1 弗朗索瓦·法赫斯 1 埃斯特巴利兹·弗拉卡 1 Frühbis Krüger,安妮 1 傅玉玺 1 摩西·加纳迪 1 让·古鲍特·拉雷克 1 Jan Friso,格鲁特 1 阿科斯·哈伊杜 1 西蒙·哈尔丰 1 滨野、Masahiro 1 Hiraishi、Kunihiko 1 彼得·霍夫曼 1 彼得·扬查尔 1 彼得·格约尔·詹森 1 麦德斯·约翰森 1 Jean-Baptiste儒瓦内 1 豪尔赫·Jülvez 1 彼得·坎佩尔 1 Ekkart Kindler公司 1 巴巴拉·科尼格 1 汉斯·约尔格·克鲁斯基 1 K.Narayan Kumar 1 萨宾·库斯克 1 鲁思·兰普雷希特 1 塞巴斯蒂安·勒拉克 1 刘培尊 1 迈克尔·卢滕伯格 1 亚伦·赖伊 1 蒂埃里·马丁内斯 1 沃尔夫冈·马尔旺 1 罗兰·梅耶 1 莫里茨·米勒 1 塞巴斯蒂安·穆斯卡拉 1 Nabli,法滕 1 马蒂亚斯·尼沃思 1 塞尔吉·奥利瓦 1 帕里斯(Pawe Parys) 1 弗朗兹·约瑟夫·普弗雷恩特 1 波普·阿夫斯基,马特乌斯 1 米尔科·拉恩 1 米哈伊尔·拉斯金 1 卢卡斯·里斯托 1 克里斯蒂安·罗尔 1 普拉卡什·塞瓦桑 1 Uli Schlachter公司 1 马克西米利安·施伦德 1 马丁·施瓦里克 1 赫尔穆特·施维赫滕贝格 …和另外17位作者 全部的 前5名18篇连载文章中引用 10 计算机基础理论 8 理论计算机科学 4 符号逻辑杂志 三 信息学报 2 信息与计算 2 自然计算 2 非线性分析。混合动力系统 1 离散应用数学 1 信息处理信件 1 信息科学 1 排队系统 1 计算的形式方面 1 符号逻辑公报 1 约束条件 1 国际应用数学与计算机科学杂志 1 计算数学基础 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在9个字段中引用 71 计算机科学(68至XX) 9 数理逻辑与基础(03-XX) 5 生物学和其他自然科学(92-XX) 三 系统论;控制(93至XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 代数几何(14-XX) 1 概率论与随机过程(60-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文