×

找到286个文档（结果1-100）

最新 引文 关联
哈特穆特·埃里格;克劳迪娅·埃尔梅尔;Ulrike Golas公司;弗兰克·赫尔曼

图形和模型转换。通用框架和应用程序。 （英语） Zbl 1341.68002号

理论计算机科学专著。EATCS系列柏林：施普林格出版社（ISBN 978-3-662-47979-7/hbk；978-3-562-47980-3/电子书）。xi，第472页。(2015).
审核人：安德烈亚斯·马莱蒂（斯图加特）
MSC公司：68-01 68-02 2012年第68季度 05C90年 18B20型 68号30 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}等人，《图形和模型转换》。通用框架和应用程序。柏林：施普林格（2015；兹bl 1341.68002）
全文： 内政部
安东尼奥·布奇亚罗内;哈特穆特·埃里格;克劳迪娅·埃尔梅尔;帕特里齐奥·佩利奇奥内;奥尔加·伦格

通过图变换对自适应系统进行基于规则的建模和静态分析。 （英语） Zbl 1398.68092号

De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·威辛（Martin Wirsing）于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆：施普林格（ISBN 978-3-319-15544-9/pbk）。计算机科学课堂讲稿8950，582-601（2015）。
MSC公司：68号30 2012年第68季度 68T05年
PDF格式BibTeX公司 XML格式引用
\textit{A.Bucchiarone}等人，莱克特。注释计算。科学。8950582--601（2015；Zbl 1398.68092）
全文： 内政部
弗兰克·赫尔曼;安德烈亚·科拉迪尼;哈特穆特·埃里格

负应用条件下（mathcal{M}）-粘着变换系统的置换等价性分析。 （英语） Zbl 1342.68179号

数学。结构。计算。科学。 24，第4号，文章ID e240409，47页（2014）.
MSC公司：2012年第68季度 18B20型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Hermann}等人，数学。结构。计算。科学。24，第4号，文章ID e240409，47页（2014；Zbl 1342.68179）
全文： 内政部
弗兰克·赫尔曼;哈特穆特·埃里格;Ulrike Golas公司;费尔南多·奥雷贾斯

基于三重图文法的模型转换形式化分析。 （英语） Zbl 1342.68180号

数学。结构。计算。科学。 24，第4号，文章ID e240408，57 p.（2014）.
MSC公司：2012年第68季度 第68页，共15页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Hermann}等人，数学。结构。计算。科学。24，第4号，文章ID e240408，57页（2014；Zbl 1342.68180）
全文： 内政部
哈特穆特·埃里格;Ulrike Golas公司;阿内格丽特·哈贝尔;莱恩·兰伯斯;费尔南多·奥雷哈斯

\具有嵌套应用条件的（mathcal{M}）-粘合剂转化系统。一： 并行、并发和合并。 （英语） Zbl 1342.68176号

数学。结构。计算。科学。 24，第4号，文章ID e240406，48页（2014）.
MSC公司：2012年第68季度 18B20型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}等人，数学。结构。计算。科学。24，第4号，文章ID e240406，48页（2014；Zbl 1342.68176）
全文： 内政部
Ulrike Golas公司;阿内格丽特·哈贝尔;哈特穆特·埃里格

在（mathcal{M}）-粘合剂类别中应用条件的规则的多重错位。 （英语） Zbl 1342.68178号

数学。结构。计算。科学。 24，第4号，文章ID e240405，68 p.（2014）.
MSC公司：2012年第68季度 18B20型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{U.Golas}等人，数学。结构。计算。科学。24，第4号，文章ID e240405，68 p.（2014；Zbl 1342.68178）
全文： 内政部
卡斯滕·加布里埃尔;本杰明·布拉茨;哈特穆特·埃里格;Ulrike Golas公司

Finitary \（\mathcal{M}\）-粘合剂类别。 （英语） Zbl 1342.68177号

数学。结构。计算。科学。 24，第4号，文章ID e240403，40页（2014）.
MSC公司：2012年第68季度 18A32飞机 18A35型 18B20型
PDF格式BibTeX公司 XML格式引用
\textit｛K.Gabriel｝等人，数学。结构。计算。科学。24，第4号，文章ID e240403，40 p.（2014；Zbl 1342.68177）
全文： 内政部
Ulrike Golas公司;莱恩·兰伯斯;哈特穆特·埃里格;霍尔格·吉斯

三图文法的形式基础和当前实践之间的差距。源元素和目标元素之间的灵活关系。 （英语） Zbl 1367.68134号

Ehrig，Hartmut（编辑）等人，图变换。2012年9月24日至29日在德国不来梅举行的2012年第六届国际燃气轮机大会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33653-9/pbk）。计算机科学课堂讲稿7562141-155（2012）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{U.Golas}等人，Lect。注释计算。科学。7562、141--155（2012年；Zbl 1367.68134）
全文： 内政部
瑞科·赫克尔;哈特穆特·埃里格;Ulrike Golas公司;弗兰克·赫尔曼

随机图变换的并行性和并发性。 （英语） Zbl 1367.68137号

Ehrig，Hartmut（编辑）等人，图变换。2012年9月24日至29日在德国不来梅举行的2012年第六届国际燃气轮机大会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33653-9/pbk）。计算机科学课堂讲稿756296-110（2012）。
MSC公司：2012年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\文本{R.Heckel}等人，Lect。注释计算。科学。7562、96-110（2012年；Zbl 1367.68137）
全文： 内政部
哈特穆特·埃里格（编辑）;格雷戈·恩格斯（编辑）;汉斯·约尔格·克鲁斯基（编辑）;格列泽戈兹·罗森贝格（编辑）

图形变换。2012年9月24日至29日，第六届国际会议，ICGT 2012，德国不来梅。诉讼程序。 （英语） Zbl 1246.68030号

