编辑配置文件(在新选项卡中打开) 莱拉·里贝罗 合著者距离 作者ID: 里比罗·莱拉 发布日期: 莱拉·里贝罗;里贝罗。 已编制索引的文档: 46出版物自1993年起 3作为编辑的贡献 合著者: 35位合著者具有43联合出版物 552位联合作者 全部的 前5名合著者 三 单作者的 17 安德烈亚·科拉迪尼 10 费尔南多·路易斯·多蒂 8 卢西亚娜·福斯 5 多米尼克·杜瓦尔 5 普罗斯特、弗雷德里克 4 吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi) 4 瑞希德·埃哈希德 4 阿娜·保拉·Lüdtke Ferreira 4 罗德里戈·马查多 4 乌戈·蒙塔纳里。 三 保罗·巴尔丹 三 哈特穆特·埃里格 2 贝泽拉、乔纳斯·桑托斯 2 安德烈·科斯塔 2 达科斯塔·卡瓦莱罗,西蒙·安德烈 2 达科斯塔,西蒙·安德烈 2 奥斯马·马奇·多斯桑托斯 2 卢西奥·毛罗·杜阿尔特 2 法比奥·加杜奇 2 海克尔,瑞科 2 蒙迪扎巴尔,奥多里科·马查多 2 朱莉娅·帕德伯格 2 罗德里格斯,莱昂纳多·马尔克斯 1 罗西娅·巴多尔 1 Dalcidio M.克劳迪奥。 1 埃里卡·科塔 1 迪奥戈·拉斐尔·克拉沃 1 多明尼克·杜瓦尔 1 马丁·科尔夫 1 里尔,L.A.S。 1 蒂埃里·勒科姆 1 A.B.洛雷托。 1 迈克尔·J·S·洛。 1 马丁斯·莫雷拉,阿纳玛丽亚 1 阿尔瓦罗·弗雷塔斯·莫雷拉 1 达特罗·何塞修女 1 英格丽德·奈斯 1 奥利维拉,马科斯·威廉·达席尔瓦 1 C·品荷。 1 菲利佩·里斯 1 格列泽戈兹·罗森贝格 1 F.Barden鲁博 1 莱拉·维埃拉·托斯卡尼 全部的 前5名系列 三 理论计算机科学 2 葡萄牙数学 2 计算机程序设计科学 2 计算机科学课堂讲稿 2 程序设计中的逻辑和代数方法杂志 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 应用的分类结构 1 燃烧理论与模型 1 通用计算机科学杂志 1 TEMA公司。Matemática Aplicada e计算趋势 1 理论计算机科学电子笔记 全部的 前5名领域 45 计算机科学(68至XX) 三 总体主题;集合(00-XX) 2 范畴理论;同调代数(18-XX) 2 功能分析(46倍X倍) 1 数值分析(65-XX) 1 经典热力学,传热(80-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 33出版物有被引用152次91文件 引用人▼ 年份▼ AGREE–具有受控嵌入的代数图重写。 Zbl 1321.68327号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;弗雷德里克·普罗斯特;莱拉·里贝罗 19 2015 图变换的展开语义。 Zbl 1115.68093号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里;莱拉·里贝罗 15 2007 代数高级网变换系统。 Zbl 0839.68068号 朱莉娅·帕德伯格;哈特穆特·埃里格;莱拉·里贝罗 15 1995 分布式对象系统的验证。 Zbl 1253.68059号 费尔南多·多蒂。;卢西亚娜·福斯;莱拉·里贝罗;多斯桑托斯。 11 2003 关于(mathcal{M})-粘合剂转化系统中冲突的本质和初始性。 Zbl 1435.68131号 吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi);安德烈亚·科拉迪尼;莱拉·里贝罗 10 2019 PBPO图转换方法。 Zbl 1417.68075号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 8 2019 关于双推挤和半推挤方法平行独立的本质。 Zbl 1383.68042号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;Löwe,迈克尔;莱拉·里贝罗;罗德里戈·马查多;安德烈·科斯塔;吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi);贝泽拉、乔纳斯·桑托斯;罗德里格斯,莱昂纳多·马尔克斯 8 2018 代数图变换的pullback-pushout方法。 Zbl 1425.68156号 安德烈亚·科拉迪尼;多明尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 6 2017 使用图形文法的移动代码系统规范。 Zbl 0968.68100号 费尔南多·路易斯·多蒂;莱拉·里贝罗 5 2000 面向对象图形语法规范的形式化验证。 Zbl 1278.68183号 阿娜·保拉·Lüdtke Ferreira;卢西亚娜·福斯;莱拉·里贝罗 5 2007 将Java代码转换为图形转换系统。 Zbl 1116.68382号 安德烈亚·科拉迪尼;费尔南多·路易斯·多蒂;卢西亚娜·福斯;莱拉·里贝罗 4 2004 面向对象图语法中的派生。 Zbl 1116.68485号 阿娜·保拉·Lüdtke Ferreira;莱拉·里贝罗 4 2004 代数高级网。重新访问Petri网。 Zbl 0941.68643号 哈特穆特·埃里格;朱莉娅·帕德伯格;莱拉·里贝罗 4 1994 使用逻辑方法验证图形语法。 Zbl 1243.68211号 达科斯塔,西蒙·安德烈;莱拉·里贝罗 4 2012 使用数学归纳法对图语法进行形式化验证。 Zbl 1347.68243号 达科斯塔,西蒙·安德烈;莱拉·里贝罗 4 2009 单推出图文法的共反射并发语义。 Zbl 1278.68117号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里;莱拉·里贝罗 三 2003 线性有序图文法及其代数基础。 Zbl 1028.68074号 乌戈·蒙塔纳里;莱拉·里贝罗 三 2002 图重写规则的基于规则的转换:朝向高阶图文法。 Zbl 1328.68103号 罗德里戈·马查多;莱拉·里贝罗;海克尔,瑞科 三 2015 用于图形转换的Verigraph系统。 Zbl 1383.68041号 吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi);贝泽拉、乔纳斯·桑托斯;莱拉·里贝罗;安德烈·科斯塔;罗德里格斯,莱昂纳多·马尔克斯;罗德里戈·马查多 三 2018 图形变换。2006年9月17日至23日在巴西北里奥格兰德河纳塔尔举行的2006年第三届国际燃气轮机会议。诉讼程序。 Zbl 1147.68003号 2 2006 AGREE转换中的并行性。 Zbl 1344.68106号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;弗雷德里克·普罗斯特;莱拉·里贝罗 2 2016 具有属性和负应用条件的定理证明图文法。 Zbl 1371.68139号 达科斯塔·卡瓦莱罗,西蒙·安德烈;卢西亚娜·福斯;莱拉·里贝罗 2 2017 用于开发基于对象的并发系统的正式框架。 Zbl 1075.68621号 莱拉·里贝罗;费尔南多·路易斯·多蒂;罗西娅·巴多尔 2 2005 关于冲突的本质和初始性。 Zbl 1394.68195号 吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi);安德烈亚·科拉迪尼;莱拉·里贝罗 2 2018 AspectJ中建议和原始类型的交互。 Zbl 1217.68056号 F.Barden鲁博;R.马查多。;阿尔瓦罗·弗雷塔斯·莫雷拉;里贝罗。;D.J.奈斯。 1 2008 交互式系统规范的依赖图转换。 Zbl 1253.68192号 安德烈亚·科拉迪尼;卢西亚娜·福斯;莱拉·里贝罗 1 2009 面向对象的图和语法。 Zbl 1253.68086号 阿娜·保拉·Lüdtke Ferreira;莱拉·里贝罗 1 2003 基于形式化方法的用例分析:一项实证研究。 Zbl 1472.68196号 马科斯·奥利维拉;莱拉·里贝罗;埃里卡·科塔;卢西奥·毛罗·杜阿尔特;英格丽德·奈斯;雷斯·菲利佩 1 2015 控制嵌入的代数图重写。 Zbl 1436.68155号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 1 2020 图重写中事务的概念。 Zbl 1283.68182号 鲍尔丹,P。;科拉迪尼,A。;多蒂,F.L。;福斯,L。;F.加杜奇。;里贝罗。 1 2008 基于随机对象的图语法。 Zbl 1279.68117号 蒙迪扎巴尔,奥多里科·M·。;费尔南多·多蒂。;莱拉·里贝罗 1 2007 图文法可达状态上属性的规范模式。 Zbl 1372.68180号 达科斯塔·卡瓦莱罗,西蒙·安德烈;卢西亚娜·福斯;莱拉·里贝罗 1 2012 从源代码中提取图形语法。 Zbl 1498.68130号 卢西奥·毛罗·杜阿尔特;莱拉·里贝罗 1 2017 控制嵌入的代数图重写。 Zbl 1436.68155号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 1 2020 关于(mathcal{M})-粘合剂转化系统中冲突的本质和初始性。 Zbl 1435.68131号 吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi);安德烈亚·科拉迪尼;莱拉·里贝罗 10 2019 PBPO图转换方法。 Zbl 1417.68075号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 8 2019 关于双推挤和半推挤方法平行独立的本质。 Zbl 1383.68042号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;Löwe,迈克尔;莱拉·里贝罗;罗德里戈·马查多;安德烈·科斯塔;吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi);贝泽拉、乔纳斯·桑托斯;罗德里格斯,莱昂纳多·马尔克斯 8 2018 用于图形转换的Verigraph系统。 Zbl 1383.68041号 吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi);贝泽拉、乔纳斯·桑托斯;莱拉·里贝罗;安德烈·科斯塔;罗德里格斯,莱昂纳多·马尔克斯;罗德里戈·马查多 三 2018 关于冲突的本质和初始性。 Zbl 1394.68195号 吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi);安德烈亚·科拉迪尼;莱拉·里贝罗 2 2018 代数图变换的pullback-pushout方法。 兹比尔1425.68156 安德烈亚·科拉迪尼;多明尼克·杜瓦尔;瑞希德·埃哈希德;普罗斯特、弗雷德里克;莱拉·里贝罗 6 2017 具有属性和负应用条件的定理证明图文法。 Zbl 1371.68139号 达科斯塔·卡瓦莱罗,西蒙·安德烈;卢西亚娜·福斯;莱拉·里贝罗 2 2017 从源代码中提取图形语法。 Zbl 1498.68130号 卢西奥·毛罗·杜阿尔特;莱拉·里贝罗 1 2017 AGREE转换中的并行性。 兹比尔1344.68106 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;弗雷德里克·普罗斯特;莱拉·里贝罗 2 2016 AGREE–带受控嵌入的代数图重写。 Zbl 1321.68327号 安德烈亚·科拉迪尼;多米尼克·杜瓦尔;瑞希德·埃哈希德;弗雷德里克·普罗斯特;莱拉·里贝罗 19 2015 图重写规则的基于规则的转换:朝向高阶图文法。 Zbl 1328.68103号 罗德里戈·马查多;莱拉·里贝罗;海克尔,瑞科 三 2015 基于形式化方法的用例分析:一项实证研究。 Zbl 1472.68196号 马科斯·奥利维拉;莱拉·里贝罗;埃里卡·科塔;卢西奥·毛罗·杜阿尔特;英格丽德·奈斯;菲利佩·里斯 1 2015 使用逻辑方法验证图形语法。 Zbl 1243.68211号 达科斯塔,西蒙·安德烈;莱拉·里贝罗 4 2012 图文法可达状态上属性的规范模式。 Zbl 1372.68180号 达科斯塔·卡瓦莱罗,西蒙·安德烈;卢西亚娜·福斯;莱拉·里贝罗 1 2012 使用数学归纳法对图形文法进行形式验证。 Zbl 1347.68243号 达科斯塔,西蒙·安德烈;莱拉·里贝罗 4 2009 交互式系统规范的依赖图转换。 Zbl 1253.68192号 安德烈亚·科拉迪尼;卢西亚娜·福斯;莱拉·里贝罗 1 2009 AspectJ中建议和原始类型的交互。 Zbl 1217.68056号 F.Barden鲁博;R.马查多。;阿尔瓦罗·弗雷塔斯·莫雷拉;里贝罗。;D.J.奈斯。 1 2008 图重写中事务的概念。 Zbl 1283.68182号 鲍尔丹,P。;科拉迪尼,A。;多蒂,F.L。;福斯,L。;加杜奇,F。;里贝罗。 1 2008 图变换的展开语义。 Zbl 1115.68093号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里;莱拉·里贝罗 15 2007 面向对象图形语法规范的形式化验证。 Zbl 1278.68183号 阿娜·保拉·Lüdtke Ferreira;卢西亚娜·福斯;莱拉·里贝罗 5 2007 基于随机对象的图语法。 Zbl 1279.68117号 蒙迪扎巴尔,奥多里科·M·。;费尔南多·多蒂。;莱拉·里贝罗 1 2007 图形变换。2006年9月17日至23日在巴西北里奥格兰德河纳塔尔举行的2006年第三届国际燃气轮机会议。诉讼程序。 Zbl 1147.68003号 2 2006 用于开发并发的基于对象的系统的正式框架。 Zbl 1075.68621号 莱拉·里贝罗;费尔南多·路易斯·多蒂;罗西娅·巴多尔 2 2005 将Java代码转换为图形转换系统。 Zbl 1116.68382号 安德烈亚·科拉迪尼;费尔南多·路易斯·多蒂;卢西亚娜·福斯;莱拉·里贝罗 4 2004 面向对象图形文法中的派生。 Zbl 1116.68485号 阿娜·保拉·Lüdtke Ferreira;莱拉·里贝罗 4 2004 分布式对象系统的验证。 Zbl 1253.68059号 费尔南多·多蒂。;卢西亚娜·福斯;莱拉·里贝罗;多斯桑托斯。 11 2003 单推出图文法的共反射并发语义。 Zbl 1278.68117号 保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里;莱拉·里贝罗 三 2003 面向对象的图形和语法。 Zbl 1253.68086号 阿娜·保拉·Lüdtke Ferreira;莱拉·里贝罗 1 2003 线性有序图文法及其代数基础。 Zbl 1028.68074号 乌戈·蒙塔纳里;莱拉·里贝罗 三 2002 使用图形文法的移动代码系统规范。 Zbl 0968.68100号 费尔南多·路易斯·多蒂;莱拉·里贝罗 5 2000 代数高级网变换系统。 Zbl 0839.68068号 朱莉娅·帕德伯格;哈特穆特·埃里格;莱拉·里贝罗 15 1995 代数高级网。重新访问Petri网。 Zbl 0941.68643号 哈特穆特·埃里格;朱莉娅·帕德伯格;莱拉·里贝罗 4 1994 所有引用出版物 前5名被引用出版物 全部的 前5名被100位作者引用 20 莱拉·里贝罗 15 安德烈亚·科拉迪尼 10 哈特穆特·埃里格 8 保罗·巴尔丹 8 巴巴拉·科尼格 6 瑞希德·埃哈希德 6 费尔南多·奥雷贾斯 5 尼古拉斯·贝尔 5 费尔南多·路易斯·多蒂 5 卢西亚娜·福斯 5 海克尔,瑞科 5 莱恩·兰伯斯 5 朱莉娅·帕德伯格 5 加布里埃尔·坦泽尔 4 多米尼克·杜瓦尔 4 约尔格恩德鲁利斯 4 法比奥·加杜奇 4 Overbeek,罗伊 4 普罗斯特、弗雷德里克 4 巴布亚州索波辛斯基 三 Tour男孩,蒂埃里 三 迈克尔·J·S·洛。 三 乌尔里克·普兰奇 2 罗西娅·巴多尔 2 克里斯托弗·布朗 2 大卫·卡斯特尔诺沃 2 托马斯·查泰恩 2 达科斯塔·卡瓦莱罗,西蒙·安德烈 2 达科斯塔,西蒙·安德烈 2 胡安·德·拉腊 2 詹姆斯·P·费尔班克斯。 2 玛丽贝尔·费尔南德斯 2 斯特凡·哈尔 2 汉克斯,泰勒 2 哈默(Russ Harmer) 2 托拜厄斯·海因德尔 2 赫莱内·基什内尔 2 延斯·科索尔 2 汉斯·约尔格·克鲁斯基 2 吉恩·克里文 2 刘志明 2 罗德里戈·马查多 2 马里诺·米库兰 2 埃文·帕特森 2 布鲁诺·皮诺 2 丰满,细节 2 阿洛依斯·罗塞特 2 Maryam Ghaffari萨达特 2 王淑玲 2 赵亮 1 萨迪亚·阿尔巴内 1 吉尔赫梅·格罗肖·阿兹(Guilherme Grochau Azzi) 1 亚历克斯·贝泰 1 菲利波·邦奇 1 克里斯托弗出生 1 罗伯托·布鲁尼 1 迪奥戈·拉斐尔·克拉沃 1 奥斯马·马奇·多斯桑托斯 1 穆纳乔·埃切宁 1 卡斯滕·埃里格 1 格雷戈·恩格斯 1 克劳迪娅·埃尔梅尔 1 弗里奇,拉尔斯 1 卡斯滕·加布里埃尔 1 罗伯特·盖斯勒 1 乌尔里克·戈拉斯 1 安妮格雷特·哈贝尔 1 凯瑟琳·霍夫曼 1 Jean-Pierre Jouannaud 1 柯伟 1 哈马马切·卡杜奇 1 基辛格,亚历克斯 1 马库斯·克拉尔 1 哈拉尔德·科尼格 1 马丁·科尔夫 1 维塔利·科齐奥拉 1 萨宾·库斯克 1 阿娜·保拉·Lüdtke Ferreira 1 伯恩德·马赫 1 达米亚诺·马扎 1 蒙迪扎巴尔,奥多里科·马查多 1 何塞·梅塞盖尔·瓜伊塔 1 迈赫迪·姆哈拉 1 乌戈·蒙塔纳里。 1 Peter Csaba,Olveczky 1 奥坎Özkan 1 法比奥·帕西尼 1 尼古拉斯·佩尔蒂埃 1 瓦希德·拉夫 1 阿德尔·拉赫曼尼(Adel T.Rahmani)。 1 弗拉迪米罗·萨松 1 克里斯托夫·舒尔茨 1 安迪·舒尔 1 哈切姆·斯利马尼 1 罗伯特·索尔德纳 1 马克·奥利弗·斯特尔 1 马丁·斯特雷克 1 丹尼尔·斯特吕贝尔 1 詹斯·韦伯 1 法比奥·扎纳西 全部的 前5名12篇连载文章中引用 11 理论计算机科学 10 程序设计中的逻辑和代数方法杂志 5 MSCS公司。计算机科学中的数学结构 三 信息与计算 2 计算机程序设计科学 1 符号计算杂志 1 应用的分类结构 1 逻辑与代数程序设计杂志 1 浙江大学学报。科学A 1 计算机科学中的逻辑方法 1 计算机科学前沿 1 计算机科学评论 全部的 前5名在6个字段中引用 91 计算机科学(68至XX) 17 范畴理论;同调代数(18-XX) 2 总体主题;集合(00-XX) 2 历史和传记(01-XX) 2 组合数学(05-XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文