安德烈亚·科拉迪尼 GETGRATS：科学成果总结（附注释书目）。 （英文） Zbl 1263.68069号 Bauderon，Michel（编辑）等人，GETGRATS图形转换系统闭幕研讨会，法国波尔多，2001年6月22日至23日。诉讼程序。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》51，1-64（2002）。 摘要：本文件总结了GETGRATS项目在网络生命周期内（从1996年9月1日到2001年8月31日）开展的研究活动的主要科学贡献。书目列出了大约300种出版物，其中大多数是在国际期刊或会议上发表的。从书目项到文档正文的反向链接允许将其用作带注释的书目。关于整个系列，请参见[Zbl 1262.68010号]. 引用于2文件 MSC公司： 2012年第68季度 语法和重写系统 60年第68季度 规范和验证（程序逻辑、模型检查等） 00A15年 一般数学参考文献 软件：莫德;ViewPoints（查看点） PDF格式BibTeX公司 XML格式引用 \textit｛A.Corradini｝，电子。注释Theor。计算。科学。51、1--64（2002年；Zbl 1263.68069） 全文： 内政部 参考文献： [1] 安德烈，M。；恩格斯，G。；哈贝尔，A。；霍夫曼，B。；Kreowski，H.-J。；库斯克，S。；普拉普，D。；舒尔，A。；Taentzer，G.，《规范和编程的图形转换》，《计算机编程科学》，34，1，1-54（1999），8·Zbl 0933.68022号 [2] Z.M.Ariola、J.W.Klop和D.Plump。双相似项图的合流重写。在程序。第四次并发表达研讨会TCS中的电子注释; Z.M.Ariola、J.W.Klop和D.Plump。双相似项图的合流重写。在程序。第四次并发表达研讨会TCS中的电子注释·Zbl 0911.68090号 [3] 阿里奥拉，Z.M。；Klop，J.W。；Plump，D.，术语图重写中的双相似性，Inform。和计算，156，1/2，2-24（2000），6.1·Zbl 1045.68590号 [4] 保罗·巴尔丹。并发计算建模：从上下文Petri网到图文法; 保罗·巴尔丹。并发计算建模：从上下文Petri网到图文法 [5] 保罗·巴尔丹。图语法的并发性（在Petri网外壳中）。鲍德龙和科拉迪尼【BC02】。本卷。5.1; 保罗·巴尔丹。图语法的并发性（在Petri网外壳中）。鲍德龙和科拉迪尼【BC02】。本卷。5.1 ·Zbl 1263.68065号 [6] P.Baldan、N.Busi、A.Corradini和G.M.Pinna。具有读弧和抑制弧的Petri网的域和事件结构语义。技术报告TR-05-00，比萨大学计算机科学系，2000年。5.1; P.Baldan、N.Busi、A.Corradini和G.M.Pinna。具有读弧和抑制弧的Petri网的域和事件结构语义。技术报告TR-05-00，比萨大学计算机科学系，2000年。5.1 ·Zbl 1078.68103号 [7] P.Baldan、N.Busi、A.Corradini和G.M.Pinna。带读弧和抑制弧的Petri网的函数并发语义。在C.Palamidessi编辑中，CONCUR'00会议记录LNCS公司; P.Baldan、N.Busi、A.Corradini和G.M.Pinna。带读弧和抑制弧的Petri网的函数并发语义。在C.Palamidessi编辑中，CONCUR'00会议记录LNCS公司·Zbl 0999.68150号 [8] M.Bauderon和F.Carrere。正交图分解。在Ehrig和Taentzer[ET00]中，第197-204页。2.2; M.Bauderon和F.Carrere。正交图分解。在Ehrig和Taentzer[ET00]中，第197-204页。2.2 [9] M.Bauderon和A.Corradini，编辑。程序。GETGRATS闭幕研讨会TCS中的电子注释; M.Bauderon和A.Corradini，编辑。程序。GETGRATS闭幕研讨会TCS中的电子注释·Zbl 1262.68010号 [10] P.Baldan、A.Corradini、H.Ehrig、M.Löwe、U.Montanari和F.Rossi。代数图转换系统的并发语义。在Ehrig等人[EKMR99]中，第3章。5.1, 8; P.Baldan、A.Corradini、H.Ehrig、M.Löwe、U.Montanari和F.Rossi。代数图转换系统的并发语义。在Ehrig等人[EKMR99]中，第3章。5.1, 8 [11] P.Baldan、A.Corradini、H.Ehrig和R.Heckel。使用开放网络对反应系统进行组合建模。编辑K.G.Larsen和M.Nielsen，CONCUR 2001会议记录LNCS公司; P.Baldan、A.Corradini、H.Ehrig和R.Heckel。使用开放网络对反应系统进行组合建模。编辑K.G.Larsen和M.Nielsen，CONCUR 2001会议记录LNCS公司·Zbl 1006.68084号 [12] P.Baldan、A.Corradini和B.König。图变换系统的静态分析技术。在K.G.Larsen和M.Nielsen的编辑中，CONCUR 2001会议记录LNCS公司; P.Baldan、A.Corradini和B.König。图变换系统的静态分析技术。编辑K.G.Larsen和M.Nielsen，CONCUR 2001会议记录LNCS公司·Zbl 1006.68529号 [13] P.Baldan、A.Corradini和U.Montanari。DPO图形转换系统的展开语义。恩格斯和罗森伯格[ER98]，第251-260页。5.1; P.Baldan、A.Corradini和U.Montanari。DPO图形转换系统的展开语义。恩格斯和罗森伯格[ER98]，第251-260页。5.1 [14] P.Baldan、A.Corradini和Montanari，《图形语法的展开和事件结构语义》。编辑W.Thomas，1999年FoSSaCS会议记录LNCS公司; P.Baldan、A.Corradini和Montanari，《图形语法的展开和事件结构语义》。编辑W.Thomas，1999年FoSSaCS会议记录LNCS公司·Zbl 0946.68087号 [15] P.Baldan、A.Corradini和U.Montanari。上下文Petri网，非对称事件结构和过程。出现在信息与计算; P.Baldan、A.Corradini和U.Montanari。上下文Petri网，非对称事件结构和过程。出现在信息与计算·Zbl 1005.68103号 [16] P.Baldan、A.Corradini和U.Montanari。上下文网络的历史保护互模拟。编辑D.Bert和C.Choppy，WADT’99会议记录LNCS公司; P.Baldan、A.Corradini和U.Montanari。上下文网络的历史保护互模拟。编辑D.Bert和C.Choppy，WADT’99会议记录LNCS公司·Zbl 0966.68151号 [17] P.Baldan、A.Corradini和U.Montanari。双推出图文法的展开是一种相互反映。在Ehrig等人[EEKR00]中，第145-163页。5.1; P.Baldan、A.Corradini和U.Montanari。双推出图文法的展开是一种相互反映。在Ehrig等人[EEKR00]中，第145-163页。5.1 ·Zbl 0958.68081号 [18] P.Baldan、A.Corradini和U.Montanari。图文法的互模拟等价性。提交出版，2001年。5.1; P.Baldan、A.Corradini和U.Montanari。图文法的互模拟等价性。提交出版，2001年。5.1 ·Zbl 1060.68050号 [19] N.Bidoit和S.de Amo。隐式时间查询语言：走向完整。在程序。FST&TCS（印度钦奈）; N.Bidoit和S.de Amo。隐式时间查询语言：走向完整。在程序。FST&TCS（印度钦奈）·Zbl 0958.68057号 [20] R.Bruni、D.de Frutos-Escrig、N.Martí-Oliet和U.Montanari。通过分块逻辑实现开放项和术语图的双相似同余。在C.Palamidessi编辑中，CONCUR 2000第11届并行理论国际会议论文集LNCS公司; R.Bruni、D.de Frutos-Escrig、N.Martí-Oliet和U.Montanari。通过分块逻辑实现开放项和术语图的双相似同余。在C.Palamidessi编辑中，CONCUR 2000第11届并行理论国际会议论文集LNCS公司·Zbl 0999.68142号 [21] R.Bruni、D.de Frutos-Escrig、N.Marti-Oliet和U.Montanari。开放项和项图的双相似同余。技术报告TR-00-06，比萨大学计算机科学系，2000年。3.2; R.Bruni、D.de Frutos-Escrig、N.Marti-Oliet和U.Montanari。开放项和项图的双相似同余。技术报告TR-00-06，比萨大学计算机科学系，2000年。3.2 ·Zbl 0999.68142号 [22] R.Bloem和J.Engelfriet。树节点上一元二阶逻辑中定义的属性和关系的特征。技术报告97-03，莱顿大学，1997年8月。3.3; R.Bloem和J.Engelfriet。一元二阶逻辑在树的节点上定义的性质和关系的刻画。技术报告97-03，莱顿大学，1997年8月。3.3 ·Zbl 0888.03025号 [23] R.Bloem和J.Engelfriet。图和树上的一元二阶逻辑和节点关系。编辑J.Mycielski、G.Rozenberg和A.Salomaa，逻辑与计算机科学中的结构LNCS公司; R.Bloem和J.Engelfriet。图和树上的一元二阶逻辑和节点关系。编辑J.Mycielski、G.Rozenberg和A.Salomaa，逻辑与计算机科学中的结构LNCS公司·Zbl 0888.03025号 [24] Bodlaender，H.L。；Engelfriet，J.，Domino树宽，J.of Algorithms，24，94-123（1997），2.10·Zbl 0882.68106号 [25] 布隆，R。；Engelfriet，J.，《一元二阶逻辑和属性文法定义的树转导的比较》，《计算机与系统科学杂志》，61，1-50（2000），2.6，3.3·Zbl 0960.68086号 [26] R.Bruni和F.Gadducci。跨度的一些代数定律（及其与多重关系的联系）。编辑W.Kahl、D.L.Parnas和G.Schmidt，RelMiS 2001年会议记录，软件中的关系方法TCS中的电子注释; R.Bruni和F.Gadducci。跨度的一些代数定律（及其与多重关系的联系）。编辑W.Kahl、D.L.Parnas和G.Schmidt，RelMiS 2001年会议记录，软件中的关系方法TCS中的电子注释 [27] R.Bruni、F.Gadducci和U.Montanari。分割和关系的规范形式。编辑J.L.Fiadeiro，代数发展技术的最新趋势LNCS公司; R.Bruni、F.Gadducci和U.Montanari。分割和关系的规范形式。编辑J.L.Fiadeiro，代数发展技术的最新趋势LNCS公司·Zbl 0955.68081号 [28] M.Bauderon、S.Gruner、Y.Métiver、M.Mosbah和A.Sellami。基于图重标记系统的分布式算法可视化。在GT-VMT 01会议记录TCS中的电子票据; M.Bauderon、S.Gruner、Y.Métiver、M.Mosbah和A.Sellami。基于图重标记系统的分布式算法可视化。在GT-VMT 01会议记录TCS中的电子注释·Zbl 1262.68181号 [29] M.Bauderon、S.Gruner和M.Mosbah。一种用于可视化和模拟分布式算法的工具。在程序。Premières Journées Francophones MODELES FORMELS de l’INTERATION法语国家之旅; M.Bauderon、S.Gruner和M.Mosbah。用于可视化和模拟分布式算法的工具。在程序。Premières Journées Francophones MODELES FORMELS de l’INTERATION法语国家之旅·Zbl 1262.68181号 [30] R.Bruni、F.Gadducci和U.Montanari。连接代数的范式。理论。计算。科学; R.Bruni、F.Gadducci和U.Montanari。连接代数的范式。理论。计算。科学·Zbl 1061.68110号 [31] G.Busatto和B.Hoffmann。比较层次图变换的概念。在2001年ICALP卫星图形转换和可视化建模研讨会TCS中的电子注释; G.Busatto和B.Hoffmann。比较层次图变换的概念。在2001年ICALP卫星图形转换和可视化建模研讨会TCS中的电子注释 [32] Bauderon，M。；Jacquet，H.，作为通用图重写机制的范畴积，应用范畴结构，9，1，65-82（2001），2.2·Zbl 0970.68080号 [33] Bauderon，M。；Jacquet，H.，图和超图中的节点重写：分类框架，Theor。公司。科学，266，1-2，463-487（2001），2.2·Zbl 0989.68064号 [34] M.Bauderon、H.Jacquet和R.Klempien-Henichs。回调重写和应用程序。鲍德龙和科拉迪尼【BC02】。本卷。2.2; M.Bauderon、H.Jacquet和R.Klempien Hinrichs。回调重写和应用程序。鲍德龙和科拉迪尼【BC02】。本卷。2.2 ·Zbl 1263.68067号 [35] G.Busatto、H.-J.Kreowski和S.Kuske。抽象层次图转换。技术报告1/01，不来梅大学，2001年。4.3; G.Busatto、H.-J.Kreowski和S.Kuske。抽象层次图转换。技术报告1/01，不来梅大学，2001年。4.3 ·Zbl 1102.68039号 [36] P.Bottoni、M.Koch、F.Parisi Presicce和G.Taentzer。OCL约束的一致性检查和可视化。在程序。UML 2000的LNCS公司; P.Bottoni、M.Koch、F.Parisi Presicce和G.Taentzer。OCL约束的一致性检查和可视化。在程序。UML 2000的LNCS公司·Zbl 1024.68642号 [37] R.Bruni和U.Montanari。零安全网或转换同步变得简单。在C.Palamidessi和J.Parrow的编辑中，1997年EXPRESS第四次并发表达研讨会会议记录TCS中的电子注释; R.Bruni和U.Montanari。零安全网或转换同步变得简单。在C.Palamidessi和J.Parrow的编辑中，1997年EXPRESS第四次并发表达研讨会会议记录TCS中的电子注释·兹比尔0911.68149 [38] A.Bottreau和Y.Métiver。未成年人搜索，图重写的正常形式：两个基于图重标记枚举的应用程序。在系统规范和计算结构基础LNCS公司; A.Bottreau和Y.Métiver。未成年人搜索，图重写的正常形式：两个基于图重标记枚举的应用程序。在系统规范和计算结构基础LNCS公司 [39] Bottreau，A。；Métivier，Y.，关于图的kronecker乘积的一些评论，信息处理字母，68，55-61（1998），7·Zbl 1339.05338号 [40] R.Bruni和U.Montanari。零安全网：个体标记方法。编辑F.Parisi Presicce，97年WADT第12次代数发展技术最新趋势研讨会论文集LNCS公司; R.Bruni和U.Montanari。零安全网：个体标记方法。编辑F.Parisi Presicce，WADT’97论文集，代数发展技术最新趋势第12次研讨会LNCS公司 [41] 布吕尼（R.Bruni）和蒙塔纳里（U.Montanari）。笛卡尔闭合了双范畴，即λ-符号和pi-calculus。在LICS’99第14届IEEE计算机科学逻辑年会论文集; 布吕尼（R.Bruni）和蒙塔纳里（U.Montanari）。笛卡尔闭合了双范畴，即λ-符号和pi-calculus。在LICS’99第14届IEEE计算机科学逻辑年会论文集 [42] 布鲁尼，R。；Montanari，U.，《零安全网：通过转换同步合成网络》（Zero-safe nets:Composing nets via transition synchronization），（Weber，H.；Ehrig，H.，Reisig，W.，《基于通信系统建模的Petri网技术国际学术讨论会》（1999），Fraunhofer-Gesellschaft ISST），43-80，3.2 [43] R.Bruni和U.Montanari。在零安全网络中执行事务。编辑M.尼尔森和D.辛普森，ICATPN 2000第21届国际会议论文集，Petri网应用和理论LNCS公司; R.Bruni和U.Montanari。在零安全网络中执行事务。编辑M.尼尔森和D.辛普森，ICATPN 2000第21届国际会议论文集，Petri网应用和理论LNCS公司·Zbl 0986.68081号 [44] 布鲁尼，R。；Montanari，U.，《零安全网：比较集体和个人令牌方法》，Inform。和计算，156，1-2，46-89（2000），3.2·Zbl 1046.68615号 [45] R.Bruni和U.Montanari，《交易和零安全网》，2001年。出现在Petri网研究进展; R.Bruni和U.Montanari，《交易和零安全网》，2001年。出现在Petri网研究进展·Zbl 1017.68074号 [46] R.Bruni和U.Montanari。琳达交易的零安全网模型。在U.Montanari和V.Sassone，编辑，2001年ConCoord会议记录，并发与协调国际研讨会TCS中的电子注释; R.Bruni和U.Montanari。琳达交易的零安全网模型。在U.Montanari和V.Sassone，编辑，2001年ConCoord会议记录，并行与协调国际研讨会TCS中的电子注释·Zbl 1017.68074号 [47] R.Bruni、J.Meseguer和U.Montanari，《瓦片系统的实现：来自过程计算的一些示例》。在P.Degano、U.Vaccaro和G.Pirillo的编辑中，1998年第六届意大利理论计算机科学会议论文集; R.Bruni、J.Meseguer和U.Montanari，《瓦片系统的实现：来自过程计算的一些示例》。编辑P.Degano、U.Vaccaro和G.Pirillo，1998年第六届意大利理论计算机科学会议论文集 [48] R.Bruni、J.Meseguer和U.Montanari。瓦片系统重写实现中的内部策略。在C.Kirchner和H.Kirchner的编辑中，WRLA’98第二期重写逻辑及其应用研讨会论文集TCS中的电子注释; R.Bruni、J.Meseguer和U.Montanari。瓦片系统重写实现中的内部策略。在C.Kirchner和H.Kirchner的编辑中，WRLA’98第二届重写逻辑及其应用研讨会论文集TCS中的电子注释·Zbl 0917.68104号 [49] R.Bruni、J.Meseguer和U.Montanari，《过程和术语瓦片逻辑》。技术报告SRI-CSL-98-06，SRI国际，1998年。比萨大学计算机科学系技术报告TR-98-09。3.2; R.Bruni、J.Meseguer和U.Montanari，《过程和术语瓦片逻辑》。技术报告SRI-CSL-98-06，SRI国际，1998年。比萨大学计算机科学系技术报告TR-98-09。3.2 ·Zbl 0993.68058号 [50] R.Bruni、J.Meseguer和U.Montanari。过程计算的可执行瓷砖规范。在J.-P.Finance编辑，FASE’99会议录，软件工程基本方法LNCS公司; R.Bruni、J.Meseguer和U.Montanari。过程计算的可执行瓷砖规范。在J.-P.Finance编辑中，FASE’99会议录，软件工程基本方法LNCS公司 [51] R.Bruni、J.Meseguer和U.Montanari。对称单体和笛卡尔双重范畴作为瓦片逻辑的语义框架。数学。结构。在Comput中。科学; R.Bruni、J.Meseguer和U.Montanari。对称单体和笛卡尔双重范畴作为瓦片逻辑的语义框架。数学。结构。计算中。科学·Zbl 0993.68058号 [52] R.Bruni、J.Meseguer、U.Montanari和V.Sassone。集体标记哲学下的petri网语义比较。在J.Xiang和A.Ohori的编辑中，第四届亚洲计算科学会议亚洲98年会议记录LNCS公司; R.Bruni、J.Meseguer、U.Montanari和V.Sassone。集体标记哲学下的petri网语义比较。在J.Xiang和A.Ohori的编辑中，第四届亚洲计算科学会议亚洲98年会议记录LNCS公司·Zbl 0932.68062号 [53] R.Bruni、J.Meseguer、U.Montanari和V.Sassone。个体标记哲学下petri网的函数语义。在M.Hofmann、G.Rosolini和D.Pavlovic中。，编辑，第八类理论与计算机科学TCS中的电子注释; R.Bruni、J.Meseguer、U.Montanari和V.Sassone。个体标记哲学下petri网的函数语义。在M.霍夫曼、G.罗索里尼和D.巴甫洛维奇的著作中。，编辑，第八类理论与计算机科学TCS中的电子注释·Zbl 0966.68108号 [54] R.Bruni、J.Meseguer、U.Montanari和V.Sassone。petri网的函数模型。通知。和计算; R.Bruni、J.Meseguer、U.Montanari和V.Sassone。petri网的函数模型。通知。和计算·Zbl 1005.68102号 [55] M.Bauderon、Y.Métiver、M.Mosbah和A.Sellami。图形重新标记系统：用于编码、证明、研究和可视化分布式算法的工具。鲍德龙和科拉迪尼【BC02】。本卷。7; M.Bauderon、Y.Métiver、M.Mosbah和A.Sellami。图形重新标记系统：用于编码、证明、研究和可视化分布式算法的工具。鲍德龙和科拉迪尼【BC02】。这个卷。7 ·Zbl 1263.68066号 [56] R.Bruni、U.Montanari和F.Rossi。逻辑编程的交互语义。逻辑程序设计理论与实践; R.Bruni、U.Montanari和F.Rossi。逻辑编程的交互语义。逻辑程序设计理论与实践·Zbl 1066.68512号 [57] 伯梅斯特，P。；蒙塞拉特，M。；罗塞洛，F。；Valiente，G.，一元部分代数的代数变换II：单推法，理论。计算。科学，216311-362（1999），2.1·Zbl 0914.68120号 [58] R.Bruni、U.Montanari和V.Sassone。开放式系统、动态互模拟和瓦片逻辑。在J.van Leeuwen、O.Watanabe、M.Hagiya、P.D.Mosses和T.Ito的编辑中，2000年IFIP TCS会议录，IFIP理论计算机科学国际会议LNCS公司; R.Bruni、U.Montanari和V.Sassone。开放式系统、动态互模拟和分片逻辑。在J.van Leeuwen、O.Watanabe、M.Hagiya、P.D.Mosses和T.Ito的编辑中，2000年IFIP TCS会议录，IFIP理论计算机科学国际会议LNCS公司·Zbl 0998.68087号 [59] R.Bruni、U.Montanari和V.Sassone。2001年，通过磁贴逻辑动态重新配置。提交。3.2; R.Bruni、U.Montanari和V.Sassone。2001年，通过磁贴逻辑动态重新配置。提交。3.2 [60] R.Bardhol、M.Minas、A.Schürr和G.Taentzer。图形变换在可视化语言中的应用。Ehrig等人[EEKR99]，第3章，第105-180页。8; R.Bardhol、M.Minas、A.Schürr和G.Taentzer。图形变换在可视化语言中的应用。Ehrig等人[EEKR99]，第3章，第105-180页。8 [61] 罗伯托·布鲁尼。并行系统同步重写的分片逻辑; 罗伯托·布鲁尼。并行系统同步重写的分片逻辑 [62] R.Bruni和V.Sassone。上下文网络的代数模型。在U.Montanari、J.D.P.Rolim和E.Welzl编辑中，ICALP 2000会议记录，第27届国际学院。论自动机、语言和程序设计LNCS公司; R.Bruni和V.Sassone。上下文网络的代数模型。在U.Montanari、J.D.P.Rolim和E.Welzl编辑中，ICALP 2000会议记录，第27届国际学院。论自动机、语言和程序设计LNCS公司·兹伯利0973.68161 [63] R.Bruni和V.Sassone。上下文网络的两个代数过程语义，2001年。出现在Petri网的研究进展; R.Bruni和V.Sassone。上下文网络的两个代数过程语义，2001年。出现在Petri网的研究进展·Zbl 1017.68075号 [64] G.Busatto和P.J.’t Hoen。一种基于图语法的超媒体应用程序动态规范方法。Rolim等人[CH00]，第403-409页。6.7; G.Busatto和P.J.’t Hoen。一种基于图形-语法的超媒体应用程序动态规范方法。Rolim等人[CH00]，第403-409页。6.7 [65] N.Bidoit和M.Ykhlef。定点路径查询。在网络与数据库国际研讨会与扩展数据库技术国际会议; N.Bidoit和M.Ykhlef。定点路径查询。在网络与数据库国际研讨会与扩展数据库技术国际会议 [66] N.Bidoit和M.Ykhlef。查询半结构化数据的定点演算。在程序。万维网和数据库国际研讨会LNCS公司; N.Bidoit和M.Ykhlef。查询半结构化数据的定点演算。在程序。万维网和数据库国际研讨会LNCS公司 [67] A.Corradini和F.Drewes。（循环）项图重写适用于有理并行项重写。技术报告TR-97-14，信息研究所，比萨，1997年。6.1; A.Corradini和F.Drewes。（循环）项图重写对于有理并行项重写是足够的。技术报告TR-97-14，信息研究所，比萨，1997年。6.1 [68] M.Clavel、F.Durán、S.Eker、n.Martí-Oliet、J.Meseguer和J.Quesada。莫德：重写逻辑中的规范和编程网址：http://maude.csl.sri.com/manual; M.Clavel、F.Durán、S.Eker、n.Martí-Oliet、J.Meseguer和J.Quesada。莫德：重写逻辑中的规范和编程网址：http://maude.csl.sri.com/manual [69] A.Corradini和F.Gadducci。术语图重写的2分类表示。在1997年CTCS会议记录LNCS公司; A.Corradini和F.Gadducci。术语图重写的2分类表示。在1997年CTCS会议记录LNCS公司·Zbl 0889.68085号 [70] A.Corradini和F.Gadducci。理性术语重写。编辑M.Nivat，FoSSaCS’98会议记录LNCS公司; A.Corradini和F.Gadducci。理性术语重写。编辑M.Nivat，FoSSaCS’98会议记录LNCS公司·Zbl 0908.68081号 [71] A.Corradini和F.Gadducci。重写循环结构。技术报告TR-98-05，信息研究所，比萨，1998年。FICS’98会议录中的扩展摘要。5.3; A.Corradini和F.Gadducci。重写循环结构。技术报告TR-98-05，信息研究所，比萨，1998年。FICS’98会议录中的扩展摘要。5.3 ·Zbl 0908.68081号 [72] Corradini，A。；Gadducci，F.，术语图的代数表示，通过gs-moneid范畴，应用范畴结构，7，299-331（1999），5.3·Zbl 0949.68121号 [73] A.Corradini和F.Gadducci。多代数的函数语义。编辑J.L.Fiadeiro，代数发展技术的最新趋势LNCS公司; A.Corradini和F.Gadducci。多代数的函数语义。编辑J.L.Fiadeiro，代数发展技术的最新趋势LNCS公司·兹比尔0942.18002 [74] Corradini，A。；Gadducci，F.，《循环结构的改写：操作描述和范畴描述之间的等价性》，《信息学理论与应用》，33，467-493（1999），5.3·Zbl 0940.18002号 [75] A.Corradini和F.Gadducci。多代数和部分代数的函数语义，以及语法应用。理论。计算。科学; A.Corradini和F.Gadducci。多代数和部分代数的函数语义，及其在语法中的应用。理论。计算。科学·Zbl 1061.18008号 [76] A.Corradini和F.Gadducci。类Term结构的分类重写。鲍德龙和科拉迪尼【BC02】。本卷。5.3; A.Corradini和F.Gadducci。类Term结构的分类重写。鲍德龙和科拉迪尼【BC02】。本卷。5.3 ·Zbl 1263.68070号 [77] A.Corradini、M.Große-Rhode和R.Heckel。使用有限（共）极限二重理论的图推导代数。编辑J.L.Fiadeiro，代数发展技术的最新趋势LNCS公司; A.Corradini、M.Große-Rhode和R.Heckel。使用有限（共）极限二重理论的图推导代数。编辑J.L.Fiadeiro，代数发展技术的最新趋势LNCS公司·Zbl 0955.68080号 [78] Corradini，A。；格罗斯-罗德，M。；Heckel，R.，《结构化过渡系统的联合表述》，Theoret。计算。科学，260，27-55（2001），5.5·Zbl 0973.68173号 [79] A.Corradini、F.Gadducci和W.Kahl。多代数的术语图语法。技术报告TR-00-04，信息研究所，2000年。5.3; A.Corradini、F.Gadducci和W.Kahl。多代数的术语图语法。技术报告TR-00-04，信息研究所，2000年。5.3 [80] A.Corradini和R.Heckel。图形转换和可视化建模技术。编辑J.D.P.Rolim、A.Z.Broder、A.Corradini、R.Gorrieri、R.Heckel、J.Hromkovic、U.Vaccaro和J.B.Wells，ICALP研讨会2000信息学论文集; A.Corradini和R.Heckel。图形转换和可视化建模技术。编辑J.D.P.Rolim、A.Z.Broder、A.Corradini、R.Gorrieri、R.Heckel、J.Hromkovic、U.Vaccaro和J.B.Wells，ICALP研讨会2000信息学论文集 [81] A.Corradini、R.Heckel和U.Montanari，《从SOS规范到结构化同构代数：如何使双模拟成为同余》。编辑B.Jacobs和J.Rutten，99年计算机科学中的协代数方法TCS中的电子注释; A.Corradini、R.Heckel和U.Montanari，《从SOS规范到结构化同构代数：如何使双模拟成为同余》。编辑B.Jacobs和J.Rutten，99年计算机科学中的协代数方法TCS中的电子注释·Zbl 0918.68065号 [82] A.Corradini、R.Heckel和U.Montanari。将过渡系统划分为结构化的联合体。在G.Ciobanu和Gh.Paun。，编辑，计算理论基础LNCS公司; A.Corradini、R.Heckel和U.Montanari。将过渡系统划分为结构化的联合体。在G.Ciobanu和Gh.Paun。，编辑，计算理论基础LNCS公司·Zbl 0944.18006号 [83] A.Corradini、R.Heckel和U.Montanari。图形操作语义。Rolim等人【CH00】，第357-486页。3.6; A.Corradini、R.Heckel和U.Montanari。图形操作语义。在Rolim等人[CH00]中，第357-486页。3.6 [84] A.Corradini、R.Heckel和U.Montanari，《合成SOS及其以外：开放系统的联合观点》。技术报告TR-01-01，信息学院，比萨大学，2001年。出现在TCS中。5.5; A.Corradini、R.Heckel和U.Montanari，《合成SOS及其后的发展：开放系统的一种代数观点》。技术报告TR-01-01，信息学院，比萨大学，2001年。出现在TCS中。5.5 ·Zbl 1014.68107号 [85] B.Courcelle和D.Lapoire。平面图和无上下文语言的面部电路。在L.Brim、J.Gruska和J.Zlatuška的编辑中，程序。1998年计算机科学数学基础LNCS公司; B.Courcelle和D.Lapoire。平面图和无上下文语言的面部电路。编辑L.Brim、J.Gruska和J.Zlatuška，程序。1998年计算机科学数学基础LNCS公司·Zbl 0914.68115号 [86] B.Courcelle和J.A.Makowsky。关系结构上的操作及其与一元二阶逻辑的兼容性。在Ehrig和Taentzer[ET00]中，第206-214页。2.3; B.Courcelle和J.A.Makowsky。关系结构上的操作及其与一元二阶逻辑的兼容性。在Ehrig和Taentzer[ET00]中，第206-214页。2.3 [87] B.Courcelle和J.A.Makowsky。关系结构中的融合和一元二阶性质的验证。数学。结构。计算中。科学; B.Courcelle和J.A.Makowsky。关系结构中的融合和一元二阶性质的验证。数学。结构。计算中。科学·Zbl 1005.68105号 [88] A.Corradini、U.Montanari、F.Rossi、H.Ehrig、R.Heckel和M.Löwe。图变换的代数方法I：基本概念和双推法。在Rozenberg[Roz97]，第3章。2.1, 8; A.Corradini、U.Montanari、F.Rossi、H.Ehrig、R.Heckel和M.Löwe。图变换的代数方法I：基本概念和双推法。罗森伯格[Roz97]，第3章。2.1, 8 [89] B.Courcelle、J.A.Makowsky和U.Rotics。某些图族上的线性时间可解优化问题。在程序。第24届国际计算机科学图论概念研讨会（WG'98）LNCS公司; B.Courcelle、J.A.Makowsky和U.Rotics。某些图族上的线性时间可解优化问题。在程序。第24届国际计算机科学图论概念研讨会（WG'98）LNCS公司·Zbl 0929.90084号 [90] 库塞尔，B。；Makowsky，J.A。；Rotics，U.，某些结构化图族上的线性时间可解优化问题，计算机科学理论（前身为数学系统理论），33125-150（2000），3.3·Zbl 1009.68102号 [91] 库塞尔，B。；Makowsky，J.A。；关于一元二阶逻辑中可定义的图枚举问题的固定参数复杂性，《离散应用数学》，108，23-52（2001），3.3·Zbl 0972.05023号 [92] 库塞尔，B。；Olariu，S.，图的线宽上限，离散应用数学，10177-114（2000），3.3·Zbl 0958.05105号 [93] 安德烈亚·科拉迪尼。中的术语重写\（CT_∑\）1993年CAAP会议记录LNCS公司; 安德烈亚·科拉迪尼。中的术语重写\（CT_∑\）1993年CAAP会议记录LNCS公司 [94] 库塞尔，布鲁诺，语言理论和图文法的泛代数基本概念，理论。计算。科学，163，1-54（1996），3.3·Zbl 0874.68170号 [95] Courcelle，Bruno，《图的一元二阶逻辑X：线性序》，《定理》。计算。科学，160，87-143（1996），3.3·Zbl 0877.68087号 [96] 布鲁诺·库塞尔。一元二阶逻辑中图的性质和图的变换的表示。罗森伯格[Roz97]，第5章。8; 布鲁诺·库塞尔（Bruno Courcelle）。一元二阶逻辑中图的性质和图的变换的表示。罗森伯格[Roz97]，第5章。8 ·Zbl 0883.03004号 [97] 布鲁诺·库塞尔。关于一元二阶逻辑某些片断中图的性质的表示。在N.Immerman和P.Kolaitis的编辑中，描述复杂性和有限模型; 布鲁诺·库塞尔（Bruno Courcelle）。关于一元二阶逻辑某些片断中图的性质的表示。在N.Immerman和P.Kolaitis的编辑中，描述复杂性和有限模型·Zbl 0883.03004号 [98] Courcelle，Bruno，图的一元二阶逻辑XI:连通图的层次分解，Theoret。计算。科学，224，35-58（1999），3.3·Zbl 0938.03015号 [99] 布鲁诺·库塞尔（Bruno Courcelle）。图运算和一元二阶逻辑：综述。在程序设计和自动推理的程序逻辑（LPAR）LNCS公司; 布鲁诺·库塞尔（Bruno Courcelle）。图运算和一元二阶逻辑：综述。在程序设计和自动推理的程序逻辑（LPAR）LNCS公司·Zbl 0988.68559号 [100] Courcelle，Bruno，图的一元二阶逻辑XII:平面图和平面图，Theoret。计算。科学，237，1-32（2000），3.3·Zbl 0951.03004号 [101] Courcelle，Bruno，图的一元二阶逻辑XIII:带交叉边的图绘制，Theoret。计算。科学，24463-94（2000），3.3·Zbl 0945.68144号 [102] 布鲁诺·库塞尔（Bruno Courcelle）。图，树和一元二阶逻辑，第一部分：教程，第二部分：最新结果和开放问题。在第八届逻辑、语言、信息和计算研讨会论文集; 布鲁诺·库塞尔（Bruno Courcelle）。图，树和一元二阶逻辑，第一部分：教程，第二部分：最新结果和开放问题。在第八期逻辑、语言、信息和计算研讨会论文集 [103] 布鲁诺·库塞尔（Bruno Courcelle）。凸超图结构的一元二阶定义。通知。和计算; 布鲁诺·库塞尔（Bruno Courcelle）。凸超图结构的一元二阶定义。通知。和计算·Zbl 1049.68098号 [104] 布鲁诺·库塞尔。图的一元二阶逻辑XIV：一致稀疏图和边集量化。理论。计算。科学; 布鲁诺·库塞尔（Bruno Courcelle）。图的一元二阶逻辑XIV：一致稀疏图和边集量化。理论。计算。科学·Zbl 1038.68048号 [105] Drewes，F。；Engelfriet，J.，树木转导范围有限性的可判定性，Inform。和Comput，145，1-50（1998），2.6·Zbl 1034.68525号 [106] F.Drewes、S.Ewert、R.Klempien-Henichs和H.-J.Kreowski。从网格图片语法计算光栅图像。在S.Yu编辑中，程序。第五届国际自动化实施和应用会议（CIAA 2000）LNCS公司; F.Drewes、S.Ewert、R.Klempien-Henichs和H.-J.Kreowski。从网格图片语法计算光栅图像。在S.Yu编辑中，程序。第五届国际自动化实施和应用会议（CIAA 2000）LNCS公司·Zbl 0989.68063号 [107] F.Drewes、A.Habel和H.-J.Kreowski。超边缘替换图文法。罗森伯格[Roz97]，第2章。8; F.Drewes、A.Habel和H.-J.Kreowski。超边缘替换图文法。罗森伯格[Roz97]，第2章。8 ·Zbl 1023.68591号 [108] Drewes，F。；霍夫曼，B。；Plump，D.，《层次图转换》，《计算机与系统科学杂志》（2001年），即将出版。4.3 [109] F.Drewes和H.-J.Kreowski。拼贴语法生成图片。在Ehrig等人[EEKR99]中，第11章，第397-457页。8; F.Drewes和H.-J.Kreowski。通过拼贴语法生成图片。在Ehrig等人[EEKR99]中，第11章，第397-457页。8 [110] F.Drewes和R.Klempien-Hirichs。从树上捡结。凯尔特结的句法结构。编辑M.Anderson、P.Cheng和V.Haarslev，程序。2000年第一届国际图表理论与应用会议人工智能课堂讲稿; F.Drewes和R.Klempien-Hirichs。从树上捡结。凯尔特结的句法结构。编辑M.Anderson、P.Cheng和V.Haarslev，程序。2000年第一届国际图表理论与应用会议人工智能课堂讲稿·Zbl 0973.68240号 [111] F.Drewes和P.Knirsch。T型冷藏袋; F.Drewes和P.Knirsch。T型拉屎 [112] F.Drewes和R.Klempien-Hirichs。T型拉屎程序。第五届国际自动化实施和应用会议（CIAA 2000）LNCS公司; F.Drewes和R.Klempien-Hirichs。T型拉屎程序。第五届国际自动化实施和应用会议（CIAA 2000）LNCS公司 [113] Drewes，F。；Kreowski，H.-J.，阅读超边缘替换生成的图中的单词，（Martin-Vide，C.；Mitrana，V.，Where Mathematics，Computer Science，Linugistics and Biology meet（2001），Kluwer Academic Publishers），243-252，2.3·Zbl 1007.68017号 [114] F.Drewes、R.Klempien-Henichs和H.-J.Kreowski。表驱动和上下文敏感的拼贴语言。编辑G.Rozenberg和W.Thomas，程序。语言理论的发展（DLT’99）; F.Drewes、R.Klempien-Henichs和H.-J.Kreowski。表驱动和上下文敏感的拼贴语言。编辑G.Rozenberg和W.Thomas，程序。语言理论的发展（DLT’99）·Zbl 0996.68095号 [115] F.Drewes、P.Knirsch、H.-J.Kreowski和S.Kuske。图形转换模块及其组成。在Nagl等人[NSM00]中，第15-30页。4.4; F.Drewes、P.Knirsch、H.-J.Kreowski和S.Kuske。图形转换模块及其组成。在Nagl等人[NSM00]中，第15-30页。4.4 [116] F.Drewes、H.-J.Kreowski和D.Lapoire。否定拼贴语言无语境性的标准。在B.S.Chlebus和L.Czaja的编辑中，程序。计算理论基础十一LNCS公司; F.Drewes、H.-J.Kreowski和D.Lapoire。否定拼贴语言无语境性的标准。在B.S.Chlebus和L.Czaja的编辑中，程序。计算理论基础XILNCS公司·Zbl 1044.68089号 [117] Drewes，F。；Kreowski，H.-J。；Lapoire，D.，反驳拼贴语言上下文自由性的标准，Theoret。计算。《科学》（2001），即将出版。6.3 ·Zbl 1044.68089号 [118] 弗兰克·德雷维斯（Frank Drewes）。用超边替换生成树。在普里瓦拉。和鲁日卡普。，编辑，程序。1997年计算机科学数学基础LNCS公司; 弗兰克·德雷维斯（Frank Drewes）。用超边替换生成树。在普里瓦拉。和鲁日卡普。，编辑，程序。1997年计算机科学数学基础LNCS公司·Zbl 0941.68066号 [119] Drewes，Frank，超边替换图文法生成的超树集的特征，计算系统理论，32，159-208（1998），2.3·Zbl 0916.68110号 [120] 弗兰克·德雷维斯（Frank Drewes）。Treebag——用于各种类型对象的基于树的生成器。1998年不来梅大学第1/98号报告。6.3; 弗兰克·德雷维斯（Frank Drewes）。Treebag——用于各种类型对象的基于树的生成器。报告1/98，不来梅大学，1998年。6.3 [121] 弗兰克·德雷维斯（Frank Drewes）。树形图-Baum-basierte Generirung und Transformation von Objekten。编辑J.Dassow和R.Kruse，程序。1998年Informatik; 弗兰克·德雷维斯（Frank Drewes）。树形图-Baum-basierte Generirung und Transformation von Objekten。编辑J.Dassow和R.Kruse，程序。信息学'98 [122] 弗兰克·德雷维斯（Frank Drewes）。自顶向下树传感器指数输出大小问题的复杂性。在G.Ciobanu和Gh.Páun。，编辑，程序。计算理论基础（FCT’99）LNCS公司; 弗兰克·德雷维斯（Frank Drewes）。自顶向下树传感器指数输出大小问题的复杂性。在G.Ciobanu和Gh.Pâun.中。，编辑，程序。计算理论基础（FCT’99）LNCS公司·Zbl 0945.68109号 [123] 弗兰克·德雷维斯（Frank Drewes）。关于拼贴语法和链码语法的生成能力的一些评论。在Ehrig等人[EEKR00]中，第1-14页。6.3; 弗兰克·德雷维斯（Frank Drewes）。关于拼贴语法和链码语法的生成能力的一些评论。在Ehrig等人[EEKR00]中，第1-14页。6.3 ·Zbl 0958.68078号 [124] Drewes，Frank，基于树的图片生成，Theoret。计算。科学，246，1-51（2000），6.3·Zbl 0949.68148号 [125] Drewes，Frank，自顶向下和自下而上树传感器指数输出大小问题的复杂性，Inform。和Compute（2001），即将出版。2.6 ·Zbl 1007.68098号 [126] Drewes，Frank，基于树的分形语言生成，Theoret。计算。科学，262377-414（2001），6.3·Zbl 0983.68100号 [127] 恩格斯，G。；Ehrig，H。；赫克尔，R。；Taentzer，G.，《基于参考模型和视图的系统规范方法》，《国际软件工程与知识工程杂志》，7，4，457-477（1997），3.1 [128] H.Ehrig、G.Engels、R.Heckel和G.Taentzer。图转换系统模块化概念的分类和比较。在Ehrig等人[EEKR99]中，第17章。8; H.Ehrig、G.Engels、R.Heckel和G.Taentzer。图转换系统模块化概念的分类和比较。在Ehrig等人[EEKR99]中，第17章。8 [129] （Ehrig，H.；Engels，G.；Kreowski，H.-J.；Rozenberg，G.，《图形语法和图形转换计算手册》，第2卷：应用、语言和工具（1999），《世界科学》，第8页）·兹比尔0998.68001 [130] 编辑H.Ehrig、G.Engels、H.-J.Kreowski和G.Rozenberg。图变换理论与应用研讨会论文集（TAGT'98），德国帕德博恩，1998年11月LNCS公司; 编辑H.Ehrig、G.Engels、H.-J.Kreowski和G.Rozenberg。图变换理论与应用研讨会论文集（TAGT'98），德国帕德博恩，1998年11月LNCS公司·Zbl 0933.00049号 [131] H.Ehrig、M.Gajewsky和F.Parisi Presicce。应用于代数规范和Petri网的高级替换系统。Ehrig等人[EKMR99]，第6章，第341-399页。2.4, 8; H.Ehrig、M.Gajewsky和F.Parisi Presicce。应用于代数规范和Petri网的高层替换系统。Ehrig等人[EKMR99]，第6章，第341-399页。2.4, 8 [132] Engelfriet，J。；Hoogeboom，H.J.，《树行卵石自动机》（Tree-walking pebble automata），（Karhumäki，J.；Maurer，H.；Paun，G.；Rozenberg，G，《珠宝是永恒的》，为纪念Arto Salomaa（1999），Springer，对理论计算机科学的贡献，72-83，3.3·Zbl 0944.68108号 [133] A.Ehrenfeucht、J.Hage、T.Harju和G.Rozenberg。图类转换中的复杂性问题。在Ehrig等人[EEKR00]中，第59-70页。2.7; A.Ehrenfeucht、J.Hage、T.Harju和G.Rozenberg。图类转换中的复杂性问题。在Ehrig等人[EEKR00]中，第59-70页。2.7 ·Zbl 0958.68133号 [134] 埃伦菲赫特，A。；哈格，J。；Harju，T。；Rozenberg，G.，《交换类中的泛周期性》，《信息处理快报》，73，5-6，153-156（2000），2.7·Zbl 1338.68101号 [135] H.Ehrig、R.Heckel、M.Korff、M.Löwe、L.Ribeiro、A.Wagner和A.Corradini。图变换的代数方法II：单推出方法以及与双推出方法的比较。罗森伯格[Roz97]，第4章。2.1, 8; H.Ehrig、R.Heckel、M.Korff、M.Löwe、L.Ribeiro、A.Wagner和A.Corradini。图变换的代数方法II：单推出方法及与双推出方法的比较。罗森伯格[Roz97]，第4章。2.1, 8 [136] H.Ehrig、R.Heckel、M.Llabres、F.Orejas、J.Padberg和G.Rozenberg。双回拉图转换：一个不完全信息的基于规则的框架。在Ehrig等人[EEKR00]中，第85-102页。3.1; H.Ehrig、R.Heckel、M.Llabres、F.Orejas、J.Padberg和G.Rozenberg。双回拉图转换：一个不完全信息的基于规则的框架。在Ehrig等人[EEKR00]中，第85-102页。3.1 ·Zbl 0958.68123号 [137] 埃伦菲赫特，A。；哈朱，T。；皮特，I。；普雷斯科特，D.M。；Rozenberg，G.，纤毛虫基因组装的形式系统，Theoret。计算。《科学》（2001），即将出版。6.2 [138] H.Ehrig、A.Habel和F.Parisi Presicce。两类高级替换系统的基本结果。鲍德龙和科拉迪尼【BC02】。本卷。2.4; H.Ehrig、A.Habel和F.Parisi Presicce。两类高级替换系统的基本结果。鲍德龙和科拉迪尼【BC02】。本卷。2.4 ·Zbl 1263.68073号 [139] A.Ehrenfeucht、T.Harju和G.Rozenberg。二结构理论：图的分解和转换框架。罗森伯格[Roz97]，第6章。2.7, 8; A.Ehrenfeucht、T.Harju和G.Rozenberg。二结构理论：图的分解和转换框架。罗森伯格[Roz97]，第6章。2.7, 8 ·Zbl 0981.05002号 [140] 埃伦费奇特，A。；Harju，T。；Rozenberg，G.，通过循环图分解进行基因组装，Theoret。计算。《科学》（2001），即将出版。6.2 ·Zbl 1024.68039号 [141] G.Engels、R.Heckel、G.Taentzer和H.Ehrig。使用图形变换进行系统建模的一种面向视图的方法。在程序。在ESEC/FSE'97中，苏黎世LNCS公司; G.Engels、R.Heckel、G.Taentzer和H.Ehrig。使用图形变换进行系统建模的一种面向视图的方法。在程序。苏黎世ESEC/FSE’97LNCS公司 [142] Engelfriet，J。；Hoogeboom，H.J。；van Best，J.-P.，《树上旅行》，《控制学报》，51-64（1999），3.3·兹伯利0926.68078 [143] J.Eschenbächer和P.Knirsch。利用变更管理对供应链网络进行再造。在新千年全球物流——程序。第五届国际米兰。物流研讨会（ISL 2000），日本岩手; J.Eschenbächer和P.Knirsch。利用变更管理对供应链网络进行再造。在新千年全球物流——程序。第五届国际米兰。物流研讨会（ISL 2000），日本岩手 [144] （Ehrig，H.；Kreowski，H.-J.；Montanari，U.；Rozenberg，G.，《图形语法和图形变换计算手册》，第3卷：并发、并行和分布（1999），《世界科学》，第8页·Zbl 0951.68049号 [145] J.Eschenbächer、P.Knirsch和I.J.Timm。使用代理技术优化需求链。在IFIP工作组5.7：集成生产管理：物流和生产管理中的信息和通信技术国际会议，挪威特罗姆瑟; J.Eschenbächer、P.Knirsch和I.J.Timm。使用代理技术优化需求链。在IFIP工作组5.7：集成生产管理：物流和生产管理中的信息和通信技术国际会议，挪威特罗姆瑟 [146] Engelfriet，J。；Maneth，S.，《宏树变换器、属性语法和MSO可定义树翻译》，Inform。和计算，154，34-91（1999），2.6·Zbl 1045.68585号 [147] J.Engelfriet和S.Maneth。描述和确定宏树转导的MSO可定义性。在H.Reichel和S.Tison编辑中，2000年STACS会议记录LNCS公司; J.Engelfriet和S.Maneth。描述和确定宏树转导的MSO可定义性。在H.Reichel和S.Tison编辑中，2000年STACS会议记录LNCS公司·兹比尔0962.68092 [148] J.Engelfriet和S.Maneth。由无上下文图文法生成的树语言。在Ehrig等人[EEKR00]中。2.6; J.Engelfriet和S.Maneth。由无上下文图文法生成的树语言。在Ehrig等人[EEKR00]中。2.6 ·Zbl 0956.68074号 [149] J.Engelfriet和S.Maneth。线性大小增加的宏树转换是MSO可定义的。技术报告01-08，LIACS，莱顿大学，2001年。2.6; J.Engelfriet和S.Maneth。线性大小增加的宏树转换是MSO可定义的。技术报告01-08，LIACS，莱顿大学，2001年。2.6 ·Zbl 1029.68090号 [150] Engelfriet，J.，《无上下文图文法》，（Rozenberg，G.；Salomaa，A.，《形式语言手册》，第3卷：超越文字（1997），Springer），8·Zbl 0756.68070号 [151] Ehrig，H。；Orejas，F.，《数据类型和过程规范技术的集成范式》（Paun，G.；Rozenberg，G；Salomaa，A.，《理论计算机科学的当前趋势：进入21世纪》（2001），《世界科学：世界科学新加坡》），192-201，3.5·Zbl 1049.68088号 [152] Ehrig，H。；Padberg，J。；Orejas，F.，《从基本观点和方面到规范形式化的整合》，（Paun，G.；Rozenberg，G；Salomaa，A.，《理论计算机科学的当前趋势：进入21世纪》（2001），《世界科学：世界科学新加坡》，202-214，3.5·Zbl 1049.68089号 [153] 埃伦菲赫特，A。；皮特，I。；普雷斯科特，D.M。；Rozenberg，G.，《纤毛虫基因组装的通用和简单操作》（Mitrana，V.；Martin-Vide，C.，《单词、序列、语言：计算机科学、生物学和语言学的交叉点》（2000）），发表。6.2 ·兹比尔1007.68067 [154] A.Ehrenfeucht、I.Petre、D.M.Prescott和G.Rozenberg。纤毛虫基因组装的循环性和其他不变量。提交出版，2001年。6.2; A.Ehrenfeucht、I.Petre、D.M.Prescott和G.Rozenberg。纤毛虫基因组装的循环性和其他不变量。提交出版，2001年。6.2 ·Zbl 1007.68067号 [155] 埃伦费奇特，A。；皮特，I。；普雷斯科特，D.M。；Rozenberg，G.，纤毛虫基因组装的字符串和图形简化系统，数学。结构。计算中。《科学》（2001），即将出版。6.2 [156] 埃伦菲赫特，A。；普雷斯科特，医学博士。；Rozenberg，G.，纤毛虫中基因（un）混乱的计算方面，（Landweber，L.；Winfree，E.，Evolution as Computation（2001），Springer），45-86，6.2 [157] J.Engelfriet和G Rozenberg.节点替换图语法。罗森伯格[Roz97]，第1章。8; J.Engelfriet和G Rozenberg.节点替换图语法。罗森伯格[Roz97]，第1章。8 ·Zbl 0765.68091号 [158] G.Engels和G.Rozenberg，编辑。初步程序。第六届图形变换理论与应用国际研讨会（TAGT'98; G.Engels和G.Rozenberg，编辑。初步程序。第六届图形变换理论与应用国际研讨会（TAGT'98 [159] H.Ehrig、G.Rozenberg和J.Padberg。不完全信息的图形转换和其他基于规则的形式。恩格斯和罗森伯格[ER98]，第268-278页。3.1; H.Ehrig、G.Rozenberg和J.Padberg。不完全信息的图形转换和其他基于规则的形式。恩格斯和罗森伯格[ER98]，第268-278页。3.1 [160] H.Ehrig和G.Taentzer，编辑。图形变换联合APPLIGRAPH/GETGRATS研讨会论文集（GRATRA 2000）; H.Ehrig和G.Taentzer，编辑。图形变换联合APPLIGRAPH/GETGRATS研讨会论文集（GRATRA 2000） [161] 恩格尔弗里特，J。；Vogler，H.，《自下而上和自上而下树到图传感器的等效性》，《计算杂志》。系统科学，56，332-356（1998），2.6·Zbl 1034.68526号 [162] I.Fischer、M.Koch和G.Taentzer。分布式系统及其通信的本地视图。在Ehrig等人[EEKR00]中，第164-178页。4.1; I.Fischer、M.Koch和G.Taentzer。分布式系统及其通信的本地视图。在Ehrig等人[EEKR00]中，第164-178页。4.1 ·Zbl 0958.68015号 [163] I.Fischer、M.Koch、G.Taentzer和V.Volle。分布式图形转换及其在分布式系统可视化设计中的应用。在Ehrig等人[EKMR99]第5章中。4.1, 8; I.Fischer、M.Koch、G.Taentzer和V.Volle。分布式图形转换及其在分布式系统可视化设计中的应用。在Ehrig等人[EKMR99]中，第5章。4.1, 8 [164] G.Ferrari、U.Montanari和E.Tuosto。通过具有移动性的图形同步实现环境的ALTS语义。在2001年ICTCS诉讼LNCS公司; G.Ferrari、U.Montanari和E.Tuosto。通过具有移动性的图形同步实现环境的ALTS语义。在2001年ICTCS诉讼LNCS公司·Zbl 1042.68615号 [165] M.Goedicke、B.Endres、T.Meyer和G.Taentzer。面向视点的软件开发工具支持：通过分布式图形转换实现多视角的集成。在Nagl等人[NSM00]中，第369-378页。4.1; M.Goedicke、B.Endres、T.Meyer和G.Taentzer。面向视点的软件开发工具支持：通过分布式图形转换实现多视角的集成。在Nagl等人[NSM00]中，第369-378页。4.1 [166] M.Goedicke、B.Endres、T.Meyer和G.Taentzer。面向视角的软件开发：通过分布式图形转换集成多个视角的工具支持。在系统构建和分析工具和算法第六届国际会议论文集; M.Goedicke、B.Endres、T.Meyer和G.Taentzer。面向视角的软件开发：通过分布式图形转换集成多个视角的工具支持。在系统构建和分析工具和算法第六届国际会议论文集·Zbl 0971.68649号 [167] F.Gadducci和R.Heckel。图变换的归纳视图。编辑F.Parisi Presicce，代数发展技术的最新趋势LNCS公司; F.Gadducci和R.Heckel。图变换的归纳视图。编辑F.Parisi Presicce，代数发展技术的最新趋势LNCS公司·Zbl 0901.18003号 [168] F.Gadducci、R.Heckel和M.Koch。图形解释时序逻辑的完全抽象模型。在Ehrig等人[EEKR00]中。3.4; F.Gadducci、R.Heckel和M.Koch。图形解释时序逻辑的完全抽象模型。在Ehrig等人[EEKR00]中。3.4 ·Zbl 0948.03025号 [169] F.Gadducci、R.Heckel和L.Llabrés。并发图重写的双范畴公理化。编辑M.Hofmann、D.PavlovićA和P.Rosolini，程序。第八届类别理论与计算机科学会议（CTCS’99），英国爱丁堡TCS中的电子注释; F.Gadducci、R.Heckel和L.Llabrés。并发图重写的双范畴公理化。编辑M.Hofmann、D.PavlovićA和P.Rosolini，程序。第八届类别理论与计算机科学会议（CTCS’99），英国爱丁堡TCS中的电子注释·Zbl 0967.68089号 [170] F.Gadducci和U.Montanari。瓷砖模型。编辑G.Plotkin、C.Stirling和M.Tofte，证明、语言和互动：纪念罗宾·米尔纳的论文; F.Gadducci和U.Montanari。瓷砖模型。编辑G.Plotkin、C.Stirling和M.Tofte，证明、语言和互动：罗宾·米尔纳的致敬散文 [171] F.Gadducci和U.Montanari。移动环境的并发图形语义。编辑S.Brookes和M.Mislove，编程语义的数学基础TCS中的电子注释http://www.elsevier.nl/locate/entcs/volume45.html/; F.Gadducci和U.Montanari。移动环境的并发图形语义。编辑S.Brookes和M.Mislove，程序设计语义学的数学基础TCS中的电子注释http://www.elsevier.nl/locate/entcs/volume45.html/ ·Zbl 1260.68094号 [172] E.Godard和Y.Métiver。通过具有初始知识的局部计算可识别的图类的特征。在程序。第八届结构信息与通信复杂性国际学术讨论会; E.Godard和Y.Métivier。通过具有初始知识的局部计算可识别的图类的特征。在程序。第八届结构信息与通信复杂性国际学术讨论会 [173] E.Godard、Y.Métiver和A.Muscholl。具有初始知识的图的局部计算能力。在Ehrig等人[EEKR00]中，第71-84页。7; E.Godard、Y.Métiver和A.Muscholl。具有初始知识的图的局部计算能力。在Ehrig等人[EEKR00]中，第71-84页。7 ·Zbl 0958.68064号 [174] M.Goedicke、T.Meyer和G.Taentzer。通过分布式图形转换进行面向视点的软件开发：面向生活在不一致中的基础。在第四届IEEE需求工程国际研讨会论文集（RE’99）; M.Goedicke、T.Meyer和G.Taentzer。通过分布式图形转换进行面向视点的软件开发：面向生活在不一致中的基础。在第四届IEEE需求工程国际研讨会论文集（RE’99）·Zbl 0971.68649号 [175] M.Große-Rhode、F.Parisi Presicce和M.Simeoni。图变换系统中精化的一个简单概念。第10/97号报告，罗马大学“La Sapienza”，1997年。4.5; M.Große-Rhode、F.Parisi Presicce和M.Simeoni。图变换系统中一个简单的精化概念。第10/97号报告，罗马大学“La Sapienza”，1997年。4.5 ·Zbl 0910.18001号 [176] M.Große-Rhode、F.Parisi Presicce和M.Simeoni。类型化图转换系统的空间和时间细化。L.Brim、J.Gruska、J.Zlatuška编辑，程序。1998年计算机科学数学基础LNCS公司; M.Große-Rhode、F.Parisi Presicce和M.Simeoni。类型化图转换系统的空间和时间细化。L.Brim、J.Gruska、J.Zlatuška编辑，程序。1998年计算机科学数学基础LNCS公司·Zbl 0910.18001号 [177] M.Große-Rhode、F.Parisi Presicce和M.Simeoni。通过规则表达式改进图形转换系统。在Ehrig等人[EEKR00]中，第368-382页。4.5; M.Große-Rhode、F.Parisi Presicce和M.Simeoni。通过规则表达式改进图形转换系统。在Ehrig等人[EEKR00]中，第368-382页。4.5 ·Zbl 0956.68075号 [178] 格罗·罗德，M。；Parisi Presicce，F。；Simeoni，M.，《类型化图形转换系统的细化和模块形式化软件规范》，《计算机与系统科学杂志》（2001年），即将出版。4.5 [179] M.Große-Rhode、F.Parisi Presicce、M.Simeoni和G.Taentzer。通过基于规则表达式求精的模块化图转换对分布式系统进行建模。在Nagl等人[NSM00]中，第31-45页。4.5; M.Große-Rhode、F.Parisi Presicce、M.Simeoni和G.Taentzer。通过基于规则表达式求精的模块化图转换对分布式系统进行建模。在Nagl等人[NSM00]中，第31-45页。4.5 [180] 马丁·格罗·罗德。代数变换系统及其构成。编辑E.Astesiano，软件工程基本方法（FASE’98）LNCS公司; 马丁·格罗斯-罗德。代数变换系统及其构成。编辑E.Astesiano，软件工程基本方法（FASE’98）LNCS公司 [181] 马丁·格罗·罗德。作为统一框架的代数变换系统。收录于Bauderon和Corradini[BC02]。本卷。2.5; 马丁·格罗斯-罗德。作为统一框架的代数变换系统。收录于Bauderon和Corradini[BC02]。本卷。2.5 ·Zbl 1263.68076号 [182] 斯特凡·格鲁纳。分布式数据建模中一致性的组合图模式和图语法方法。在Nagl等人[NSM00]中。3.6; 斯特凡·格鲁纳。分布式数据建模中一致性的组合图模式和图语法方法。在Nagl等人[NSM00]中。3.6 [183] 斯特凡·格鲁纳。元类型与类型化SPO方法兼容。在Ehrig和Taentzer[ET00]中，第50-58页。2.1; 斯特凡·格鲁纳。元类型与类型化SPO方法兼容。在Ehrig和Taentzer[ET00]中，第50-58页。2.1 [184] M.Große-Rhode、M.Simeoni和F.Parisi Presicce。类型化图形转换系统的精化和模块。编辑J.L.Fiadeiro，WADT'98第13届代数发展技术最新趋势研讨会论文集LNCS公司; M.Große-Rhode、M.Simeoni和F.Parisi Presicce。类型化图形转换系统的精化和模块。编辑J.L.Fiadeiro，WADT'98第13届代数发展技术最新趋势研讨会论文集LNCS公司·Zbl 0961.68034号 [185] Hage，J.，《具有倾斜增益的交换类的成员问题》，《信息学基础》，39，4，375-387（1999），2.7·Zbl 0944.68144号 [186] J.哈格。交换类的结构方面; J.黑格。交换类的结构方面 [187] 雷科·赫克尔（Reiko Heckel）。通过图变换指定的反应系统的组成验证。在程序。软件工程的基本方法LNCS公司; 雷科·赫克尔（Reiko Heckel）。通过图变换指定的无功系统的组成验证。在程序。软件工程的基本方法LNCS公司 [188] 雷科·赫克尔（Reiko Heckel）。开放图转换系统：并发和反应系统组合建模的新方法; 雷科·赫克尔（Reiko Heckel）。开放图转换系统：并发和反应系统组合建模的新方法 [189] R.Heckel、H.Ehrig、G.Engels和G.Taentzer。一种基于开放图转换系统的基于视图的系统建模方法。在Ehrig等人[EEKR99]中，第16章，第639-668页。3.1, 8; R.Heckel、H.Ehrig、G.Engels和G.Taentzer。基于开放图转换系统的基于视图的系统建模方法。在Ehrig等人[EEKR99]中，第16章，第639-668页。3.1, 8 [190] R.Heckel、H.Ehrig、U.Wolter和A.Corradini。集成了图形转换和时序逻辑的规范化技术。在程序。布拉迪斯拉发MFCS’97LNCS公司; R.Heckel、H.Ehrig、U.Wolter和A.Corradini。集成了图形转换和时序逻辑的规范化技术。在程序。布拉迪斯拉发MFCS’97LNCS公司·Zbl 0951.68055号 [191] 赫克尔，R。；Ehrig，H。；美国沃尔特。；Corradini，A.，《图变换系统的双回拉转换和并集松散语义》，应用范畴结构，9，1（2001），另见TR 97-07http://www.cs.tu-berlin.de/cs/ifb/TechnBerichteListe.html。 3.1 ·Zbl 0970.68116号 [192] 哈格，J。；Harju，T.，交换类的非周期性，欧罗班J.Combin，19，321-327（1998），2.7·Zbl 0905.05057号 [193] 哈格，J。；Harju，T.，具有偏斜增益的切换类的大小，离散数学，215，81-92（2000），2.7·Zbl 0949.05039号 [194] J.Hage和T.Harju。使用禁止子图刻画非循环切换类。技术报告5，莱顿大学计算机科学系，2001年。提交给欧洲J.Combin.2.7；J.Hage和T.Harju。使用禁止子图刻画非循环切换类。《技术报告5》，莱顿大学计算机科学系，2001年。提交给欧洲J.Combin.2.7·Zbl 1071.05063号 [195] R.Heckel、B.Hoffmann、P.Knirsch和S.Kuske。优雅的简单模块。在Ehrig等人[EEKR00]中，第383-395页。4.4; R.Heckel、B.Hoffmann、P.Knirsch和S.Kuske。优雅的简单模块。在Ehrig等人[EEKR00]中，第383-395页。4.4 ·Zbl 0971.68631号 [196] D.Hirsch、P.Inveradi和U.Montanari。软件架构风格的图形语法和约束求解。在1998年ISAW诉讼; D.Hirsch、P.Inveradi和U.Montanari。软件架构风格的图形语法和约束求解。在1998年ISAW诉讼 [197] D.Hirsch、P.Inveradi和U.Montanari。用图形语法和约束求解建模软件架构和风格。在程序。软件架构工作IFIP会议; D.Hirsch、P.Inveradi和U.Montanari。用图形语法和约束求解建模软件架构和风格。在程序。软件架构工作IFIP会议 [198] D.Hirsch、P.Inveradi和U.Montanari。用名称移动性重新配置软件架构风格。在A.Porto和G.-C.Roman的编辑中，协调2000LNCS公司; D.Hirsch、P.Inveradi和U.Montanari。用名称移动性重新配置软件架构风格。在A.Porto和G.-C.Roman的编辑中，协调2000LNCS公司 [199] A.Habel和R.Klempien-Hirichs。超图中的原子替换。恩格斯和罗森伯格[ER98]，第182-189页。2.3; A.Habel和R.Klempien Hinrichs。超图中的原子替换。恩格斯和罗森伯格[ER98]，第182-189页。2.3 [200] D.Hirsch和U.Montanari。分布式系统软件架构风格的一致转换。在程序。分布式系统研讨会TCS中的电子注释; D.Hirsch和U.Montanari。分布式系统软件架构风格的一致转换。在程序。分布式系统研讨会TCS中的电子票据·Zbl 0966.68015号 [201] D.Hirsch和U.Montanari。高阶超边替换系统及其转换。在Ehrig和Taentzer[ET00]中，第215-223页。4.2; D.Hirsch和U.Montanari。高阶超边替换系统及其转换。在Ehrig和Taentzer[ET00]中，第215-223页。4.2 [202] D.Hirsch和U.Montanari，《姓名迁移的图解微积分》。在软件工程和移动性研讨会论文集，与ICSE 2001合办; D.Hirsch和U.Montanari，《名字流动的图形演算》。在软件工程和移动性研讨会论文集，与ICSE 2001合办·Zbl 1006.68538号 [203] D.Hirsch和U.Montanari。与名字流动性同步的超边缘替换。编辑K.G.Larsen和M.Nielsen，CONCUR 2001会议记录LNCS公司; D.Hirsch和U.Montanari。与名字流动性同步的超边缘替换。编辑K.G.Larsen和M.Nielsen，CONCUR 2001会议记录LNCS公司·Zbl 1006.68538号 [204] A.Habel、J.Muller和D.Plump。带有内射匹配的双推方法。在Ehrig等人[EEKR00]中，第103-116页。2.1; A.Habel、J.Muller和D.Plump。带有内射匹配的双推方法。在Ehrig等人[EEKR00]中，第103-116页。2.1 ·Zbl 0958.68080号 [205] 哈贝尔，A。；穆勒，J。；Plump，D.，《重温双推图形变换》，《数学》。结构。计算中。《科学》，11，5，637-688（2001），2.1·Zbl 0987.18005号 [206] 哈贝尔，A。；Plump，D.，术语图缩小，数学。结构。计算中。科学，6649-676（1996），6.1·Zbl 0864.68073号 [207] A.Habel和D.Plump。完成术语图缩小策略。在代数开发技术的最新进展，论文集LNCS公司; A.Habel和D.Plump。术语图缩小的完整策略。在代数开发技术的最新发展，论文集LNCS公司·Zbl 0956.68073号 [208] A.Habel和D.Plump。基于图变换的编程语言的计算完备性。在程序。软件科学和计算结构基础（FoSSaCS 2001）LNCS公司; A.Habel和D.Plump。基于图变换的编程语言的计算完备性。在程序。软件科学和计算结构基础（FoSSaCS 2001）LNCS公司·兹比尔0978.68028 [209] A.Habel和D.Plump。通过图形变换求解方程。鲍德龙和科拉迪尼【BC02】。本卷。6.1; A.Habel和D.Plump。通过图形变换求解方程。鲍德龙和科拉迪尼【BC02】。本卷。6.1 ·Zbl 1263.68077号 [210] Janin，D.，《自动机表和任意完备格中不动点计算的约简定理》（IEEE计算机科学逻辑交响曲（1997）），7 [211] D.贾宁。当不动点表达式在完备序集中的可满足性问题很简单时。在97年CSL; D.贾宁。当不动点表达式在完备序集中的可满足性问题很简单时。在97年CSL [212] 德克·杨森。演员语法和局部动作。在Ehrig等人[EKMR99]中，第2章。5.2, 8; 德克·詹森。演员语法和局部动作。在Ehrig等人[EKMR99]中，第2章。5.2, 8 ·兹比尔1263.68080 [213] 德克·詹森。流程和本地行动。鲍德龙和科拉迪尼【BC02】。本卷。5.2; 德克·詹森。流程和本地操作。鲍德龙和科拉迪尼【BC02】。本卷。5.2 ·Zbl 1263.68080号 [214] H.Jacquet和R.Klempien-Hirichs。超图中的节点替换：将NCE重写转换为回调方法。在Ehrig等人[EEKR00]中，第117-130页。2.2; H.Jacquet和R.Klempien-Hirichs。超图中的节点替换：将NCE重写转换为回调方法。在Ehrig等人[EEKR00]中，第117-130页。2.2 ·Zbl 0958.68134号 [215] D.Janin和G.Lenzi。二叉树的一元逻辑结构。在程序。第24国际交响乐团。论计算机科学的数学基础LNCS公司; D.Janin和G.Lenzi。二叉树的一元逻辑结构。在程序。第24国际交响乐团。论计算机科学的数学基础LNCS公司·Zbl 0943.03033号 [216] 杨森博士。；Mens，T.，《ESM系统的抽象语义》，《信息学基础》，26，315-339（1996），5.2·Zbl 0854.68060号 [217] D.Janssens和N.Verlinden。LAS过程的代数性质。技术报告，安特卫普大学，UIA，1999年。5.2; D.Janssens和N.Verlinden。LAS过程的代数性质。技术报告，安特卫普大学，UIA，1999年。5.2 ·Zbl 1009.68066号 [218] D.Janssens和N.Verlinden。NLC和ESM框架：本地行动系统。在Ehrig等人[EEKR00]中，第194-214页。5.2; D.Janssens和N.Verlinden。NLC和ESM框架：本地行动系统。在Ehrig等人[EEKR00]中，第194-214页。5.2 ·兹比尔0958.68076 [219] D.Janssens和N.Verlinden。用局部动作系统建模petri网。在GT-VMT 2001程序TCS中的电子注释; D.Janssens和N.Verlinden。用局部动作系统建模petri网。在GT-VMT 2001程序TCS中的电子注释·Zbl 1262.68140号 [220] D.Janin和I.Walukiewicz。关于模态多演算w.r.t.一元二阶逻辑的表达完备性。在程序。CONCUR’96年LNCS公司; D.Janin和I.Walukiewicz。关于模态多演算w.r.t.一元二阶逻辑的表达完备性。在程序。CONCUR’96年LNCS公司 [221] H.-J.Kreowski和S.Kuske。图形转换单元和模块。在Ehrig等人[EEKR99]，第15章，第607-638页。8; H.-J.Kreowski和S.Kuske。图形转换单元和模块。在Ehrig等人[EEKR99]中，第15章，第607-638页。8 [222] Kreowski，H.-J。；Kuske，S.，《交错语义的图形变换单元》，《计算的形式方面》，11，6，690-723（1999），4.4，6.5·Zbl 0966.68114号 [223] P.Knirsch和H.-J.Krowski。关于通过图变换建模代理系统的说明。在Nagl等人[NSM00]中，第411-417页。6.5; P.Knirsch和H.-J.Krowski。关于通过图变换建模代理系统的说明。在Nagl等人[NSM00]中，第411-417页。6.5 [224] H.Kreowski和S.Kuske。基于规则的系统模块化建议。Martin Wirsing、Martin Gogolla、Hans-Jörg Kreowski、Tobias Nipkow和Wolfgang Reif编辑，程序。Rigorose Entwicklung软件密集型系统; H.Kreowski和S.Kuske。基于规则的系统模块化建议。在马丁·威辛、马丁·戈戈拉、汉斯·约格·克鲁斯基、托比亚斯·尼普科和沃尔夫冈·雷夫的编辑中，程序。Rigorose Entwicklung软件密集型系统 [225] H.-J.Kreowski和S.Kuske。关于基于规则的系统的方法相关结构概念的注释。在Ehrig和Taentzer[ET00]中，第41-49页。4.4; H.-J.Kreowski和S.Kuske。关于基于规则的系统的方法相关结构概念的注释。在Ehrig和Taentzer[ET00]中，第41-49页。4.4 [226] Kreowski，H.-J。；库斯克，S。；Schürr，A.，嵌套图转换单元，国际软件工程与知识工程杂志，7，4，479-502（1997），4.4 [227] R.Klempien-Henichs、H.-J.Kreowski和S.Taubenberger。将相互递归函数系统正确翻译为TOL拼贴语法。在G.Ciobanu和Gh.Péun的编辑中，程序。第12届国际计算理论基础研讨会（FCT’99）LNCS公司; R.Klempien-Henichs、H.-J.Kreowski和S.Taubenberger。将相互递归函数系统正确翻译为TOL拼贴语法。在G.Ciobanu和Gh.Péun的编辑中，程序。第12届国际计算理论基础研讨会（FCT’99）LNCS公司·兹比尔0948.68107 [228] Renate Klempien-Herinichs（雷娜特·克伦宾-亨里希）。通过回调重写进行网络优化。编辑M.Nivat，程序。软件科学和计算结构基础LNCS公司; Renate Klempien-Herinichs（雷娜特·克伦宾-亨里希）。通过回调重写进行网络优化。编辑M.Nivat，程序。软件科学和计算结构基础LNCS公司·Zbl 0901.68142号 [229] Klempien-Herinichs，Renate，超图中无上下文节点重写的生成能力，《语法》，2211-221（1999），2.3·Zbl 0967.68091号 [230] Renate Klempien-Herinichs（雷娜特·克伦宾-亨里希）。无上下文超图语法。节点和超边重写及其在Petri网中的应用; Renate Klempien Hinrichs。无上下文超图语法。节点和超边重写及其在Petri网中的应用·Zbl 0994.68075号 [231] Klempien-Henichs，Renate，无上下文节点编写超图文法的范式，数学。结构。计算中。《科学》（2001），即将出版。2.3 ·Zbl 1007.68094号 [232] Renate Klempien-Herinichs（雷娜特·克伦宾-亨里希）。具有节点重写的无上下文超图文法。鲍德龙和科拉迪尼【BC02】。本卷。2.3; Renate Klempien-Herinichs（雷娜特·克伦宾-亨里希）。具有节点重写的无上下文超图文法。鲍德龙和科拉迪尼【BC02】。本卷。2.3 ·Zbl 1263.68081号 [233] B.König和U.Montanari。同步图改写的观测等效性。在TACS’01会议记录; B.König和U.Montanari。同步图改写的观测等效性。在TACS'01会议记录 [234] M.Koch、L.V.Mancini和F.Parisi Presicce。使用图转换的基于角色的访问控制的形式化模型。编辑F.Cuppens、Y.Deswarte、D.Gollmann和M.Waidner，程序。第六届欧洲计算机安全研究研讨会（ESORICS 2000）; M.Koch、L.V.Mancini和F.Parisi Presicce。使用图转换的基于角色的访问控制的形式化模型。编辑F.Cuppens、Y.Deswarte、D.Gollmann和M.Waidner，程序。第六届欧洲计算机安全研究研讨会（ESORICS 2000）·Zbl 1487.68067号 [235] M.Koch、L.V.Mancini和F.Parisi Presicce。基于图形的访问控制策略规范方法的基础。编辑F.Honsell和M.Miculan，程序。软件科学和计算结构基础（FoSSaCS 2001）; M.Koch、L.V.Mancini和F.Parisi Presicce。访问控制策略规范的基于图形的方法的基础。编辑F.Honsell和M.Miculan，程序。软件科学和计算结构基础（FoSSaCS 2001）·Zbl 0978.68060号 [236] M.Koch、L.V.Mancini和F.Parisi Presicce。关于访问控制策略的规范和演变。编辑S.Osborne，程序。第六交响乐团。访问控制模型和技术; M.Koch、L.V.Mancini和F.Parisi Presicce。关于访问控制策略的规范和演变。编辑S.Osborne，程序。第六交响乐团。访问控制模型和技术·Zbl 0978.68060号 [237] 曼努埃尔·科赫。Bedingte vertilte图形转换和Anwendung auf vertilite Transaktionen。《技术报告97-11》，柏林技术大学，1997年。4.1; 曼努埃尔·科赫。Bedingte vertilte图形转换和Anwendung auf vertilite Transaktionen。《技术报告97-11》，柏林技术大学，1997年。4.1 [238] 曼努埃尔·科赫。图变换与时态逻辑在分布式系统规范中的集成; 曼努埃尔·科赫。分布式系统规范中图形变换和时序逻辑的集成 [239] 萨宾·库斯克。变换单元——图形变换系统的一种结构原理; 萨宾·库斯克。变换单元——图形变换系统的一种结构原理·Zbl 0971.68618号 [240] 萨宾·库斯克。基于结构化图转换的UML状态机的形式语义。在程序。第四届统一建模语言国际会议; 萨宾·库斯克。基于结构化图转换的UML状态机的形式语义。在程序。第四届统一建模语言国际会议·Zbl 1024.68771号 [241] 萨宾·库斯克。参数化转换单元。鲍德龙和科拉迪尼【BC02】。本卷。4.4; 萨宾·库斯克。参数化转换单元。鲍德龙和科拉迪尼【BC02】。本卷。4.4 ·Zbl 1263.68086号 [242] H.-J.Kreowski和G.Valiente。高级替换系统中的冗余和吸收。在Ehrig等人[EEKR00]中，第215-227页。2.4; H.-J.Kreowski和G.Valiente。高级替换系统中的冗余和吸收。在Ehrig等人[EEKR00]中，第215-227页。2.4 ·Zbl 0958.68077号 [243] 丹尼斯·拉波尔（Denis Lapoire）。对于树宽有界的图集，可识别性等于一元二阶可定义性。在程序。98年STACSLNCS公司; 丹尼斯·拉波伊尔。对于有界树宽的图集，可识别性等于一元二阶可定义性。在程序。98年STACSLNCS公司·Zbl 0936.03036号 [244] I.Litovsky、Y.Métiver和E.Sopena。图形重新标记系统和分布式算法。在Ehrig等人[EKMR99]中，第1章。7, 8; I.Litovsky、Y.Métivier和E.Sopena。图形重新标记系统和分布式算法。在Ehrig等人[EKMR99]中，第1章。7, 8 [245] M.Llabres和F.Rossell。任意部分代数的推出补。在Ehrig等人[EEKR00]中，第131-144页。2.5; M.Llabres和F.Rossellå。任意部分代数的推出补。在Ehrig等人[EEKR00]中，第131-144页。2.5 ·Zbl 0957.08004号 [246] J.Larrosa和G.Valiente。使用约束满足进行图形模式匹配。在程序。图形转换系统APPLIGRAPH和GETGRATS联合研讨会; J.Larrosa和G.Valiente。使用约束满足进行图形模式匹配。在程序。图形转换系统APPLIGRAPH和GETGRATS联合研讨会·Zbl 1009.68103号 [247] 塞巴斯蒂安·马内斯。协作分布式超边缘替换文法。编辑KelemenováA，程序。MFCS’98语法系统卫星研讨会; 塞巴斯蒂安·马内斯。协作分布式超边缘替换文法。编辑KelemenováA，程序。MFCS’98语法系统卫星研讨会·Zbl 0939.68059号 [248] 塞巴斯蒂安·马内斯。由总确定性宏树变换器生成的字符串语言。在W.Thomas，编辑，软件科学和计算结构基础（FoSSaCS’99）LNCS公司; 塞巴斯蒂安·马内斯。由总确定性宏树变换器生成的字符串语言。编辑W.Thomas，软件科学和计算结构基础（FoSSaCS’99）LNCS公司·Zbl 0942.68068号 [249] Y.Métiver和A.Muscholl。关于局部计算终止的局部检测。在第四届结构信息与通信复杂性国际学术讨论会; Y.Métiver和A.Muscholl。关于局部计算终止的局部检测。在第四届结构信息与通信复杂性国际学术讨论会 [250] S.Maneth和F.Neven。递归结构化文档转换。在诉讼程序DBPL’99; S.Maneth和F.Neven。递归结构化文档转换。在99年DBPL会议记录·Zbl 1044.68584号 [251] U.Montanari、M.Pistore和F.Rossi。通过图形转换对并发、移动和协调系统进行建模。在Ehrig等人[EKMR99]中，第4章。8; U.Montanari、M.Pistore和F.Rossi。通过图形转换对并发、移动和协调系统进行建模。在Ehrig等人[EKMR99]中，第4章。8 [252] U.Montanari和F.Rossi。通过瓷砖、图形和约束对过程协调进行建模。在程序。第三届集成设计和工艺技术双年展; U.Montanari和F.Rossi。通过瓷砖、图形和约束对过程协调进行建模。在程序。第三届集成设计和工艺技术双年展 [253] 蒙塔纳里，美国。；Rossi，F.，《用于协调分布式系统的图形重写、约束求解和平铺》，数学。结构。计算中。科学，7，4，333-370（1999），4.1，5.3·Zbl 0949.68083号 [254] Métiver，Y。；Sopena，E.，《图形重新标记系统：概述》，《计算机和人工智能》，第16期，第167-185页（1997年），第7页，第8页·兹伯利0871.68143 [255] M.Mosbah和N.Saheb。循环图上的形式有理分式和随机游动。在形式幂级数与代数组合数学第九届会议论文集; M.Mosbah和N.Saheb。循环图上的形式有理分式和随机游动。在形式幂级数与代数组合数学第九届会议论文集·Zbl 0890.68096号 [256] M.Mosbah和N.Saheb。图上随机游动的语法方法。在97年工作组第23届国际研讨会; M.Mosbah和N.Saheb。图上随机游动的语法方法。在97年工作组第23届国际研讨会·Zbl 0890.68096号 [257] 莫斯巴，M。；Saheb，N.，加权图上的非一致随机生成树，Theoret。计算。科学，218（1999），7·Zbl 0916.68107号 [258] Métiver，Y。；Saheb，N。；Zemmari，A.，《随机会合》，（数学和计算机科学座谈会：算法、树、组合和概率。数学和计算机学座谈会，算法、树，组合和概率，数学趋势（2000），Birkhauser），7·Zbl 0965.68140号 [259] Y.Métiver、N.Saheb和A.Zemmari。树随机选举的死亡过程模型。在程序。GASCOM’01，Certosa di Pontignano; Y.Métiver、N.Saheb和A.Zemmari。树随机选举的死亡过程模型。在程序。GASCOM’01，Certosa di Pontignano [260] Y.Métiver、N.Saheb和A.Zemmari，《随机地方选举》。将于2001年面世。7; Y.Métiver、N.Saheb和A.Zemmari，《随机地方选举》。将于2001年面世。7 [261] Y.Métiver和G.Tel终端检测和通用图形重建。在程序。第七届结构信息与通信复杂性国际学术讨论会; Y.Métiver和G.Tel终端检测和通用图形重建。在程序。第七届结构信息与通信复杂性国际学术讨论会 [262] Y.Métiver和G.Tel终端检测和通用图形重建。在第七届结构信息与通信复杂性国际学术讨论会论文集; Y.Métiver和G.Tel终端检测和通用图形重建。在第七届结构信息与通信复杂性国际学术讨论会论文集 [263] Maneth，S。；Vogler，H.，属性无上下文超图文法，J.Autom。Lang.Comb，3，2，105-147（1998），2.3·Zbl 0916.68088号 [264] M.Nagl、A.Schürr、M.Münch，编辑。具有工业相关性的图形变换应用研讨会论文集（AGTIVE'99），荷兰科卡德，1999年9月LNCS公司; M.Nagl、A.Schürr、M.Münch，编辑。图形变换与工业相关性应用研讨会论文集（AGTIVE'99），荷兰克尔卡德，1999年9月LNCS公司 [265] Padberg，Julia，《水平结构分类法和高级替换系统的精化》，应用分类结构，7371-403（1999），2.4·Zbl 0941.18001号 [266] L.佩雷克。无上下文图的同构与自同构、方程与自动1; L.佩雷克。无上下文图的同构与自同构、方程与自动1 [267] 普雷斯科特，医学博士。；埃伦菲赫特，A。；Rozenberg，G.，《低丰度纤毛虫DNA处理的分子操作》，《欧洲寄生虫学杂志》（2001年），即将出版。6.2 [268] J.Padberg和M.Gajewsky。使用高级替换系统来维护就地/过渡网络转换的安全属性。恩格斯和罗森伯格[ER98]，第356-365页。2.4; J.Padberg和M.Gajewsky。使用高级替换系统来维护就地/过渡网络转换的安全属性。恩格斯和罗森伯格[ER98]，第356-365页。2.4 [269] J.Padberg、M.Gajewsky和C.Ermel。基于规则的高级网络精炼，保护安全属性。编辑E.Astesiano，软件工程的基本方法LNCS公司; J.Padberg、M.Gajewsky和C.Ermel。基于规则的高级网络精炼，保护安全属性。编辑E.Astesiano，软件工程的基本方法LNCS公司·Zbl 0969.68109号 [270] Detlef Plump酒店。术语图重写的简化顺序。在普里维拉。和鲁日卡普。，编辑，程序。计算机科学数学基础1997LNCS公司; Detlef Plump酒店。术语图重写的简化顺序。在普里维拉。和鲁日卡普。，编辑，程序。1997年计算机科学数学基础LNCS公司·Zbl 0941.68068号 [271] 《Plump，Detlef，终止图重写是不可判定的》，《基础信息》，33，2，201-209（1998），2.1·兹比尔0903.68108 [272] Detlef Plump酒店。通过图形重写进行计算; Detlef Plump酒店。通过图形重写进行计算·Zbl 0956.68073号 [273] Detlef Plump酒店。术语图重写。在Ehrig等人[EEKR99]中，第1章，第3-62页。6.1, 8; Detlef Plump酒店。术语图重写。在Ehrig等人[EEKR99]中，第1章，第3-62页。6.1, 8 ·Zbl 0787.68058号 [274] Detlef Plump酒店。术语图重写的要点。鲍德龙和科拉迪尼【BC02】。本卷。6.1; Detlef Plump酒店。术语图重写的要点。鲍德龙和科拉迪尼【BC02】。本卷。6.1 ·Zbl 1263.68092号 [275] （Rozenberg，Grzegorz，《图形语法和图形变换计算手册》，第1卷：基础（1997），《世界科学》），8·Zbl 0908.68095号 [276] G.塞尼泽格斯。Γ（A）Γ（B）？第1183-97号技术报告，波尔多第一大学，LaBRI，1997年。2.8; G.塞尼泽格斯。Γ（A）Γ（B）？第1183-97号技术报告，LaBRI，波尔多大学，1997年。2.8 [277] G.塞尼泽格斯。有限外度方程图互模拟等价性的判定。在1998年FOCS会议记录; G.塞尼泽格斯。有限外度方程图互模拟等价性的判定。在1998年FOCS会议记录 [278] G.塞尼泽格斯。L（A）=L（B）？技术报告，LaBRI，波尔多大学，1998年。报告1161-97的修订版和扩展版。2.8; G.塞尼泽格斯。L（A）=L（B）？技术报告，LaBRI，波尔多大学，1998年。报告1161-97的修订版和扩展版。2.8 [279] G.塞尼泽格斯。确定性下推换能器成阿贝尔群的等价问题。在会议记录MFCS’98LNCS公司; G.塞尼泽格斯。确定性下推换能器成阿贝尔群的等价问题。在98年MFCS会议记录LNCS公司·Zbl 0912.68139号 [280] G.塞尼泽格斯。T（A）=T（B）？在ICALP’99会议记录LNCS公司; G.塞尼泽格斯。T（A）=T（B）？在ICALP’99会议记录LNCS公司 [281] 玛塔·西梅尼。一种使用精化的图变换系统模块化的分类方法; 玛塔·西梅尼。一种使用精化的图变换系统模块化的分类方法 [282] 加布里埃尔·坦泽尔（Gabriele Taentzer）。并行和分布式图转换：形式化描述及其在基于通信系统中的应用; 加布里埃尔·坦泽尔（Gabriele Taentzer）。并行和分布式图转换：形式化描述及其在通信系统中的应用·Zbl 0854.68080号 [283] Gabriele Taentzer，《并行高级替换系统》，Theoret。计算。科学，186（1997年11月），2.4·Zbl 0893.68087号 [284] Taentzer，Gabriele，分布式图和图变换，（应用范畴结构，7（1999）），431-462，4.1·兹比尔0941.18002 [285] 加布里埃尔·坦泽尔（Gabriele Taentzer）。通过图变换对分布式对象系统进行可视化建模。鲍德龙和科拉迪尼【BC02】。本卷。4.1; 加布里埃尔·坦泽尔（Gabriele Taentzer）。基于图变换的分布式对象系统可视化建模。鲍德龙和科拉迪尼【BC02】。本卷。4.1 ·Zbl 1263.68095号 [286] G.Taentzer和H.Ehrig。基于图转换的分布式系统规范语义。技术报告0005，LMU慕尼黑，法国信息研究所，2000年9月。4.1; G.Taentzer和H.Ehrig。基于图转换的分布式系统规范语义。技术报告0005，LMU慕尼黑，法国信息研究所，2000年9月。4.1 [287] G.Taentzer、M.Goedicke和T.Meyer。动态适应变化：分布式系统的自动化架构配置。在99年自动化软件工程会议录; G.Taentzer、M.Goedicke和T.Meyer。动态适应变化：分布式系统的自动化架构配置。在99年自动化软件工程会议录 [288] G.Taentzer、M.Goedicke和T.Meyer。通过分布式图形转换进行动态更改管理：面向可配置的分布式系统。在Ehrig等人[EEKR00]中，第179-193页。4.1; G.Taentzer、M.Goedicke和T.Meyer。通过分布式图转换进行动态更改管理：面向可配置的分布式系统。在Ehrig等人[EEKR00]中，第179-193页。4.1 ·Zbl 0971.68648号 [289] P.J.t Hoen、G.Busatto和L.Groenewegen。UML的实例级包。技术报告99-06，莱顿高级计算机科学研究所，Vakgroep Informatica，荷兰莱顿，1999年。4.4; P.J.’t Hoen、G.Busatto和L.Groenewegen。UML的实例级包。技术报告99-06，莱顿高级计算机科学研究所，Vakgroep Informatica，荷兰莱顿，1999年。4.4 [290] Taentzer，G。；Koch，M.，分布属性图变换，第一届欧洲“图变换系统通论”研讨会，波尔多，1997年10月8日至10日，4.1（1997） [291] G.Valiente和C.Martínez。一种图形模式匹配算法。在程序。第四届南美字符串处理研讨会国际信息学系列; G.Valiente和C.Martínez。一种图形模式匹配算法。在程序。第四届南美弦加工研讨会国际信息学系列 [292] 迪特马尔·沃尔兹。用于图形变换和代数开发技术的Colimit库; 迪特马尔·沃尔兹。用于图形变换和代数开发技术的Colimit库 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。