计算机科学课堂讲稿7562.柏林：施普林格出版社（ISBN 978-3-642-33653-9/pbk）。xi，第427页。(2012).
MSC公司：68-06 2012年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}（编辑）等人，《图形变换》。2012年9月24日至29日在德国不来梅举行的2012年第六届国际燃气轮机大会。诉讼程序。柏林：施普林格出版社（2012；Zbl 1246.68030）
全文： 内政部
哈特穆特·埃里格;克劳迪娅·埃尔梅尔;福尔克·Hüffner;罗尔夫·尼德迈尔;奥尔加·伦格

数据简化中的融合：桥接图转换和核化。 （英语） Zbl 1357.68286号

Cooper，S.Barry（编辑）等人，《世界如何计算》。2012年6月18日至23日在英国剑桥举行的图灵一百周年会议和第八届欧洲可计算性会议（CiE 2012）。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-30869-7/pbk）。计算机科学课堂讲稿7318，193-202（2012）。
MSC公司：68周01 2017年第68季度 65年第68季度 2012年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}等人，Lect。注释计算。科学。7318、193--202（2012；Zbl 1357.68286）
全文： 内政部
哈特穆特·埃里格;Ulrike Golas公司;阿内格丽特·哈贝尔;莱恩·兰伯斯;费尔南多·奥雷贾斯

\（mathcal M）-具有嵌套应用条件的粘合剂转换系统。二： 嵌入、关键对和局部汇流。 （英语） Zbl 1242.68128号

芬达姆。通知。 118，编号1-2，35-63（2012）.
MSC公司：2012年第68季度 68兰特 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}等人，Fundam。通知。118，编号1-2，35-63（2012年；兹bl 1242.68128）
全文： 内政部
恩里科·比尔曼;哈特穆特·埃里格;克劳迪娅·埃尔梅尔;Ulrike Golas公司;加布里埃尔·坦泽尔

应用于模型变换的合并图变换的并行独立性。 （英语） Zbl 1309.68106号

Gregor（编辑）Engels等人，《图形转换和模型驱动工程》，在Manfred Nagl 65岁生日之际发表的论文。柏林：施普林格出版社（ISBN 978-3-642-17321-9/pbk）。计算机科学课堂讲稿5765121-140（2010）。
MSC公司：2012年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{E.Biermann}等人，Lect。注释计算。科学。5765、121--140（2010年；Zbl 1309.68106）
全文： 内政部
Ulrike Golas公司;哈特穆特·埃里格;阿内格丽特·哈贝尔

胶粘剂类别中的多重错位。 （英语） Zbl 1306.68071号

Ehrig，Hartmut（编辑）等人，图变换。2010年9月27日至10月2日在荷兰恩舍德举行的2010年国际燃气轮机第五届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15927-5/pbk）。计算机科学课堂讲稿6372346-361（2010）。
MSC公司：2012年第68季度 18岁30岁 18A35型
PDF格式BibTeX公司 XML格式引用
\textit{U.Golas}等人，Lect。注释计算。科学。6372346--361（2010年；Zbl 1306.68071）
全文： 内政部
哈特穆特·埃里格;阿内格丽特·哈贝尔;莱恩·兰伯斯;费尔南多·奥雷贾斯;Ulrike Golas公司

规则与嵌套应用程序条件的局部汇合。 （英语） Zbl 1306.68068号

Ehrig，Hartmut（编辑）等人，图变换。2010年9月27日至10月2日在荷兰恩舍德举行的2010年国际燃气轮机第五届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15927-5/pbk）。计算机科学课堂讲稿6372，330-345（2010）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}等人，Lect。注释计算。科学。6372330-345（2010年；Zbl 1306.68068）
全文： 内政部 链接
本杰明·布拉茨;哈特穆特·埃里格;卡斯滕·加布里埃尔;Ulrike Golas公司

Finitary \（\mathcal{M}\）-粘合剂类别。 （英语） Zbl 1306.68121号

Ehrig，Hartmut（编辑）等人，图变换。2010年9月27日至10月2日在荷兰恩舍德举行的2010年国际燃气轮机第五届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15927-5/pbk）。计算机科学课堂讲稿6372234-249（2010）。
MSC公司：68问题85 18岁30岁 18A32飞机 18A35型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Braatz}等人，Lect。注释计算。科学。6372234--249（2010年；Zbl 1306.68121）
全文： 内政部
弗兰克·赫尔曼;哈特穆特·埃里格;费尔南多·奥雷贾斯;Ulrike Golas公司

基于三重图文法的模型转换函数行为的形式化分析。 （英语） Zbl 1306.68074号

Ehrig，Hartmut（编辑）等人，图变换。2010年9月27日至10月2日在荷兰恩舍德举行的2010年国际燃气轮机第五届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15927-5/pbk）。计算机科学课堂讲稿6372155-170（2010）。
MSC公司：2012年第68季度 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{F.Hermann}等人，Lect。注释计算。科学。6372、155-170（2010年；Zbl 1306.68074）
全文： 内政部 链接
哈特穆特·埃里格（编辑）;伦辛，阿伦德（编辑）;格列泽戈兹·罗森贝格（编辑）;安迪·舒尔（编辑）

图形变换。2010年9月27日至10月2日在荷兰恩舍德举行的2010年国际燃气轮机第五届国际会议。诉讼程序。 （英语） Zbl 1196.68007号

计算机科学课堂讲稿6372.柏林：施普林格出版社（ISBN 978-3-642-15927-5/pbk）。xii，第419页。(2010).
MSC公司：68-06 2012年第68季度 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}（编辑）等人，《图形变换》。第五届国际会议，ICGT 2010，荷兰恩斯赫德，2010年9月27日至10月2日。诉讼程序。柏林：施普林格出版社（2010；Zbl 1196.68007）
全文： 内政部
费尔南多·奥雷贾斯;埃丝特·格拉;胡安·德·拉腊;哈特穆特·埃里格

