编辑配置文件(在新选项卡中打开) 安德烈亚·科拉迪尼 合著者距离 作者ID: 珊瑚虫 发布日期: 安德烈亚·科拉迪尼;科拉迪尼,A。 主页: http://pages.di.unipi.it/corradini/ 外部链接: MGP公司 已编制索引的文档: 114出版物自1990年以来 11作为编辑的贡献·1进一步贡献 合著者: 62位合著者具有118联合出版物 1104合作作者 全部的 前5名合著者 8 单作者的 35 保罗·巴尔丹 33 乌戈·蒙塔纳里。 24 法比奥·加杜奇 20 瑞科·赫克尔 20 巴巴拉·科尼格 17 哈特穆特·埃里格 17 莱拉·里贝罗 10 弗朗西丝卡·罗西 7 迈克尔·J·S·洛。 6 托拜厄斯·海因德尔 5 罗伯托·布鲁尼 5 多米尼克·杜瓦尔 5 普罗斯特、弗雷德里克 4 费尔南多·路易斯·多蒂 4 瑞希德·埃哈希德 4 卢西亚娜·福斯 4 弗兰克·赫尔曼 4 卢赫·拉富恩特,阿尔贝托 4 Grzegorz罗岑贝格 4 巴布亚州索波辛斯基 三 吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi) 三 马丁·格罗·罗德 三 汉斯·约尔格·克鲁斯基 三 诺尔特,丹尼斯 三 斯特凡·施温 2 亚历山德罗·布鲁尼 2 纳迪亚·布西 2 盖扎·库尔斯阿尔 2 马耳他州洛豪 2 埃尔南·梅尔格拉蒂 2 G.Michele Pinna 2 玛丽亚姆·加法里·萨达特 2 安德烈·范丁 2 Uwe E.沃尔特。 1 米歇尔·鲍德龙 1 贝泽拉、乔纳斯·桑托斯 1 菲利波·邦奇 1 安东尼奥·布罗吉 1 科琳娜·科斯特 1 安德烈·科斯塔 1 法兰克·德雷维斯 1 多明尼克·杜瓦尔 1 托拜厄斯·弗里茨 1 苏珊·戈特曼 1 丹·赫施 1 巴托克·克林 1 伯恩哈德·科尼格 1 玛丽娜·莱妮莎 1 罗德里戈·马查多 1 蒙迪扎巴尔,奥多里科·马查多 1 尼科·纳希蒂加尔 1 费尔南多·奥雷贾斯 1 朱莉娅·帕德伯格 1 弗朗西斯科·帕里西·普雷西奇 1 阿伦德·伦辛克 1 罗德里格斯,莱昂纳多·马尔克斯 1 罗德里格斯,塞萨尔·马林 1 雅各布索尔达尼 1 加布里埃尔·坦泽尔 1 戴维·特罗塔 1 埃米利奥·托斯托 1 迪特马尔·沃尔兹 1 汉斯·赞特马 全部的 前5名系列 9 理论计算机科学 6 MSCS公司。计算机科学中的数学结构 4 信息与计算 4 应用分类结构 4 计算机科学课堂讲稿 4 理论计算机科学电子笔记 4 程序设计中的逻辑和代数方法杂志 2 计算机科学中的逻辑方法 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 符号计算杂志 1 计算的形式化方面 1 欧洲理论计算机科学协会公报 1 RAIRO公司。理论信息学及其应用 1 理论计算机科学电子论文集(EPTCS) 全部的 前5名领域 124 计算机科学(68至XX) 35 范畴理论;同调代数(18-XX) 12 总体主题;集合(00-XX) 7 数学逻辑和基础(03-XX) 三 组合数学(05-XX) 2 历史和传记(01-XX) 2 一般代数系统(08-XX) 1 阶、格、有序代数结构(06-XX) 1 结合环与代数(16-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 103出版物有被引用716中的次364文件 引用人▼ 年份▼ Sesqui-pushout重写。 Zbl 1156.68423号 安德烈亚·科拉迪尼;托拜厄斯·海因德尔;弗兰克·赫尔曼;巴巴拉·科尼格 49 2006 图形化进程。 Zbl 0854.68054号 科拉迪尼,A。;美国蒙塔纳里。;F.罗西。 42 1996 上下文Petri网、非对称事件结构和过程。 Zbl 1005.68103号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 41 2001 术语图的代数表示,通过gs-单体范畴。 Zbl 0949.68121号 安德烈亚·科拉迪尼;法比奥·加杜奇 34 1999 具有读弧和抑制弧的Petri网的域和事件结构语义。 Zbl 1078.68103号 鲍尔丹,P。;北布西。;科拉迪尼,A。;G.M.品娜。 22 2004 组合SOS及其以外:开放系统的联合视图。 Zbl 1014.68107号 安德烈亚·科拉迪尼;瑞科·赫克尔;乌戈·蒙塔纳里 21 2002 AGREE–带受控嵌入的代数图重写。 Zbl 1321.68327号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;弗雷德里克·普罗斯特;莱拉·里贝罗 19 2015 图变换系统的一种静态分析技术。 Zbl 1006.68529号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格 18 2001 术语图重写的2分类表示。 Zbl 0889.68085号 科拉迪尼,A。;F.加杜奇。 16 1997 用于验证无限状态图转换系统的框架。 Zbl 1153.68034号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格 15 2008 图变换的展开语义。 Zbl 1115.68093号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里;里贝罗,莱拉 15 2007 结构化转换系统的代数语义及其在逻辑程序中的应用。 Zbl 0756.68075号 安德烈亚·科拉迪尼;乌戈·蒙塔纳里 14 1992 基于确定性过程的开放Petri网的合成语义。 Zbl 1089.68068号 保罗·巴尔丹;安德烈亚·科拉迪尼;哈特穆特·埃里格;海克尔,瑞科 13 2005 从SOS规范到结构化余代数:如何使互模拟成为同余。 Zbl 0918.68065号 安德烈亚·科拉迪尼;瑞科·赫克尔;乌戈·蒙塔纳里 12 1999 多代数和部分代数的函数语义,以及语法应用。 Zbl 1061.18008号 安德烈亚·科拉迪尼;法比奥·加杜奇 11 2002 循环结构的重写:操作描述和范畴描述之间的等价性。 Zbl 0940.18002号 安德烈亚·科拉迪尼;法比奥·加杜奇 11 1999 超边缘替代丛林重写用于术语重写系统和逻辑编程。 Zbl 0781.68074号 安德烈亚·科拉迪尼;弗朗西丝卡·罗西 11 1993 将过渡系统结构化为松散的余代数。 Zbl 0917.68072号 安德烈亚·科拉迪尼;马丁·格罗·罗德;瑞科·赫克尔 10 1998 关于(mathcal{M})-粘合剂转化系统中冲突的本质和初始性。 Zbl 1435.68131号 吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi);安德烈亚·科拉迪尼;莱拉·里贝罗 10 2019 验证有限状态图文法:基于展开的方法。 Zbl 1099.68046号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格 10 2004 理性术语重写。 Zbl 0908.68081号 科拉迪尼,A。;F.加杜奇。 9 1998 双推出图文法的展开是一种共反射。 Zbl 0958.68081号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 9 2000 上下文Petri网的有效展开。 Zbl 1263.68117号 保罗·巴尔丹;亚历山德罗·布鲁尼;安德烈亚·科拉迪尼;巴巴拉·科尼格;塞萨尔·罗德里格斯;斯特凡·施温 9 2012 图文法的展开和事件结构语义。 Zbl 0946.68087号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 9 1999 双推出方法中的抽象图导数。 Zbl 1494.68104号 科拉迪尼,A。;埃里格·H·。;Löwe,M。;蒙塔纳里,美国。;F.罗西。 9 1994 P/T上下文网络的事件结构语义:非对称事件结构。 Zbl 0902.68140号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 8 1998 PBPO图转换方法。 Zbl 1417.68075号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 8 2019 图转换系统的双回拉转换和联合松散语义。 Zbl 0970.68116号 瑞科·赫克尔;哈特穆特·埃里格;乌韦·沃尔特;安德烈亚·科拉迪尼 8 2001 结构化转换系统的联合表示。 Zbl 0973.68173号 科拉迪尼,A。;格罗·罗德,M。;R.赫克尔。 8 2001 关于双推挤和半推挤方法平行独立的本质。 Zbl 1383.68042号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;Löwe,迈克尔;莱拉·里贝罗;罗德里戈·马查多;安德烈·科斯塔;吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi);乔纳斯·桑托斯,贝泽拉;罗德里格斯,莱昂纳多·马尔克斯 8 2018 图形语法和逻辑编程。 Zbl 0765.68083号 安德烈亚·科拉迪尼;乌戈·蒙塔纳里;弗朗西丝卡·罗西;哈特穆特·埃里格;Löwe,迈克尔 7 1991 使用开放网络对反应系统进行组合建模。 Zbl 1006.68084号 鲍尔丹,P。;科拉迪尼,A。;埃里格,H。;R.赫克尔。 7 2001 将过渡系统划分为结构化余代数。 Zbl 0944.18006号 安德烈亚·科拉迪尼;瑞科·赫克尔;乌戈·蒙塔纳里 7 1999 展开粘合类别中的语法。 Zbl 1239.68036号 保罗·巴尔丹;安德烈亚·科拉迪尼;托拜厄斯·海因德尔;巴巴拉·科尼格;巴布亚州索波辛斯基 7 2009 粘合剂改写系统的工艺。 Zbl 1180.68165号 保罗·巴尔丹;安德烈亚·科拉迪尼;托拜厄斯·海因德尔;巴巴拉·科尼格;巴布亚州索波辛斯基 7 2006 将术语重写的两种分类模型联系起来。 Zbl 1508.68146号 科拉迪尼,A。;F.加杜奇。;美国蒙塔纳里。 7 1995 类型化图文法的范畴及其带有派生范畴的附加词。 Zbl 1412.68099号 科拉迪尼,A。;埃里格·H·。;Löwe,M。;美国蒙塔纳里。;J.帕德伯格。 6 1996 具有并行产生式的图文法的事件结构语义。 Zbl 1412.68100号 科拉迪尼,A。;埃里格·H·。;Löwe,M。;美国蒙塔纳里。;F.罗西。 6 1996 开放Petri网的双相似性和行为保护重构。 Zbl 1214.68243号 保罗·巴尔丹;安德烈亚·科拉迪尼;哈特穆特·埃里格;海克尔,瑞科;巴巴拉·科尼格 6 2007 子对象变换系统。 Zbl 1153.18002号 安德烈亚·科拉迪尼;弗兰克·赫尔曼;巴布亚州索波辛斯基 6 2008 用于验证图转换系统的时序图逻辑。 Zbl 1196.68154号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格;卢赫·拉富恩特,阿尔贝托 6 2007 代数图变换的pullback-pushout方法。 Zbl 1425.68156号 安德烈亚·科拉迪尼;多明尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特,弗雷德里克;莱拉·里贝罗 6 2017 重写抽象结构:明确解释的物化。 Zbl 1524.68163号 安德烈亚·科拉迪尼;托拜厄斯·海因德尔;巴巴拉·科尼格;诺尔特,丹尼斯;伦辛,阿伦德 6 2019 无限项重写的CPO模型。 Zbl 1496.68163号 安德烈亚·科拉迪尼;法比奥·加杜奇 6 1995 类型化图转换系统的水平和垂直结构。 Zbl 0866.68056号 瑞科·赫克尔;安德烈亚·科拉迪尼;哈特穆特·埃里格;Löwe,迈克尔 5 1996 余代数规范中方程推导的完整结果。 Zbl 0903.08007号 安德烈亚·科拉迪尼 5 1998 带读弧和约束弧的Petri网的功能并发语义。 Zbl 0999.68150号 保罗·巴尔丹;纳迪亚·布西;安德烈亚·科拉迪尼;G.Michele Pinna 5 2000 图代数和图重写。 Zbl 0792.68079号 安德烈亚·科拉迪尼;乌戈·蒙塔纳里 5 1991 并发模块化系统的抽象机器:CHARM。 Zbl 0801.68055号 安德烈亚·科拉迪尼;乌戈·蒙塔纳里;弗朗西丝卡·罗西 5 1994 McMillan的上下文网络的完整前缀。 Zbl 1171.68560号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格;斯特凡·施温 5 2008 \(\mathrm中的术语重写{连续油管}_\西格玛)。 Zbl 1497.68241号 安德烈亚·科拉迪尼 5 1993 多代数的函数语义。 Zbl 0942.18002号 安德烈亚·科拉迪尼;法比奥·加杜奇 4 1999 类术语结构的分类重写。 兹比尔1263.68070 安德烈亚·科拉迪尼;法比奥·加杜奇 4 2002 逻辑编程是超图重写。 Zbl 0967.68507号 安德烈亚·科拉迪尼;弗朗西丝卡·罗西;弗朗西斯科·帕里西·普雷西奇 4 1991 将Java代码转换为图形转换系统。 Zbl 1116.68382号 安德烈亚·科拉迪尼;费尔南多·路易斯·多蒂;卢西亚娜·福斯;莱拉·里贝罗 4 2004 使用类型图指定图形语言。 Zbl 1425.68191号 安德烈亚·科拉迪尼;巴巴拉·科尼格;诺尔特,丹尼斯 4 2017 使用类型图指定图形语言。 Zbl 1423.68248号 安德烈亚·科拉迪尼;巴巴拉·科尼格;丹尼斯·诺尔特 4 2019 图文法的互模拟等价性。 Zbl 1060.68050号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 4 2002 术语图是一个粘合类别。 Zbl 1272.68175号 安德烈亚·科拉迪尼;法比奥·加杜奇 4 2005 关于图和图派生的标准表示的注释。 Zbl 1494.68105号 科拉迪尼,A。;埃里格·H·。;Löwe,M。;美国蒙塔纳里。;F.罗西。 4 1994 融合的域和事件结构。 Zbl 1458.68128号 保罗·巴尔丹;安德烈亚·科拉迪尼;法比奥·加杜奇 4 2017 单推出图文法的共反射并发语义。 Zbl 1278.68117号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里;莱拉·里贝罗 三 2003 用于构造和改进类型化图文法的组合方法。 Zbl 0910.68116号 安德烈亚·科拉迪尼;瑞科·赫克尔 三 1995 并发计算:从Petri网到图文法。 Zbl 0910.68109号 安德烈亚·科拉迪尼 三 1995 通过图转换指定和验证UML活动图。 Zbl 1111.68496号 保罗·巴尔丹;安德烈亚·科拉迪尼;法比奥·加杜奇 三 2005 上下文网络的历史保持互模拟。 Zbl 0966.68151号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 三 2000 开放Petri网的双相似性和行为保护重构。 兹比尔1161.68034 保罗·巴尔丹;安德烈亚·科拉迪尼;哈特穆特·埃里格;瑞科·赫克尔;巴巴拉·科尼格 三 2008 负应用条件下(mathcal{M})-粘着变换系统的置换等价性分析。 Zbl 1342.68179号 弗兰克·赫尔曼;安德烈亚·科拉迪尼;哈特穆特·埃里格 三 2014 关于上下文网络和图文法的麦克米兰前缀的计算。 Zbl 1306.68120号 保罗·巴尔丹;亚历山德罗·布鲁尼;安德烈亚·科拉迪尼;巴巴拉·科尼格;斯特凡·施温 三 2010 并发系统规范:从Petri网到图语法。 Zbl 0817.68110号 科拉迪尼,A。;美国蒙塔纳里。 2 1995 CHARM:并发性和隐藏在抽象重写机中。 兹比尔0864.68054 安德烈亚·科拉迪尼;乌戈·蒙塔纳里;弗朗西丝卡·罗西 2 1992 COMPUGRAPH/SEMAGRAPH图形重写和计算联合研讨会(SEGRAGRA’95)。研讨会论文选自1995年8月28日至9月1日,意大利沃尔泰拉。 Zbl 0903.00060号 2 1995 并发图和术语图重写。 Zbl 1514.68160号 科拉迪尼,A。 2 1996 具有持久性的Petri网的事件结构。 Zbl 1417.68113号 保罗·巴尔丹;罗伯托·布鲁尼;安德烈亚·科拉迪尼;法比奥·加杜奇;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 2 2018 粘合剂类别的格理论观点。 Zbl 1217.18004号 保罗·巴尔丹;菲利波·邦奇;安德烈亚·科拉迪尼;托拜厄斯·海因德尔;巴巴拉·科尼格 2 2011 GETGRATS:科学成果总结(附注释书目)。 Zbl 1263.68069号 安德烈亚·科拉迪尼 2 2002 图形转换。2002年10月7日至12日在西班牙巴塞罗那举行的2002年ICGT第一届国际会议。诉讼程序。 Zbl 1001.00043号 2 2002 图形变换。2006年9月17日至23日在巴西北里奥格兰德河纳塔尔举行的2006年第三届国际燃气轮机会议。诉讼程序。 Zbl 1147.68003号 2 2006 展开图变换系统:理论和验证应用。 Zbl 1143.68422号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格 2 2008 关于冲突的本质和初始性。 Zbl 1394.68195号 吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi);安德烈亚·科拉迪尼;里贝罗,莱拉 2 2018 受控图形再写过程中的等效性和独立性。 Zbl 1394.68199号 盖扎·库尔斯阿尔;安德烈亚·科拉迪尼;马耳他州洛豪 2 2018 AGREE转换中的并行性。 Zbl 1344.68106号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;弗雷德里克·普罗斯特;莱拉·里贝罗 2 2016 过程和展开:粘合剂类别中的并发计算。 兹比尔1342.68223 保罗·巴尔丹;安德烈亚·科拉迪尼;托拜厄斯·海因德尔;巴巴拉·科尼格;巴布亚州索波辛斯基 2 2014 交互式系统规范的依赖图转换。 Zbl 1253.68192号 安德烈亚·科拉迪尼;卢西亚娜·福斯;莱拉·里贝罗 1 2009 具有负应用条件的展开图语法。 Zbl 1429.68086号 安德烈亚·科拉迪尼;玛丽亚姆·加法里·萨达特;瑞科·赫克尔 1 2019 使用有限(共)极限二重理论的图推导代数。 Zbl 0955.68080号 安德烈亚·科拉迪尼;马丁·格罗·罗德;瑞科·赫克尔 1 1999 CMCS 2001。2001年4月6日至7日,意大利热那亚,计算机科学中的联合大脑方法第四次研讨会论文集。 Zbl 1260.68011号 1 2001 GETGRATS图形转换系统闭幕研讨会,法国波尔多,2001年6月22日至23日。诉讼程序。 Zbl 1262.68010号 1 2002 不等式演绎作为术语图重写。 Zbl 1270.68125号 安德烈亚·科拉迪尼;法比奥·加杜奇 1 2007 验证图形转换系统的行为逻辑。 Zbl 1271.68167号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格;伯恩哈德·科尼格 1 2004 适应性过渡系统。 Zbl 1394.68206号 罗伯托·布鲁尼;安德烈亚·科拉迪尼;法比奥·加杜奇;卢赫·拉富恩特,阿尔贝托;安德烈·范丁 1 2013 具有增量负面应用条件的转换系统。 Zbl 1394.68196号 安德烈亚·科拉迪尼;海克尔,瑞科;弗兰克·赫尔曼;苏珊·戈特曼;尼科·纳希蒂加尔 1 2013 开放Petri网:非确定性过程和组合性。 Zbl 1175.68269号 保罗·巴尔丹;安德烈亚·科拉迪尼;哈特穆特·埃里格;巴巴拉·科尼格 1 2008 将事务绘制为流程。 Zbl 1156.68416号 保罗·巴尔丹;安德烈亚·科拉迪尼;卢西亚娜·福斯;法比奥·加杜奇 1 2006 集成了图转换和时态逻辑的规范技术。 Zbl 0951.68055号 瑞科·赫克尔;哈特穆特·埃里格;乌韦·沃尔特;安德烈亚·科拉迪尼 1 1997 控制嵌入的代数图重写。 Zbl 1436.68155号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 1 2020 并发图形再写过程的微积分。 Zbl 1494.68115号 盖扎·库尔斯阿尔;安德烈亚·科拉迪尼;马耳他州洛豪 1 2020 图重写中事务的概念。 Zbl 1283.68182号 鲍尔丹,P。;科拉迪尼,A。;多蒂,F.L。;福斯,L。;F.加杜奇。;里贝罗。 1 2008 利用混合识别器进行实时手势识别。 Zbl 1051.68621号 安德烈亚·科拉迪尼 1 2002 面向逻辑编程风格中的过程语义。 Zbl 0729.68042号 安德烈亚·科拉迪尼;乌戈·蒙塔纳里 1 1990 控制嵌入的代数图重写。 Zbl 1436.68155号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 1 2020 并发图形再写过程的微积分。 Zbl 1494.68115号 盖扎·库尔斯阿尔;安德烈亚·科拉迪尼;马耳他州洛豪 1 2020 关于(mathcal{M})-粘合剂转化系统中冲突的本质和初始性。 Zbl 1435.68131号 吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi);安德烈亚·科拉迪尼;莱拉·里贝罗 10 2019 PBPO图转换方法。 兹比尔1417.68075 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 8 2019 重写抽象结构:明确解释的物化。 Zbl 1524.68163号 安德烈亚·科拉迪尼;托拜厄斯·海因德尔;巴巴拉·科尼格;诺尔特,丹尼斯;阿伦德·伦辛克 6 2019 使用类型图指定图形语言。 兹比尔1423.68248 安德烈亚·科拉迪尼;巴巴拉·科尼格;诺尔特,丹尼斯 4 2019 在负应用条件下展开图文法。 Zbl 1429.68086号 安德烈亚·科拉迪尼;玛丽亚姆·加法里·萨达特;海克尔,瑞科 1 2019 关于双推挤和半推挤方法平行独立的本质。 Zbl 1383.68042号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;Löwe,迈克尔;莱拉·里贝罗;罗德里戈·马查多;安德烈·科斯塔;吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi);贝泽拉、乔纳斯·桑托斯;罗德里格斯,莱昂纳多·马尔克斯 8 2018 具有持久性的Petri网的事件结构。 Zbl 1417.68113号 保罗·巴尔丹;罗伯托·布鲁尼;安德烈亚·科拉迪尼;法比奥·加杜奇;埃尔南·梅尔格拉蒂;乌戈·蒙塔纳里 2 2018 关于冲突的本质和初始性。 Zbl 1394.68195号 吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi);安德烈亚·科拉迪尼;莱拉·里贝罗 2 2018 受控图形再写过程中的等效性和独立性。 Zbl 1394.68199号 盖扎·库尔斯阿尔;安德烈亚·科拉迪尼;马耳他州洛豪 2 2018 代数图变换的pullback-pushout方法。 Zbl 1425.68156号 安德烈亚·科拉迪尼;多明尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 6 2017 使用类型图指定图形语言。 Zbl 1425.68191号 安德烈亚·科拉迪尼;巴巴拉·科尼格;丹尼斯·诺尔特 4 2017 融合的域和事件结构。 Zbl 1458.68128号 保罗·巴尔丹;安德烈亚·科拉迪尼;法比奥·加杜奇 4 2017 AGREE转换中的并行性。 Zbl 1344.68106号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;弗雷德里克·普罗斯特;莱拉·里贝罗 2 2016 AGREE–带受控嵌入的代数图重写。 Zbl 1321.68327号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;弗雷德里克·普罗斯特;莱拉·里贝罗 19 2015 负应用条件下(mathcal{M})-粘着变换系统的置换等价性分析。 Zbl 1342.68179号 弗兰克·赫尔曼;安德烈亚·科拉迪尼;哈特穆特·埃里格 三 2014 过程和展开:粘合剂类别中的并行计算。 Zbl 1342.68223号 保罗·巴尔丹;安德烈亚·科拉迪尼;托拜厄斯·海因德尔;巴巴拉·科尼格;巴布亚州索波辛斯基 2 2014 负应用条件下的标准导数。 Zbl 1423.68226号 安德烈亚·科拉迪尼;瑞科·赫克尔 1 2014 适应性过渡系统。 Zbl 1394.68206号 罗伯托·布鲁尼;安德烈亚·科拉迪尼;法比奥·加杜奇;卢赫·拉富恩特,阿尔贝托;安德烈·范丁 1 2013 具有增量负面应用条件的转换系统。 Zbl 1394.68196号 安德烈亚·科拉迪尼;瑞科·赫克尔;弗兰克·赫尔曼;苏珊·戈特曼;尼科·纳希蒂加尔 1 2013 上下文Petri网的有效展开。 Zbl 1263.68117号 保罗·巴尔丹;亚历山德罗·布鲁尼;安德烈亚·科拉迪尼;巴巴拉·科尼格;塞萨尔·罗德里格斯;斯特凡·施温 9 2012 粘合剂类别的格理论观点。 Zbl 1217.18004号 保罗·巴尔丹;菲利波·邦奇;安德烈亚·科拉迪尼;托拜厄斯·海因德尔;巴巴拉·科尼格 2 2011 计算机科学中的代数和余代数。2011年8月30日至9月2日在英国温彻斯特举行的2011年CALCO第四届国际会议。诉讼程序。 Zbl 1221.68011号 1 2011 术语图重写和并行术语重写。 Zbl 1457.68135号 安德烈亚·科拉迪尼;法兰克·德雷维斯 1 2011 关于上下文网络和图文法的麦克米兰前缀的计算。 Zbl 1306.68120号 保罗·巴尔丹;亚历山德罗·布鲁尼;安德烈亚·科拉迪尼;巴巴拉·科尼格;斯特凡·施温 三 2010 粘合剂类别中的展开语法。 Zbl 1239.68036号 保罗·巴尔丹;安德烈亚·科拉迪尼;托拜厄斯·海因德尔;巴巴拉·科尼格;巴布亚州索波辛斯基 7 2009 用于交互系统规范的具有依赖关系的图转换。 Zbl 1253.68192号 安德烈亚·科拉迪尼;卢西亚娜·福斯;莱拉·里贝罗 1 2009 用于验证无限状态图转换系统的框架。 兹比尔1153.68034 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格 15 2008 子对象变换系统。 Zbl 1153.18002号 安德烈亚·科拉迪尼;弗兰克·赫尔曼;巴布亚州索波辛斯基 6 2008 McMillan的上下文网络的完整前缀。 Zbl 1171.68560号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格;斯特凡·施温 5 2008 开放Petri网的双相似性和行为保护重构。 Zbl 1161.68034号 保罗·巴尔丹;安德烈亚·科拉迪尼;哈特穆特·埃里格;瑞科·赫克尔;巴巴拉·科尼格 三 2008 展开图变换系统:理论和验证应用。 Zbl 1143.68422号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格 2 2008 开放Petri网:非确定性过程和组合性。 Zbl 1175.68269号 保罗·巴尔丹;安德烈亚·科拉迪尼;哈特穆特·埃里格;巴巴拉·科尼格 1 2008 图重写中事务的概念。 Zbl 1283.68182号 鲍尔丹,P。;科拉迪尼,A。;多蒂,F.L。;福斯,L。;F.加杜奇。;里贝罗。 1 2008 图变换的展开语义。 Zbl 1115.68093号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里;莱拉·里贝罗 15 2007 开放式Petri网的双重相似性和保持行为的重新配置。 Zbl 1214.68243号 保罗·巴尔丹;安德烈亚·科拉迪尼;哈特穆特·埃里格;瑞科·赫克尔;巴巴拉·科尼格 6 2007 用于验证图转换系统的时序图逻辑。 Zbl 1196.68154号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格;卢赫·拉富恩特,阿尔贝托 6 2007 不等式演绎作为术语图重写。 Zbl 1270.68125号 安德烈亚·科拉迪尼;法比奥·加杜奇 1 2007 Sesqui-pushout重写。 Zbl 1156.68423号 安德烈亚·科拉迪尼;托拜厄斯·海因德尔;赫尔曼,弗兰克;巴巴拉·科尼格 49 2006 粘合剂改写系统的工艺。 Zbl 1180.68165号 保罗·巴尔丹;安德烈亚·科拉迪尼;托拜厄斯·海因德尔;巴巴拉·科尼格;巴布亚州索波辛斯基 7 2006 图形变换。2006年9月17日至23日在巴西北里奥格兰德河纳塔尔举行的2006年第三届国际燃气轮机会议。诉讼程序。 Zbl 1147.68003号 2 2006 将事务绘制为流程。 Zbl 1156.68416号 保罗·巴尔丹;安德烈亚·科拉迪尼;卢西亚娜·福斯;法比奥·加杜奇 1 2006 基于确定性过程的开放Petri网的合成语义。 Zbl 1089.68068号 保罗·巴尔丹;安德烈亚·科拉迪尼;哈特穆特·埃里格;瑞科·赫克尔 13 2005 术语图是一个粘合类别。 Zbl 1272.68175号 安德烈亚·科拉迪尼;法比奥·加杜奇 4 2005 通过图转换指定和验证UML活动图。 Zbl 1111.68496号 保罗·巴尔丹;安德烈亚·科拉迪尼;法比奥·加杜奇 三 2005 具有读弧和抑制弧的Petri网的域和事件结构语义。 Zbl 1078.68103号 鲍尔丹,P。;北布西。;科拉迪尼,A。;G.M.品娜。 22 2004 验证有限状态图文法:基于展开的方法。 Zbl 1099.68046号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格 10 2004 将Java代码转换为图形转换系统。 Zbl 1116.68382号 安德烈亚·科拉迪尼;费尔南多·路易斯·多蒂;卢西亚娜·福斯;里贝罗,莱拉 4 2004 验证图形转换系统的行为逻辑。 Zbl 1271.68167号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格;伯恩哈德·科尼格 1 2004 单推出图文法的共反射并发语义。 Zbl 1278.68117号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里;莱拉·里贝罗 三 2003 组合SOS及其以外:开放系统的联合视图。 Zbl 1014.68107号 安德烈亚·科拉迪尼;瑞科·赫克尔;乌戈·蒙塔纳里 21 2002 多代数和部分代数的函数语义,及其在语法中的应用。 Zbl 1061.18008号 安德烈亚·科拉迪尼;法比奥·加杜奇 11 2002 类术语结构的分类重写。 Zbl 1263.68070号 安德烈亚·科拉迪尼;法比奥·加杜奇 4 2002 图文法的互模拟等价性。 兹比尔1060.68050 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 4 2002 GETGRATS:科学成果总结(附注释书目)。 Zbl 1263.68069号 安德烈亚·科拉迪尼 2 2002 图形转换。2002年10月7日至12日在西班牙巴塞罗那举行的2002年ICGT第一届国际会议。诉讼程序。 Zbl 1001.00043号 2 2002 GETGRATS图形转换系统闭幕研讨会,法国波尔多,2001年6月22日至23日。诉讼程序。 Zbl 1262.68010号 1 2002 利用混合识别器进行实时手势识别。 Zbl 1051.68621号 安德烈亚·科拉迪尼 1 2002 上下文Petri网、非对称事件结构和过程。 Zbl 1005.68103号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 41 2001 图变换系统的静态分析技术。 Zbl 1006.68529号 保罗·巴尔丹;安德烈亚·科拉迪尼;巴巴拉·科尼格 18 2001 图转换系统的双回拉转换和联合松散语义。 Zbl 0970.68116号 瑞科·赫克尔;哈特穆特·埃里格;乌韦·沃尔特;安德烈亚·科拉迪尼 8 2001 结构化转换系统的联合表示。 Zbl 0973.68173号 科拉迪尼,A。;格罗·罗德,M。;R.赫克尔。 8 2001 使用开放网络的反应系统的组合建模。 Zbl 1006.68084号 鲍尔丹,P。;科拉迪尼,A。;埃里格·H·。;R.赫克尔。 7 2001 CMCS 2001。2001年4月6日至7日,意大利热那亚,计算机科学中的联合大脑方法第四次研讨会论文集。 Zbl 1260.68011号 1 2001 双推出图文法的展开是一种共反射。 Zbl 0958.68081号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 9 2000 带读弧和约束弧的Petri网的功能并发语义。 Zbl 0999.68150号 保罗·巴尔丹;纳迪亚·布西;安德烈亚·科拉迪尼;G.Michele Pinna 5 2000 为上下文网络保留历史的交互模拟。 Zbl 0966.68151号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 三 2000 术语图的代数表示,通过gs-单体范畴。 Zbl 0949.68121号 安德烈亚·科拉迪尼;法比奥·加杜奇 34 1999 从SOS规范到结构化余代数:如何使互模拟成为同余。 Zbl 0918.68065号 安德烈亚·科拉迪尼;瑞科·赫克尔;乌戈·蒙塔纳里 12 1999 循环结构的重写:操作描述和范畴描述之间的等价性。 Zbl 0940.18002号 安德烈亚·科拉迪尼;法比奥·加杜奇 11 1999 图文法的展开和事件结构语义。 Zbl 0946.68087号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 9 1999 将过渡系统划分为结构化余代数。 Zbl 0944.18006号 安德烈亚·科拉迪尼;瑞科·赫克尔;乌戈·蒙塔纳里 7 1999 多代数的函数语义。 Zbl 0942.18002号 安德烈亚·科拉迪尼;法比奥·加杜奇 4 1999 使用有限(共)极限二重理论的图推导代数。 Zbl 0955.68080号 安德烈亚·科拉迪尼;马丁·格罗·罗德;瑞科·赫克尔 1 1999 将过渡系统结构化为松散的余代数。 Zbl 0917.68072号 安德烈亚·科拉迪尼;马丁·格罗·罗德;瑞科·赫克尔 10 1998 理性术语重写。 Zbl 0908.68081号 科拉迪尼,A。;F.加杜奇。 9 1998 P/T上下文网络的事件结构语义:非对称事件结构。 Zbl 0902.68140号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 8 1998 余代数规范中方程推导的完整结果。 Zbl 0903.08007号 安德烈亚·科拉迪尼 5 1998 术语图重写的2分类表示。 Zbl 0889.68085号 科拉迪尼,A。;F.加杜奇。 16 1997 集成了图转换和时态逻辑的规范技术。 Zbl 0951.68055号 瑞科·赫克尔;哈特穆特·埃里格;乌韦·沃尔特;安德烈亚·科拉迪尼 1 1997 图形化进程。 Zbl 0854.68054号 科拉迪尼,A。;美国蒙塔纳里。;F.罗西。 42 1996 类型化图文法的范畴及其带有派生范畴的附加词。 Zbl 1412.68099号 科拉迪尼,A。;埃里格·H·。;Löwe,M。;美国蒙塔纳里。;J.帕德伯格。 6 1996 具有并行产生式的图文法的事件结构语义。 Zbl 1412.68100号 科拉迪尼,A。;埃里格·H·。;Löwe,M。;美国蒙塔纳里。;F.罗西。 6 1996 类型化图转换系统的水平和垂直结构。 Zbl 0866.68056号 瑞科·赫克尔;安德烈亚·科拉迪尼;哈特穆特·埃里格;Löwe,迈克尔 5 1996 并发图和术语图重写。 Zbl 1514.68160号 科拉迪尼,A。 2 1996 将术语重写的两种分类模型联系起来。 Zbl 1508.68146号 科拉迪尼,A。;F.加杜奇。;美国蒙塔纳里。 7 1995 无限项重写的CPO模型。 Zbl 1496.68163号 安德烈亚·科拉迪尼;法比奥·加杜奇 6 1995 用于构造和改进类型化图文法的组合方法。 Zbl 0910.68116号 安德烈亚·科拉迪尼;瑞科·赫克尔 三 1995 并发计算:从Petri网到图文法。 兹比尔0910.68109 安德烈亚·科拉迪尼 三 1995 并发系统规范:从Petri网到图文法。 Zbl 0817.68110号 科拉迪尼,A。;美国蒙塔纳里。 2 1995 COMPUGRAPH/SEMAGRAPH关于图形重写和计算的联合研讨会(SEGRAGRA'95)。研讨会论文选自1995年8月28日至9月1日,意大利沃尔泰拉。 Zbl 0903.00060号 2 1995 双推出方法中的抽象图推导。 Zbl 1494.68104号 科拉迪尼,A。;埃里格·H·。;Löwe,M。;美国蒙塔纳里。;F.罗西。 9 1994 并发模块化系统的抽象机器:CHARM。 Zbl 0801.68055号 安德烈亚·科拉迪尼;乌戈·蒙塔纳里;弗朗西丝卡·罗西 5 1994 关于图形和图形派生的标准表示的注释。 Zbl 1494.68105号 科拉迪尼,A。;埃里格,H。;Löwe,M。;美国蒙塔纳里。;F.罗西。 4 1994 超边缘替代丛林重写用于术语重写系统和逻辑编程。 Zbl 0781.68074号 安德烈亚·科拉迪尼;弗朗西丝卡·罗西 11 1993 \(\mathrm中的术语重写{连续油管}_\西格玛)。 Zbl 1497.68241号 安德烈亚·科拉迪尼 5 1993 结构化转换系统的代数语义及其在逻辑程序中的应用。 Zbl 0756.68075号 安德烈亚·科拉迪尼;乌戈·蒙塔纳里 14 1992 CHARM:并发性和隐藏在抽象重写机中。 Zbl 0864.68054号 安德烈亚·科拉迪尼;乌戈·蒙塔纳里;弗朗西丝卡·罗西 2 1992 图形语法和逻辑编程。 Zbl 0765.68083号 安德烈亚·科拉迪尼;乌戈·蒙塔纳里;弗朗西丝卡·罗西;哈特穆特·埃里格;Löwe,迈克尔 7 1991 …和另外3个文档 所有引用出版物 前5名被引用出版物 全部的 前5名371位作者引用 51 安德烈亚·科拉迪尼 40 乌戈·蒙塔纳里。 36 法比奥·加杜奇 29 保罗·巴尔丹 20 巴巴拉·科尼格 19 莱拉·里贝罗 16 菲利波·邦奇 15 罗伯托·布鲁尼 13 哈特穆特·埃里格 12 瑞科·赫克尔 10 瑞希德·埃哈希德 9 尼古拉斯·贝尔 9 巴布亚州索波辛斯基 8 多米尼克·杜瓦尔 8 托拜厄斯·海因德尔 8 里扎德·贾尼基 8 迈克尔·J·S·洛。 8 费尔南多·奥雷贾斯 8 G.Michele Pinna 7 托马斯·查泰恩 7 普罗斯特、弗雷德里克 7 弗朗西丝卡·罗西 6 斯特凡·哈尔 6 埃尔南·梅尔格拉蒂 6 Giacoma Valentina蒙雷亚尔 6 加布里埃尔·坦泽尔 5 费尔南多·路易斯·多蒂 5 约尔格恩德鲁利斯 5 卢西亚娜·福斯 5 哈默(Russ Harmer) 5 汉斯·约尔格·克鲁斯基 5 吉恩·克里文 5 莱恩·兰伯斯 5 卢赫·拉富恩特,阿尔贝托 5 丰满,细节 5 斯特凡·施温 4 霍尔格·吉斯 4 亚历克斯·基辛格 4 码头Kleijn 4 延斯·科索尔 4 马西耶·库特尼 4 马里诺·米库兰 4 Overbeek,罗伊 4 弗朗西斯科·帕里西·普雷西奇 4 乌尔里克·普兰奇 4 玛丽亚姆·加法里·萨达特 4 伊琳娜·B·维碧茨卡岩。 4 法比奥·扎纳西 三 Tour男孩,蒂埃里 三 文森佐·西安西亚 三 科琳娜·科斯特 三 约斯特·恩格尔弗里特 三 弗兰克·赫尔曼 三 赛义德·纳赛尔·侯赛尼 三 沃尔夫拉姆·卡尔 三 曼纽尔·科赫 三 哈拉尔德·科尼格 三 维塔利·科齐奥拉 三 伊万·拉内斯 三 玛丽娜·莱妮莎 三 刘志明 三 亚伦·赖伊 三 路易吉·文森佐·曼奇尼 三 乌卡斯·米库尔斯基 三 诺尔特,丹尼斯 三 洛伊奇·波列维 三 罗德里格斯,塞萨尔·马林 三 斯文·施奈德 三 赵亮 2 艾比,萨米 2 法哈德·阿尔巴 2 阿德里亚娜·巴兰 2 克拉拉·贝托利西 2 西蒙·博扎帕里迪斯 2 本杰明·布拉茨 2 克里斯托弗·布朗 2 巴斯米,玛丽亚·格拉齐亚 2 伊利亚州卡斯特拉尼 2 大卫·卡斯特尔诺沃 2 克拉克、戴夫 2 科科特,J.罗宾B。 2 达科斯塔,西蒙·安德烈 2 胡安·德·拉腊 2 瑟伦·德博伊斯 2 雷娜·迪米特洛娃 2 弗朗西斯科·杜兰 2 约翰内斯·戴克 2 詹姆斯·P·费尔班克斯。 2 玛丽贝尔·费尔南德斯 2 托拜厄斯·弗里茨 2 卢西亚诺加西亚·巴努埃洛斯 2 丹尼尔·格纳德 2 乌尔里克·戈拉斯 2 Jan Friso,格鲁特 2 马丁·格罗·罗德 2 汉克斯,泰勒 2 托马斯·希尔德布兰特。 2 约尔格·霍夫曼 2 霍夫斯特拉,Pieter J.W。 2 Furio Honsell ……还有271名作者 全部的 前5名28篇连载文章中引用 67 理论计算机科学 30 程序设计中的逻辑和代数方法杂志 17 MSCS公司。计算机科学中的数学结构 14 信息与计算 9 信息学报 7 计算机科学中的逻辑方法 5 计算的形式方面 4 计算机与系统科学杂志 4 符号计算杂志 4 应用分类结构 三 计算机程序设计科学 三 RAIRO公司。理论信息学及其应用 三 逻辑与代数程序设计杂志 2 信息处理信件 2 编程和计算机软件 2 纯逻辑与应用逻辑年鉴 1 人工智能 1 自动推理杂志 1 离散事件动态系统 1 模式识别 1 系统设计中的形式化方法 1 工程中的数学问题 1 高阶与符号计算 1 微分方程 1 自然计算 1 浙江大学学报。科学A 1 泛逻辑 1 计算机科学前沿 全部的 前5名16个领域引用 351 计算机科学(68至XX) 67 范畴理论;同调代数(18-XX) 26 数学逻辑和基础(03-XX) 10 组合数学(05-XX) 7 生物学和其他自然科学(92-XX) 4 历史和传记(01-XX) 三 总体主题;集合(00-XX) 三 概率论与随机过程(60-XX) 三 系统论;控制(93至XX) 2 阶、格、有序代数结构(06-XX) 2 动力系统和遍历理论(37至XX) 2 统计学(62-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 一般代数系统(08-XX) 1 结合环与代数(16-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文