×
作者ID: 维梅尔·哈罗最近由“Wimmel,Harro”撰写的zbMATH文章
发布日期: 哈罗·威梅尔;维梅尔
外部链接: MGP公司
已编制索引的文档: 26出版物自1997年以来,包括3本书
合著者: 13合著者具有22联合出版物
281位合作作者

按年份列出的出版物

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位作者

按年份列出的引文