基于模式的模型到模型转换的正确性、完整性和终止性。 （英语） Zbl 1239.68026号

亚历山大·库兹（编辑）等人，《计算机科学中的代数和余代数》。2009年9月7日至10日，意大利乌迪内，第三届国际会议，CALCO 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03740-5/pbk）。计算机科学课堂讲稿5728383-397（2009）。
MSC公司：68号30 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{F.Orejas}等人，Lect。注释计算。科学。5728383--397（2009年；Zbl 1239.68026）
全文： 内政部 链接
克劳迪娅·埃尔梅尔;哈特穆特·埃里格

行为保护模拟到动画模型和规则转换。 （英语） Zbl 1283.68183号

König，Barbara（编辑）等人，第三届并发和验证图形转换研讨会论文集（GT-VC 2007），葡萄牙里斯本，2007年9月3日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》213，第1期，55-74（2008）。
MSC公司：2012年第68季度 05C62号
PDF格式BibTeX公司 XML格式引用
\textit{C.Ermel}和\textit{H.Ehrig}，电子。注释Theor。计算。科学。213，编号1，55--74（2008；Zbl 1283.68183）
全文： 内政部
弗兰克·赫尔曼;哈特穆特·埃里格;加布里埃尔·坦泽尔

一种类型化属性图文法，具有UML类图和序列图抽象语法的继承性。 （英语） Zbl 1283.68206号

Bruni，Roberto（ed.）等人，第五届图形转换和视觉建模技术国际研讨会论文集（GT-VMT 2006），奥地利维也纳，2006年4月1日至2日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记211261-269（2008）。
MSC公司：60年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Hermann}等人，《电子》。注释Theor。计算。科学。211、261--269（2008年；Zbl 1283.68206）
全文： 内政部
莱恩·兰伯斯;哈特穆特·埃里格;费尔南多·奥雷贾斯

基于关键对的图变换系统中的有效冲突检测。 （英语） Zbl 1283.68185号

Bruni，Roberto（ed.）等人，第五届图形转换和视觉建模技术国际研讨会论文集（GT-VMT 2006），奥地利维也纳，2006年4月1日至2日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记211，17-26（2008）。
MSC公司：2012年第68季度 05C62号
PDF格式BibTeX公司 XML格式引用
\textit{L.Lambers}等人，《电子》。注释Theor。计算。科学。211、17-26（2008；Zbl 1283.68185）
全文： 内政部
莱恩·兰伯斯;哈特穆特·埃里格;乌尔里克·普兰奇;费尔南多·奥雷贾斯

具有负面应用条件的粘合高级替换系统中的并行性和并发性。 （英语） Zbl 1277.68194号

Ehrig，H.（ed.）等人，应用和计算范畴理论第二次研讨会论文集（ACCAT 2007），葡萄牙布拉加，2007年3月25日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》203，第6期，第43-66页（2008年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Lambers}等人，《电子》。注释Theor。计算。科学。203，第6号，43--66（2008；Zbl 1277.68194）
全文： 内政部
哈特穆特·埃里格（编辑）;普法尔茨格拉夫，约琴（编辑）;乌尔里克·普兰奇（编辑）

2007年3月25日，葡萄牙布拉加，应用和计算范畴理论第二次研讨会论文集（ACCAT 2007）。 （英语） Zbl 1276.68014号

理论计算机科学电子笔记203，第6号。阿姆斯特丹：爱思唯尔。88页。，仅电子版（2008年）。
MSC公司：68-06 18B20型 68问题65 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}（ed.）等人，应用和计算范畴理论第二次研讨会论文集（ACCAT 2007），葡萄牙布拉加，2007年3月25日。阿姆斯特丹：爱思唯尔（2008；Zbl 1276.68014）
全文： 链接
保罗·巴尔丹;安德烈亚·科拉迪尼;哈特穆特·埃里格;巴巴拉·科尼格

开放Petri网：非确定性过程和组合性。 （英语） Zbl 1175.68269号

Ehrig，Hartmut（编辑）等人，图变换。2008年9月7日至13日在英国莱斯特举行的2008年第四届国际燃气轮机大会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87404-1/pbk）。计算机科学课堂讲稿5214，257-273（2008）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，Lect。注释计算。科学。5214，257--273（2008；Zbl 1175.68269）
全文： 内政部
吉勒梅尔·兰格尔;莱恩·兰伯斯;巴巴拉·科尼格;哈特穆特·埃里格;保罗·巴尔丹

使用DPO转换和借用上下文进行模型重构时的行为保留。 （英语） Zbl 1175.68231号

Ehrig，Hartmut（编辑）等人，图变换。2008年9月7日至13日在英国莱斯特举行的2008年第四届国际燃气轮机大会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87404-1/pbk）。计算机科学课堂讲稿5214，242-256（2008）。
MSC公司：2012年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{G.Rangel}等人，Lect。注释计算。科学。5214、242--256（2008年；Zbl 1175.68231）
全文： 内政部
哈特穆特·埃里格;克劳迪娅·埃尔梅尔

使用图和规则转换的模型转换的语义正确性和完整性。 （英语） Zbl 1175.68221号

Ehrig，Hartmut（编辑）等人，图变换。2008年9月7日至13日在英国莱斯特举行的2008年第四届国际燃气轮机大会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87404-1/pbk）。《计算机科学讲义》5214194-210（2008）。
MSC公司：2012年第68季度 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}和\textit{C.Ermel}，莱克特。注释计算。科学。5214194-210（2008年；兹比尔1175.68221）
全文： 内政部 链接
哈特穆特·埃里格;乌尔里克·普兰奇

基于带核三重图规则的模型转换形式化分析。 （英语） Zbl 1175.68222号

Ehrig，Hartmut（编辑）等人，图变换。2008年9月7日至13日在英国莱斯特举行的2008年第四届国际燃气轮机大会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87404-1/pbk）。计算机科学讲义5214，178-193（2008）。
MSC公司：2012年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}和\textit{U.Prange}，莱克特。注释计算。科学。5214、178--193（2008年；Zbl 1175.68222）
全文： 内政部
莱恩·兰伯斯;哈特穆特·埃里格;乌尔里克·普兰奇;费尔南多·奥雷贾斯

图变换与负应用条件的嵌入和汇合。 （英语） Zbl 1175.68227号

Ehrig，Hartmut（编辑）等人，图变换。2008年9月7日至13日在英国莱斯特举行的2008年第四届国际燃气轮机大会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-87404-1/pbk）。计算机科学课堂讲稿5214，162-177（2008）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Lambers}等人，Lect。注释计算。科学。5214、162--177（2008年；Zbl 1175.68227）
全文： 内政部
哈特穆特·埃里格（编辑）;瑞科·赫克尔（编辑）;格列泽戈兹·罗森贝格（编辑）;加布里埃尔·坦泽尔（编辑）

图形变换。2008年9月7日至13日在英国莱斯特举行的2008年第四届国际燃气轮机大会。诉讼程序。 （英语） Zbl 1148.68002号

计算机科学课堂讲稿5214.柏林：施普林格出版社（ISBN 978-3-540-87404-1/pbk）。xiii，第523页。(2008).
MSC公司：68-06 68号30 2012年第68季度 68兰特 00B25型
PDF格式BibTeX公司 XML格式引用
\textit｛H.Ehrig｝（编辑）等人，《图形变换》。2008年9月7日至13日在英国莱斯特举行的2008年第四届国际燃气轮机大会。诉讼程序。柏林：施普林格出版社（2008；Zbl 1148.68002）
全文： 内政部
乌尔里克·普兰奇;哈特穆特·埃里格;凯瑟琳·霍夫曼;朱莉娅·帕德伯格

可重构场所/过渡系统的改造。 （英语） Zbl 1144.68043号

Degano，Pierpaolo（编辑）等人，《并发、图形和模型》。纪念乌戈·蒙塔纳里65岁生日的文章。柏林：施普林格出版社（ISBN 978-3-540-68676-7/pbk）。计算机科学课堂讲稿506596-113（2008）。
MSC公司：68问题85 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛U.Prange｝等人，Lect。注释计算。科学。506596-113（2008年；Zbl 1144.68043）
全文： 内政部
费尔南多·奥雷贾斯;哈特穆特·埃里格;乌尔里克·普兰吉

图形约束的逻辑。 （英语） Zbl 1171.68516号

Feadeiro，JoséLuiz（编辑）等人，《软件工程的基本方法》，第11届国际会议，FASE 2008，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2008，匈牙利布达佩斯，2008年3月29日至4月6日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78742-6/pbk）。计算机科学讲义4961179-198（2008）。
MSC公司：2012年第68季度 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Orejas}等人，Lect。注释计算。科学。4961、179--198（2008年；Zbl 1171.68516）
全文： 内政部
吉勒梅尔·兰格尔;巴巴拉·科尼格;哈特穆特·埃里格

在负应用条件下导出互模拟同余。 （英语） Zbl 1139.68043号

Amadio，Roberto（编辑），《软件科学和计算结构基础》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第11届国际会议FOSSACS 2008，该会议是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78497-5/pbk）。计算机科学课堂讲稿4962413-427（2008）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Rangel}等人，Lect。注释计算。科学。4962、413--427（2008年；Zbl 1139.68043）
全文： 内政部
蒂哈梅尔·列文多夫斯基;乌尔里克·普兰奇;哈特穆特·埃里格

具有内射匹配的DPO变换的终止准则。 （英语） Zbl 1278.68123号

Rensink，Arend（ed.）等人，并发和验证图形转换研讨会论文集（GT-VC 2006），德国波恩，2006年8月31日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》175，第4期，87-100（2007）。
MSC公司：2012年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{T.Levendovszky}等人，《电子》。注释Theor。计算。科学。175，第4号，87--100（2007；Zbl 1278.68123）
全文： 内政部
哈特穆特·埃里格;凯瑟琳·霍夫曼;朱莉娅·帕德伯格;乌尔里克·普兰奇;克劳迪娅·埃尔梅尔

可重构位置/转换系统中网络转换和令牌触发的独立性。 （英语） Zbl 1226.68052号

Kleijn，Jetty（编辑）等人，Petri网和其他并发模型——ICATPN 2007。第28届Petri网和其他并发模型应用和理论国际会议，2007年6月25日至29日，波兰Siedlce，ICATPN 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73093-4/pbk）。计算机科学课堂讲稿4546104-123（2007）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}等人，Lect。注释计算。科学。4546，104-123（2007；Zbl 1226.68052）
全文： 内政部
保罗·巴尔丹;安德烈亚·科拉迪尼;哈特穆特·埃里格;瑞科·赫克尔;巴巴拉·科尼格

开放Petri网的双相似性和行为保护重构。 （英语） Zbl 1214.68243号

Mossakowski，Till（编辑）等人，《计算机科学中的代数和余代数》。第二届国际会议，2007年CALCO，挪威卑尔根，2007年8月20日至24日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73857-2/pbk）。计算机科学讲义4624126-142（2007）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，Lect。注释计算。科学。46241226-142（2007年；兹bl 1214.68243）
全文： 内政部 arXiv公司
乌尔里克·普兰奇;哈特穆特·埃里格

从代数图变换到粘合HLR类别和系统。 （英语） 兹比尔1149.68043

Bozapalidis，Symeon（编辑）等，代数信息学。2007年5月21日至25日在希腊塞萨洛尼基举行的第二届国际会议，CAI 2007。修订选定和邀请的论文。柏林：施普林格出版社（ISBN 978-3-540-75413-8/pbk）。计算机科学课堂讲稿4728122-146（2007）。
MSC公司：2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{U.Prange}和\textit{H.Ehrig}，莱克特。注释计算。科学。4728、122--146（2007年；Zbl 1149.68043）
全文： 内政部
达尼尔·瓦罗;斯齐尔维亚，瓦罗-吉帕伊;哈特穆特·埃里格;乌尔里克·普兰吉;加布里埃尔·坦泽尔

用Petri网分析模型变换的终止性。 （英语） Zbl 1156.68501号

Corradini，Andrea（编辑）等人，《图形变换》。2006年9月17日至23日在巴西北里奥格兰德河纳塔尔举行的2006年第三届国际燃气轮机会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-38870-8/pbk）。计算机科学讲义4178260-274（2006）。
MSC公司：68问题85 68号30 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\文本{D.Varró}等人，Lect。注释计算。科学。4178260-274（2006年；Zbl 1156.68501）
全文： 内政部
哈特穆特·埃里格;费尔南多·奥雷贾斯;乌尔里克·普兰奇

分布式图转换的分类基础。 （英语） Zbl 1157.68039号

Corradini，Andrea（编辑）等人，《图形变换》。2006年9月17日至23日在巴西北里奥格兰德河纳塔尔举行的2006年第三届国际燃气轮机会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-38870-8/pbk）。计算机科学讲义4178，215-229（2006）。
MSC公司：2012年第68季度 18A10号 18岁30岁 18至15 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}等人，Lect。注释计算。科学。4178、215——229（2006年；Zbl 1157.68039）
全文： 内政部
保罗·巴尔丹;哈特穆特·埃里格;巴巴拉·科尼格

使用借用的上下文组合和分解DPO转换。 （英语） Zbl 1156.68417号

Corradini，Andrea（编辑）等人，《图形变换》。2006年9月17日至23日在巴西北里奥格兰德河纳塔尔举行的2006年第三届国际燃气轮机会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-38870-8/pbk）。计算机科学讲义4178，153-167（2006）。
MSC公司：2012年第68季度 18岁30岁
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}等人，Lect。注释计算。科学。4178、153--167（2006年；Zbl 1156.68417）
全文： 内政部
莱恩·兰伯斯;哈特穆特·埃里格;费尔南多·奥雷贾斯

负应用条件下图变换的冲突检测。 （英语） Zbl 1156.68431号

Corradini，Andrea（编辑）等人，《图形变换》。2006年9月17日至23日在巴西北里奥格兰德河纳塔尔举行的2006年第三届国际燃气轮机会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-38870-8/pbk）。计算机科学讲义4178，61-76（2006）。
MSC公司：2012年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{L.Lambers}等人，Lect。注释计算。科学。4178、61-76（2006年；Zbl 1156.68431）
全文： 内政部
安德烈亚·科拉迪尼（编辑）;哈特穆特·埃里格（编辑）;乌戈州蒙塔纳里（编辑）;莱拉·里贝罗（编辑）;格列泽戈兹·罗森贝格（编辑）

图形变换。2006年9月17日至23日在巴西北里奥格兰德河纳塔尔举行的2006年第三届国际燃气轮机会议。诉讼程序。 （英语） Zbl 1147.68003号

计算机科学课堂讲稿4178.柏林：施普林格出版社（ISBN 978-3-540-38870-8/pbk）。xii，第473页。(2006).
MSC公司：68-06 68号30 2012年第68季度 68兰特 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}（编辑）等人，《图形转换》。2006年9月17日至23日在巴西北里奥格兰德河纳塔尔举行的2006年第三届国际燃气轮机会议。诉讼程序。柏林：施普林格出版社（2006；Zbl 1147.68003）
全文： 内政部
哈特穆特·埃里格;乌尔里克·普兰奇

弱粘性高级替换类别和系统：图和Petri网转换的统一框架。 （英语） Zbl 1133.68055号

Futatsugi，Kokichi（编辑）等人，《代数、意义和计算》。在约瑟夫·A·戈根65岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-35462-X/pbk）。计算机科学课堂讲稿4060235-251（2006）。
MSC公司：68问题85 第18页第35页 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}和\textit{U.Prange}，莱克特。注释计算。科学。40603235-251（2006年；兹bl 1133.68055）
全文： 内政部
哈特穆特·埃里格;卡斯滕·埃里格;乌尔里克·普兰奇;加布里埃尔·坦泽尔

代数图变换基础。 （英语） Zbl 1095.68047号

理论计算机科学专著。EATCS系列柏林：施普林格出版社（ISBN 3-540-31187-4/hbk）。xiv，第388页。(2006).
审核人：查尔斯·科尔伯恩（坦佩）
MSC公司：2012年第68季度 65年第68季度 05C90年 68号30 18B20型 68兰特 68-01 68-02
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}等人，《代数图变换基础》。柏林：施普林格出版社（2006；Zbl 1095.68047）
埃里格·H·。（编辑）;J.帕德伯格。（编辑）;G.罗森伯格。（编辑）

2004年9月28日至10月2日，意大利罗马，Petri网和图转换研讨会论文集（PNGT 2004）。 （英语） 兹比尔1271.68033

理论计算机科学电子笔记第127页，第2页。阿姆斯特丹：爱思唯尔。120页。，仅电子版（2005）。
MSC公司：68-06 2012年第68季度 68问题85 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}（ed.）等人，《Petri网和图转换研讨会论文集》（PNGT 2004），意大利罗马，2004年9月28日至10月2日。阿姆斯特丹：Elsevier（2005；Zbl 1271.68033）
全文： 链接
凯瑟琳·霍夫曼;哈特穆特·埃里格;蒂尔·莫萨科夫斯基

以网络和规则作为标记的高级网络。 （英语） Zbl 1128.68063号

Ciardo，Gianfranco（编辑）等人，《Petri网的应用和理论》，2005年。第26届国际会议，ICATPN 2005，迈阿密，佛罗里达州，美国，2005年6月20日至25日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-26301-2/pbk）。计算机科学课堂讲稿3536268-288（2005）。
MSC公司：68问题85 2012年第68季度 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{K.Hoffmann}等人，Lect。注释计算。科学。3536、268--288（2005年；Zbl 1128.68063）
全文： 内政部
哈特穆特·埃里格;卡斯滕·埃里格;胡安·德·拉腊;加布里埃尔·坦泽尔;达尼尔·瓦罗;斯齐尔维亚，瓦罗-吉帕伊

模型转换的终止标准。 （英语） Zbl 1119.68344号

Cerioli，Maura（编辑），软件工程的基本方法。第八届国际会议，FASE 2005，作为欧洲软件理论和实践联合会议的一部分举行，ETAPS 2005，英国爱丁堡，2005年4月4日至8日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25420-X/pbk）。计算机科学课堂讲稿3442，49-63（2005）。
MSC公司：68号30 2012年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}等人，Lect。注释计算。科学。3442、49-63（2005年；Zbl 1119.68344）
全文： 内政部
J.德拉拉。;埃梅尔，C。;泰特泽，G。;Ehrig，K。

用于时间转移Petri网模型仿真的并行图变换。 （英语） Zbl 1271.68118号

Heckel，Reiko（编辑），《图形转换和视觉建模技术研讨会论文集》（GT-VMT 2004），西班牙巴塞罗那，2004年3月27日至28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记109，17-29（2004）。
MSC公司：2012年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.De Lara}等人，《电子》。注释Theor。计算。科学。109、17-29（2004年；Zbl 1271.68118）
全文： 链接
Bardohl，罗斯威塔;哈特穆特·埃里格;胡安·德·拉腊;加布里埃尔·坦泽尔

将元建模方面与图形转换集成，以实现高效的可视化语言定义和模型操作。 （英语） Zbl 1129.68420号

Wermelinger，Michel（ed.）等人，《软件工程的基本方法》，第七届国际会议，FASE 2004，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2004，西班牙巴塞罗那，2004年3月29日至4月2日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21305-8/pbk）。计算机科学课堂讲稿2984214-228（2004）。
MSC公司：68N99型 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Bardohl}等人，Lect。注释计算。科学。2984214--228（2004年；Zbl 1129.68420）
全文： 内政部
哈特穆特·埃里格;巴巴拉·科尼格

在图重写的DPO方法中导出互模拟同余。 （英语） Zbl 1126.68446号

Walukiewicz，Igor（编辑），软件科学和计算结构基础。2004年3月29日至4月2日在西班牙巴塞罗那举行的第七届国际会议FOSSACS 2004，是欧洲软件理论与实践联合会议ETAPS 2004的一部分。程序。柏林：施普林格出版社（ISBN 3-540-21298-1/pbk）。计算机科学课堂讲稿2987151-166（2004）。
MSC公司：2012年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}和\textit{B.König}，莱克特。注释计算。科学。2987151--166（2004年；Zbl 1126.68446）
全文： 内政部
哈特穆特·埃里格;卡斯滕·埃里格;阿内格丽特·哈贝尔;卡尔·海因茨·佩内曼

约束和应用条件：从图形到高级结构。 （英语） Zbl 1116.68479号

Ehrig，Hartmut（编辑）等人，图变换。2004年9月28日至10月2日在意大利罗马举行的2004年第二届国际燃气轮机会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23207-9/pbk）。计算机科学课堂讲稿3256287-303（2004）。
MSC公司：2012年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit｛H.Ehrig｝等人，Lect。注释计算。科学。3256、287--303（2004年；Zbl 1116.68479）
全文： 内政部
哈特穆特·埃里格;乌尔里克·普兰奇;加布里埃尔·坦泽尔

类型化属性图变换的基本理论。 （英语） Zbl 1116.68481号

Ehrig，Hartmut（编辑）等人，图变换。2004年9月28日至10月2日在意大利罗马举行的2004年第二届国际燃气轮机会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23207-9/pbk）。计算机科学课堂讲稿3256161-177（2004）。
MSC公司：2012年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}等人，Lect。注释计算。科学。3256、161--177（2004年；Zbl 1116.68481）
全文： 内政部
哈特穆特·埃里格;阿内格丽特·哈贝尔;朱莉娅·帕德伯格;乌尔里克·普兰奇

粘合剂高级替换类别和系统。 （英语） Zbl 1116.68480号

Ehrig，Hartmut（编辑）等人，图变换。2004年9月28日至10月2日在意大利罗马举行的2004年第二届国际燃气轮机会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23207-9/pbk）。计算机科学课堂讲稿3256144-160（2004）。
MSC公司：2012年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}等人，Lect。注释计算。科学。3256、144-160（2004年；Zbl 1116.68480）
全文： 内政部
哈特穆特·埃里格;朱莉娅·帕德伯格

图文法和Petri网转换。 （英语） Zbl 1088.68079号

Desel，Jörg（编辑）等人，《并发和Petri网讲座》。Petri网的进展。柏林：施普林格出版社（ISBN 3-540-22261-8/pbk）。计算机科学课堂讲稿3098496-536（2004）。
MSC公司：2012年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}和\textit{J.Padberg}，莱克特。注释计算。科学。3098、496--536（2004年；Zbl 1088.68079）
全文： 内政部
哈特穆特·埃里格

关于高级网络进程的相关性。 （英语） Zbl 1063.68608号

Péun，G.（编辑）等人，《理论计算机科学的当前趋势》。新世纪的挑战。第2卷：形式模型和语义。新泽西州River Edge：世界科学（ISBN 981-238-965-2/hbk；981-237-783-8/set）。89-93 (2004).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}，in：理论计算机科学的当前趋势。新世纪的挑战。第2卷：形式模型和语义。新泽西州River Edge：世界科学。89-93（2004年；Zbl 1063.68608）
哈特穆特·埃里格

Bigraphs遇到双重推出。 （英语） Zbl 1063.68072号

Péun，G.（编辑）等人，《理论计算机科学的当前趋势》。新世纪的挑战。第2卷：形式模型和语义。新泽西州River Edge：世界科学（ISBN 981-238-965-2/hbk；981-237-783-8/set）。27-40 (2004).
MSC公司：68问题65 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}，in：理论计算机科学的当前趋势。新世纪的挑战。第2卷：形式模型和语义。新泽西州River Edge：世界科学。27-40（2004年；兹bl 1063.68072）
哈特穆特·埃里格;冈纳尔·施罗德

数学和形式规范技术在软件系统开发中的作用。 （英语） Zbl 1063.68604号

Păun，G.（编辑）等人，理论计算机科学的当前趋势。新世纪的挑战。第2卷：形式模型和语义。新泽西州River Edge：世界科学（ISBN 981-238-965-2/hbk；981-237-783-8/set）。5-14 (2004).
MSC公司：68问题65
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}和\textit{G.Schröter}，in：理论计算机科学的当前趋势。新世纪的挑战。第2卷：形式模型和语义。新泽西州River Edge：世界科学。5-14（2004年；Zbl 1063.68604）
哈特穆特·埃里格（编辑）;格雷戈·恩格斯（编辑）;弗朗西斯科·帕里西·普雷西奇（编辑）;格列泽戈兹·罗森贝格（编辑）

图形变换。2004年9月28日至10月2日在意大利罗马举行的2004年第二届国际燃气轮机会议。诉讼程序。 （英语） Zbl 1056.68008号

计算机科学课堂讲稿3256.柏林：施普林格出版社（ISBN 3-540-23207-9/pbk）。xii，第451页。(2004).
MSC公司：68-06 68号30 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}（编辑）等人，《图形变换》。2004年9月28日至10月2日在意大利罗马举行的2004年第二届国际燃气轮机会议。诉讼程序。柏林：施普林格出版社（2004；Zbl 1056.68008）
全文： 内政部
克劳迪娅·埃尔梅尔;罗西娅·巴多尔;哈特穆特·埃里格

在GenGED中生成Petri网的动画视图。 （英语） Zbl 1283.68241号

Ehrig，Hartmut（编辑）等人，基于通信系统的Petri网技术。Petri网的进展。柏林：施普林格出版社（ISBN 3-540-20538-1/pbk）。《计算机科学讲义》2472，83-108（2003）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Ermel}等人，Lect。注释计算。科学。2472，83-108（2003年；兹比尔1283.68241）
全文： 内政部
B.布拉茨。;埃里格·H·。;乌尔巴舍克，M。

Petri网Baukasten中的Petri网变换。 （英语） Zbl 1283.68234号

Ehrig，Hartmut（编辑）等人，基于通信系统的Petri网技术。Petri网的进展。柏林：施普林格出版社（ISBN 3-540-20538-1/pbk）。计算机科学课堂讲稿247237-65（2003）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Braatz}等人，Lect。注释计算。科学。2472,37--65（2003年；Zbl 1283.68234）
全文： 内政部
韦伯，H。;埃里格·H·。;赖西格，W。;A.Borusan。;莱姆布克，S。;J·德纳特。;M.韦伯。;A.马滕斯。;J.帕德伯格。;埃梅尔，C。;A.Qemali。

DFG Forschergruppe Petri Net技术的Petri Net Baukasten。 （英语） Zbl 1283.68257号

Ehrig，Hartmut（编辑）等人，基于通信系统的Petri网技术。Petri网的进展。柏林：施普林格出版社（ISBN 3-540-20538-1/pbk）。计算机科学课堂讲稿2472，1-21（2003）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Weber}等人，Lect。注释计算。科学。2472，1--21（2003；Zbl 1283.68257）
全文： 内政部
哈特穆特·埃里格（编辑）;沃尔夫冈·雷西格（编辑）;格列泽戈兹·罗森贝格（编辑）;赫伯特·韦伯（编辑）

用于基于通信的系统的Petri网技术。Petri网的进展。 （英语） Zbl 1028.00015号

计算机科学课堂讲稿. 2472. 柏林：斯普林格。viii，455页（2003年）。
MSC公司：00B15号机组 68-06 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}（ed.）等人，基于通信系统的Petri网技术。Petri网的进展。柏林：施普林格出版社（2003；Zbl 1028.00015）
全文： 内政部 链接
哈特穆特·埃里格;阿内格丽特·哈贝尔;Parisi-Prescce，F。

两种高级替换系统的基本结果。 （英语） Zbl 1263.68073号

Bauderon，Michel（编辑）等人，GETGRATS图形转换系统闭幕研讨会，法国波尔多，2001年6月22日至23日。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记51，127-138（2002）。
MSC公司：2012年第68季度 18岁30岁
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}等人，《电子》。注释Theor。计算。科学。51、127--138（2002年；Zbl 1263.68073）
全文： 内政部
哈特穆特·埃里格;费尔南多·奥雷贾斯;本杰明·布拉茨;马库斯·克莱因;Martti Piirainen

用于系统建模的通用组件框架。 （英语） 兹比尔1059.68543

Kutsche，Ralf-Detlef（ed.）等人，《软件工程的基本方法》，第五届国际会议，FASE 2002。2002年4月8日至12日，作为欧洲软件理论与实践联合会议的一部分，在法国格勒诺布尔举行。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43353-8）。莱克特。注释计算。科学。2306, 33-48 (2002).
MSC公司：68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}等人，Lect。注释计算。科学。2306、33-48（2002年；Zbl 1059.68543）
全文： 链接
哈特穆特·埃里格;凯瑟琳·霍夫曼;朱莉娅·帕德伯格;保罗·巴尔丹;瑞科·赫克尔

高级网络进程。 （英语） Zbl 1060.68078号

Brauer，Wilfried（编辑）等人，《形式和自然计算》。献给格列泽戈斯·罗森伯格的论文。柏林：施普林格出版社（ISBN 3-540-43190-X）。莱克特。注释计算。科学。2300, 191-219 (2002).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}等人，Lect。注释计算。科学。2300191-219（2002年；Zbl 1060.68078）
全文： 链接
安德里亚·科拉迪尼（编辑）;哈特穆特·埃里格（编辑）;汉斯·约尔格·克鲁斯基（编辑）;格列泽戈兹·罗森贝格（编辑）

图形转换。2002年10月7日至12日在西班牙巴塞罗那举行的2002年ICGT第一届国际会议。诉讼程序。 （英语） Zbl 1001.00043号

计算机科学课堂讲稿. 2505. 柏林：斯普林格。ix，459页（2002年）。
MSC公司：00B25型 68-06 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}（编辑）等人，《图形转换》。2002年10月7日至12日在西班牙巴塞罗那举行的ICGT 2002第一届国际会议。诉讼程序。柏林：施普林格出版社（2002；Zbl 1001.00043）
全文： 内政部
哈特穆特·埃里格（编辑）;格雷戈·恩格斯（编辑）;汉斯·约尔格·克鲁斯基（编辑）;加布里埃尔·坦泽尔（编辑）

特刊：图形转换系统研讨会（GRATRA 2000）。2000年，德国柏林，欧洲软件理论与实践联合会议的卫星活动。 （英语） Zbl 0998.00014号

科学。计算。程序。 44，第2期，131-252（2002）.
MSC公司：00B25型 68-06
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}（编辑）等，科学。计算。程序。44，第2号，131--252（2002；Zbl 0998.00014）
全文： 内政部
安德烈亚·科拉迪尼（编辑）;哈特穆特·埃里格（编辑）;格列泽戈兹·罗森贝格（编辑）;加布里埃尔·坦泽尔（编辑）

特刊：APPLIGRATH/GETGRATS图形转换系统联合研讨会（GRATRA 2000）-ETAPS 2000在德国柏林的卫星。 （英语） Zbl 1001.00050号

数学。结构。计算。科学。 12，第2期，111-235（2002）.
MSC公司：00B25型 68-06 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{A.Corradini}（编辑）等，《数学》。结构。计算。科学。12，编号2，111--235（2002；Zbl 1001.00050）
全文： 内政部
威尔弗里德·布劳尔（编辑）;哈特穆特·埃里格（编辑）;朱哈尼·卡胡马基（编辑）;阿托·萨洛马（编辑）

形式和自然计算。献给格列泽戈兹·罗森伯格的散文。 （英语） Zbl 0989.00070号

计算机科学课堂讲稿.2300。柏林：斯普林格。xxxvi，431页（2002年）。
MSC公司：00B30型 68-06 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit｛W.Brauer｝（编辑）等人，《形式与自然计算》。献给格列泽戈兹·罗森伯格的论文。柏林：施普林格出版社（2002；Zbl 0989.00070）
全文： 内政部
哈特穆特·埃里格;费尔南多·奥雷贾斯

用于集成数据类型和流程建模技术的概念性和形式化框架。 （英语） Zbl 1262.68138号

Baresi，Luciano（编辑）等人，GT-VMT 2001。图形转换和视觉建模技术（ICALP 2001年卫星研讨会），希腊克里特岛，2001年7月12日至13日。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记50，第3期，199-226（2001）。
MSC公司：68问题85 2012年第68季度 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}和\textit{F.Orejas}，电子。注释Theor。计算。科学。50，第3号，199--226（2001；Zbl 1262.68138）
全文： 内政部
哈特穆特·埃里格（编辑）;克劳迪娅·埃尔梅尔（编辑）;朱莉娅·帕德伯格（编辑）

UNIGRA 2001。图形化过程规范技术的统一方法（ETAPS 2001卫星活动），意大利热那亚，2001年3月31日至4月1日。诉讼程序。 （英语） Zbl 1262.68012号

理论计算机科学电子笔记44号，第4条。阿姆斯特丹：爱思唯尔。第189页。，仅电子版（2001）。
MSC公司：68-06 2012年第68季度 60年第68季度 68问题85 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}（编辑）等人，UNIGRA 2001。图形过程规范技术的统一方法（ETAPS 2001的卫星活动），意大利热那亚，2001年3月31日至4月1日。诉讼程序。阿姆斯特丹：Elsevier（2001；Zbl 1262.68012）
全文： 链接
费尔南多·奥雷贾斯;哈特穆特·埃里格;埃尔维拉·皮诺

转换系统的紧密语义和松散语义。 （英语） Zbl 1043.68072号

Cerioli，Maura（编辑）等人，代数开发技术的最新趋势。第15次国际研讨会，WADT 2001，与CoFI工作组会议联合，意大利热那亚，2001年4月1日至3日。精选论文。柏林：施普林格出版社（ISBN 3-540-43159-4）。莱克特。注释计算。科学。2267, 238-255 (2001).
MSC公司：68问题65 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Orejas}等人，Lect。注释计算。科学。2267238--255（2001年；Zbl 1043.68072）
全文： 链接
朱莉娅·帕德伯格;哈特穆特·埃里格;格列泽戈兹·罗森贝格

基于自由幺半群和幂集图的Petri网的行为和实现构造。 （英语） Zbl 1017.68079号

Ehrig，Hartmut（编辑）等人，《统一Petri网》。Petri网的进展。柏林：斯普林格。莱克特。注释计算。科学。2128, 230-249 (2001).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Padberg}等人，Lect。注释计算。科学。2128230--249（2001年；Zbl 1017.68079）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件