编辑配置文件（在新选项卡中打开） 内尔玛·莫雷拉 合著者距离 作者ID： 莫雷拉·奈尔玛 发布日期： 内尔玛·莫雷拉 外部链接： MGP公司 已编制索引的文档： 74出版物自2005年以来 作为编辑的10份贡献 合著者： 49位合著者具有84联合出版物 1057联合作者 全部的 前5名合著者 0 单作者的 71 罗杰里奥·里斯 26 萨宾·布罗达 25 安东尼奥·马基雅维罗 14 斯塔夫罗斯·康斯坦蒂尼迪斯 9 阿尔梅达（Marco P.Almeida）。 8 伊娃·玛亚 4 何塞·巴塞拉尔·阿尔梅达 4 戴维·佩雷拉（David P.Pereira）。 三 Ruy JoséGuerra Barretto De Queiroz 三 马库斯·霍尔泽 三 马丁·库特里布 三 梅洛·德·索萨，西蒙 三 乔瓦尼·皮奇奇尼 三 拉莫斯、马库斯·维尼修斯·米德纳 2 特洛伊·凯欣·阿斯塔特 2 拉斐拉·巴斯托斯 2 安东尼奥·塞隆 2 路易斯·库托。 2 大卫·德尔马斯 2 布里杰什·多戈尔 2 玛丽·法雷尔 2 劳雷·贡诺德 2 里卡多·吉多蒂 2 布鲁诺·洛夫 2 马特·勒克库克 2 迭戈·马姆斯勒 2 米贾·马斯特纳克 2 凯西·梅杰尔 2 佩德罗·蒙泰罗。 2 何塞·努诺·奥利维拉 2 丹尼尔·拉提乌 2 埃米尔·塞克林斯基 2 约书亚·杨 1 里卡多·阿尔梅达 1 杰森·贝尔。 1 布尔佐夫斯基，Janusz Antoni 1 塞扎尔·坎帕努 1 西尔维亚卡瓦达斯 1 路易斯·达马斯 1 米盖尔·菲尔盖拉斯 1 高，袁 1 何塞·乔昂·莫利斯 1 戴维·纳拜斯 1 尤格尼奥·奥利维拉 1 若昂·皮雷斯 1 雷斯·罗热斯里奥 1 杰弗里·奥特洛·沙利特 1 Tomás、Ana Paula 1 于盛 全部的 前5名系列 8 国际计算机科学基础杂志 6 理论计算机科学 6 自动机、语言和组合数学杂志 6 计算机科学课堂讲稿 4 信息与计算 三 RAIRO公司。理论信息学及其应用 2 计算机基础理论 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 计算机与系统科学杂志 1 欧洲理论计算机科学协会公报 1 整数序列期刊 1 形式化推理杂志 全部的 前5名领域 84 计算机科学（68至XX） 10 总体主题；集合（00-XX） 2 数学逻辑和基础（03-XX） 2 信息与通信理论、电路（94-XX） 1 组合数学（05-XX） 1 数论（11-XX） 1 群论与推广（20-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 65出版物有被引用260中的次145文件 引用人▼ 年份▼ 操作状态复杂性调查。 Zbl 1380.68253号 高，袁；内尔玛·莫雷拉；罗杰里奥·里斯；于盛 42 2016 使用字符串自动机表示进行枚举和生成。 Zbl 1143.68031号 马尔科·阿尔梅达；内尔玛·莫雷拉；罗杰里奥·里斯 18 2007 关于Glushkov和偏导数自动机的平均大小。 Zbl 1262.68085号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 16 2012 偏导数自动机的平均状态复杂度：一种分析组合方法。 Zbl 1252.68166号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 14 2011 带有shuffle的正则表达式的自动机。 Zbl 1390.68378号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 10 2018 通过分析组合学描述复杂性的搭便车指南。 Zbl 1308.68070号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 8 2014 半扩展表达式偏导数自动机的平均复杂度。 Zbl 1390.68373号 拉斐拉·巴斯托斯；萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 8 2017 强星形范式中正则表达式的平均行为。 Zbl 1427.68138号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 7 2019 测试正则语言的等价性。 Zbl 1345.68194号 马尔科·阿尔梅达；内尔玛·莫雷拉；罗杰里奥·里斯 7 2010 一个自动机网格。 Zbl 1430.68140号 萨宾·布罗达；马库斯·霍尔泽；伊娃·玛亚；内尔玛·莫雷拉；罗杰里奥·里斯 6 2019 关于KAT表达式的Glushkov和方程自动机的平均大小。 Zbl 1351.68136号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 5 2013 安蒂米洛夫和莫塞斯的重写系统被重新审视。 Zbl 1191.68357号 马尔科·阿尔梅达；内尔玛·莫雷拉；罗杰里奥·里斯 5 2009 正则表达式自动机构造的平均大小。 Zbl 1409.68153号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 5 2015 常规语言的操作转换复杂性不完整。 Zbl 1329.68165号 伊娃·玛亚；内尔玛·莫雷拉；罗杰里奥·里斯 5 2015 确定Coq中正则表达式（in-）的等价性。 Zbl 1330.68265号 内尔玛·莫雷拉；大卫·佩雷拉；梅洛·德·索萨，西蒙 4 2012 Coq中形式化的偏导数自动机。 Zbl 1297.68214号 何塞·巴塞拉尔·阿尔梅达；内尔玛·莫雷拉；大卫·佩雷拉；德索萨，西蒙·梅洛 4 2011 布尔运算的对称群和商复杂性。 Zbl 1409.68151号 杰森·贝尔；贾努斯·布尔佐夫斯基；内尔玛·莫雷拉；罗杰里奥·里斯 4 2014 Coq中Kleene代数项等价性的判定。 Zbl 1329.68232号 内尔玛·莫雷拉；大卫·佩雷拉；梅洛·德·索萨，西蒙 4 2015 带有洗牌的正则表达式的偏导数自动机。 Zbl 1390.68377号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 4 2015 带洗牌的表达式的基于位置的自动机。 Zbl 07405976号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 三 2021 关于表示有限集划分的语言的密度。 Zbl 1064.05017号 内尔玛·莫雷拉；罗杰里奥·里斯 三 2005 一些基本操作的不完全转换复杂性。 Zbl 1303.68081号 伊娃·玛亚；内尔玛·莫雷拉；罗杰里奥·里斯 三 2013 Glushkov和偏导数自动机的平均转换复杂度。 Zbl 1221.68116号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 三 2011 偏导数换能器的平均状态复杂度。 Zbl 1440.68156号 斯塔夫罗斯·康斯坦蒂尼迪斯；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 三 2020 关于无语境语言理论的一些结果的形式化。 Zbl 1478.68133号 拉莫斯、马库斯·维尼修斯·米德纳；de Queiroz，Ruy J.G.B。；内尔玛·莫雷拉；何塞·卡洛斯·巴塞拉·阿尔梅达 三 2016 用导数判定同步Kleene代数。 Zbl 1465.68192号 萨宾·布罗达；西尔维亚卡瓦达斯；米盖尔·费雷拉；内尔玛·莫雷拉 三 2015 前缀和右偏导数自动机。 Zbl 1459.68106号 伊娃·玛亚；内尔玛·莫雷拉；罗杰里奥·里斯 三 2015 具有部分指定行为的自动机的最优状态约简。 Zbl 1355.68167号 内尔玛·莫雷拉；乔瓦尼·皮奇奇尼；罗杰里奥·里斯 三 2017 通过压缩正则表达式实现的偏导数自动机。 Zbl 07614745号 斯塔夫罗斯·康斯坦蒂尼迪斯；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 2 2021 具有易于查找的短正则表达式的非循环自动机。 Zbl 1172.68520号 何塞·乔昂·莫利斯；内尔玛·莫雷拉；罗杰里奥·里斯 2 2006 增量DFA最小化。 Zbl 1297.68103号 马尔科·阿尔梅达；内尔玛·莫雷拉；罗杰里奥·里斯 2 2011 增量DFA最小化。 Zbl 1366.68132号 马尔科·阿尔梅达；内尔玛·莫雷拉；罗杰里奥·里斯 2 2014 串行并行自动机和短正则表达式。 兹比尔1194.68144 内尔玛·莫雷拉；罗杰里奥·里斯 2 2009 最小非循环确定性有限自动机的精确生成。 Zbl 1156.68029号 马尔科·阿尔梅达；内尔玛·莫雷拉；罗杰里奥·里斯 2 2008 字母-变量和用户定义标签上的正则表达式和转换器。 Zbl 1474.68176号 斯塔夫罗斯·康斯坦蒂尼迪斯；内尔玛·莫雷拉；罗杰里奥·里斯；约书亚·杨 2 2020 用导数确定KAT和Hoare逻辑。 Zbl 1459.68040号 里卡多·阿尔梅达；萨宾·布罗达；内尔玛·莫雷拉 2 2012 字母变量和用户定义标签上正则表达式的偏导数。 Zbl 1504.68106号 斯塔夫罗斯·康斯坦蒂尼迪斯；内尔玛·莫雷拉；罗杰里奥·里斯 2 2021 字母变量和用户定义标签上正则表达式的偏导数。 Zbl 1434.68271号 斯塔夫罗斯·康斯坦蒂尼迪斯；内尔玛·莫雷拉；若昂·皮雷斯；罗杰里奥·里斯 2 2019 半扩展表达式的位置自动机。 Zbl 1397.68114号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 2 2018 关于KAT表达式自动机的等价性。 Zbl 1432.68218号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 2 2014 解析表达式语法的计算能力。 Zbl 1444.68087号 布鲁诺·洛夫；内尔玛·莫雷拉；罗杰里奥·里斯 2 2018 自动机之母：位置自动机。 Zbl 1494.68130号 萨宾·布罗达；马库斯·霍尔泽；伊娃·玛亚；内尔玛·莫雷拉；罗杰里奥·里斯 2 2017 使用自动机和传感器随机生成错误控制代码。 Zbl 1423.68260号 斯塔夫罗斯·康斯坦蒂尼迪斯；内尔玛·莫雷拉；罗杰里奥·里斯 2 2018 带交集的正则表达式的位置自动机构造。 兹比尔1436.68163 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 2 2016 区分操作和关闭。 Zbl 1373.68278号 塞扎尔·坎帕努；内尔玛·莫雷拉；罗杰里奥·里斯 2 2016 关于偏导数的大小和词的隶属度问题。 Zbl 1520.68060号 斯塔夫罗斯·康斯坦蒂尼迪斯；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 2 2021 前缀自动机。 Zbl 1517.68176号 萨宾·布罗达；伊娃·玛亚；内尔玛·莫雷拉；罗杰里奥·里斯 2 2021 同步洗牌表达式的位置自动机。 Zbl 07665438号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 2 2023 偏导数和位置双相似自动机。 Zbl 1302.68171号 伊娃·玛亚；内尔玛·莫雷拉；罗杰里奥·里斯 1 2014 有限自动机最小化。 兹比尔1304.68090 马尔科·阿尔梅达；内尔玛·莫雷拉；罗杰里奥·里斯 1 2013 自动机的实现和应用。2012年7月17日至20日，第17届国际会议，CIAA 2012，葡萄牙波尔图。诉讼程序。 Zbl 1246.68050号 1 2012 有限语言上基本操作的不完全转换复杂性。 Zbl 1298.68148号 伊娃·玛亚；内尔玛·莫雷拉；罗杰里奥·里斯 1 2013 BDI代理中情绪的正式建模。 Zbl 1175.68462号 大卫·佩雷拉；尤格尼奥·奥利维拉；内尔玛·莫雷拉 1 2009 关于偏导数自动机的平均状态数。 Zbl 1250.68149号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 1 2010 代码属性的符号操作。 Zbl 1396.68067号 斯塔夫罗斯·康斯坦蒂尼迪斯；凯西·梅杰尔；内尔玛·莫雷拉；罗杰里奥·里斯 1 2018 具有部分指定行为的自动机的最优状态约简。 Zbl 1432.68235号 内尔玛·莫雷拉；乔瓦尼·皮奇奇尼；罗杰里奥·里斯 1 2015 解析表达式语法的计算能力。 Zbl 1432.68211号 布鲁诺·洛夫；内尔玛·莫雷拉；罗杰里奥·里斯 1 2020 测试正则语言的等价性。 Zbl 1456.68076号 马尔科·阿尔梅达；内尔玛·莫雷拉；罗杰里奥·里斯 1 2009 强星范式的平均复杂性。 Zbl 1426.68138号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 1 2017 通用析取级联和星形。 Zbl 1432.68236号 内尔玛·莫雷拉；乔瓦尼·皮奇奇尼；罗杰里奥·里斯 1 2015 理论在计算机科学中的作用。专为Janusz Brzozowski撰写的论文。 兹比尔1370.68007 1 2017 关于带交正则表达式的偏导数自动机的状态复杂度。 Zbl 1476.68125号 拉斐拉·巴斯托斯；萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 1 2016 通过传感器实现代码属性。 Zbl 1475.68160号 斯塔夫罗斯·康斯坦蒂尼迪斯；凯西·梅杰尔；内尔玛·莫雷拉；罗杰里奥·里斯 1 2016 字母-变量和用户定义标签上的正则表达式和转换器。 Zbl 1458.68103号 斯塔夫罗斯·康斯坦蒂尼迪斯；内尔玛·莫雷拉；罗杰里奥·里斯；约书亚·杨 1 2018 信息论推动的近似NFA普遍性。 Zbl 07643469号 斯塔夫罗斯·康斯坦蒂尼迪斯；米贾·马斯特纳克；内尔玛·莫雷拉；罗杰里奥·里斯 1 2022 同步洗牌表达式的位置自动机。 兹伯利07665438 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 2 2023 信息论推动的近似NFA普遍性。 Zbl 07643469号 斯塔夫罗斯·康斯坦蒂尼迪斯；米贾·马斯特纳克；内尔玛·莫雷拉；罗杰里奥·里斯 1 2022 带洗牌的表达式的基于位置的自动机。 Zbl 07405976号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 三 2021 通过压缩正则表达式实现偏导数自动机。 Zbl 07614745号 斯塔夫罗斯·康斯坦蒂尼迪斯；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 2 2021 字母变量和用户定义标签上正则表达式的偏导数。 Zbl 1504.68106号 斯塔夫罗斯·康斯坦蒂尼迪斯；内尔玛·莫雷拉；罗杰里奥·里斯 2 2021 关于偏导数的大小和词的隶属度问题。 Zbl 1520.68060号 斯塔夫罗斯·康斯坦蒂尼迪斯；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 2 2021 前缀自动机。 Zbl 1517.68176号 萨宾·布罗达；伊娃·玛亚；内尔玛·莫雷拉；罗杰里奥·里斯 2 2021 偏导数换能器的平均状态复杂度。 兹比尔1440.68156 斯塔夫罗斯·康斯坦蒂尼迪斯；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 三 2020 字母-变量和用户定义标签上的正则表达式和转换器。 Zbl 1474.68176号 斯塔夫罗斯·康斯坦蒂尼迪斯；内尔玛·莫雷拉；罗杰里奥·里斯；约书亚·杨 2 2020 解析表达式语法的计算能力。 Zbl 1432.68211号 布鲁诺·洛夫；内尔玛·莫雷拉；罗杰里奥·里斯 1 2020 强星形范式中正则表达式的平均行为。 Zbl 1427.68138号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 7 2019 一个自动机网格。 Zbl 1430.68140号 萨宾·布罗达；马库斯·霍尔泽；伊娃·玛亚；内尔玛·莫雷拉；罗杰里奥·里斯 6 2019 字母变量和用户定义标签上正则表达式的偏导数。 Zbl 1434.68271号 斯塔夫罗斯·康斯坦蒂尼迪斯；内尔玛·莫雷拉；若昂·皮雷斯；罗杰里奥·里斯 2 2019 带有shuffle的正则表达式的自动机。 Zbl 1390.68378号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 10 2018 半扩展表达式的位置自动机。 Zbl 1397.68114号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 2 2018 解析表达式语法的计算能力。 Zbl 1444.68087号 布鲁诺·洛夫；内尔玛·莫雷拉；罗杰里奥·里斯 2 2018 使用自动机和传感器随机生成错误控制代码。 Zbl 1423.68260号 斯塔夫罗斯·康斯坦蒂尼迪斯；内尔玛·莫雷拉；罗杰里奥·里斯 2 2018 代码属性的符号操作。 Zbl 1396.68067号 斯塔夫罗斯·康斯坦蒂尼迪斯；凯西·梅杰尔；内尔玛·莫雷拉；罗杰里奥·里斯 1 2018 字母-变量和用户定义标签上的正则表达式和转换器。 Zbl 1458.68103号 斯塔夫罗斯·康斯坦蒂尼迪斯；内尔玛·莫雷拉；罗杰里奥·里斯；约书亚·杨 1 2018 关于半扩展表达式的偏导数自动机的平均复杂度。 Zbl 1390.68373号 拉斐拉·巴斯托斯；萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 8 2017 具有部分指定行为的自动机的最优状态约简。 Zbl 1355.68167号 内尔玛·莫雷拉；乔瓦尼·皮奇奇尼；罗杰里奥·里斯 三 2017 自动机之母：位置自动机。 Zbl 1494.68130号 萨宾·布罗达；马库斯·霍尔泽；伊娃·玛亚；内尔玛·莫雷拉；罗杰里奥·里斯 2 2017 强星范式的平均复杂性。 Zbl 1426.68138号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 1 2017 理论在计算机科学中的作用。专为Janusz Brzozowski撰写的论文。 Zbl 1370.68007号 1 2017 关于操作状态复杂性的调查。 Zbl 1380.68253号 高，袁；内尔玛·莫雷拉；罗杰里奥·里斯；于盛 42 2016 关于无语境语言理论的一些结果的形式化。 Zbl 1478.68133号 拉莫斯、马库斯·维尼修斯·米德纳；de Queiroz，Ruy J.G.B。；内尔玛·莫雷拉；何塞·卡洛斯·巴塞拉·阿尔梅达 三 2016 带交集的正则表达式的位置自动机构造。 Zbl 1436.68163号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 2 2016 区分操作和关闭。 Zbl 1373.68278号 塞扎尔·坎帕努；内尔玛·莫雷拉；罗杰里奥·里斯 2 2016 关于带交正则表达式的偏导数自动机的状态复杂度。 Zbl 1476.68125号 拉斐拉·巴斯托斯；萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 1 2016 通过转换器实现代码属性。 Zbl 1475.68160号 斯塔夫罗斯·康斯坦蒂尼迪斯；凯西·梅杰尔；内尔玛·莫雷拉；罗杰里奥·里斯 1 2016 正则表达式自动机构造的平均大小。 Zbl 1409.68153号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 5 2015 常规语言的操作转换复杂性不完整。 Zbl 1329.68165号 伊娃·玛亚；内尔玛·莫雷拉；罗杰里奥·里斯 5 2015 Coq中Kleene代数项等价性的判定。 Zbl 1329.68232号 内尔玛·莫雷拉；大卫·佩雷拉；梅洛·德·索萨，西蒙 4 2015 带有洗牌的正则表达式的偏导数自动机。 Zbl 1390.68377号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 4 2015 用导数判定同步Kleene代数。 Zbl 1465.68192号 萨宾·布罗达；西尔维亚卡瓦达斯；米盖尔·费雷拉；内尔玛·莫雷拉 三 2015 前缀和右偏导数自动机。 Zbl 1459.68106号 伊娃·玛亚；内尔玛·莫雷拉；罗杰里奥·里斯 三 2015 具有部分指定行为的自动机的最优状态约简。 Zbl 1432.68235号 内尔玛·莫雷拉；乔瓦尼·皮奇奇尼；罗杰里奥·里斯 1 2015 通用析取级联和星形。 Zbl 1432.68236号 内尔玛·莫雷拉；乔瓦尼·皮奇奇尼；罗杰里奥·里斯 1 2015 搭便车的指南，通过分析组合学描述复杂性。 Zbl 1308.68070号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 8 2014 布尔运算的对称群和商复杂性。 Zbl 1409.68151号 杰森·贝尔；贾努斯·布尔佐夫斯基；内尔玛·莫雷拉；罗杰里奥·里斯 4 2014 增量DFA最小化。 Zbl 1366.68132号 马尔科·阿尔梅达；内尔玛·莫雷拉；罗杰里奥·里斯 2 2014 关于KAT表达式自动机的等价性。 兹比尔1432.68218 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 2 2014 偏导数和位置双相似自动机。 Zbl 1302.68171号 伊娃·玛亚；内尔玛·莫雷拉；罗杰里奥·里斯 1 2014 关于KAT表达式的Glushkov和方程自动机的平均大小。 Zbl 1351.68136号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 5 2013 一些基本操作的不完全转换复杂性。 Zbl 1303.68081号 伊娃·玛亚；内尔玛·莫雷拉；罗杰里奥·里斯 三 2013 有限自动机最小化。 Zbl 1304.68090号 马尔科·阿尔梅达；内尔玛·莫雷拉；罗杰里奥·里斯 1 2013 有限语言上基本操作的不完全转换复杂性。 兹比尔1298.68148 伊娃·玛亚；内尔玛·莫雷拉；罗杰里奥·里斯 1 2013 关于Glushkov和偏导数自动机的平均大小。 Zbl 1262.68085号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 16 2012 确定Coq中正则表达式（in-）的等价性。 Zbl 1330.68265号 内尔玛·莫雷拉；大卫·佩雷拉；梅洛·德·索萨，西蒙 4 2012 用导数确定KAT和Hoare逻辑。 Zbl 1459.68040号 里卡多·阿尔梅达；萨宾·布罗达；内尔玛·莫雷拉 2 2012 自动机的实现和应用。2012年7月17日至20日，第17届国际会议，CIAA 2012，葡萄牙波尔图。诉讼程序。 Zbl 1246.68050号 1 2012 偏导数自动机的平均状态复杂度：一种分析组合方法。 Zbl 1252.68166号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 14 2011 Coq中形式化的偏导数自动机。 Zbl 1297.68214号 JoséBacelar，阿尔梅达；内尔玛·莫雷拉；大卫·佩雷拉；圣梅洛·德索萨 4 2011 Glushkov和偏导数自动机的平均转移复杂度。 Zbl 1221.68116号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 三 2011 增量DFA最小化。 Zbl 1297.68103号 马尔科·阿尔梅达；内尔玛·莫雷拉；罗杰里奥·里斯 2 2011 测试正则语言的等价性。 Zbl 1345.68194号 马尔科·阿尔梅达；内尔玛·莫雷拉；罗杰里奥·里斯 7 2010 关于偏导数自动机的平均状态数。 Zbl 1250.68149号 萨宾·布罗达；安东尼奥·马基雅维罗；内尔玛·莫雷拉；罗杰里奥·里斯 1 2010 安蒂米洛夫和莫塞斯的重写系统被重新审视。 兹比尔1191.68357 马尔科·阿尔梅达；内尔玛·莫雷拉；罗杰里奥·里斯 5 2009 串行并行自动机和短正则表达式。 Zbl 1194.68144号 内尔玛·莫雷拉；罗杰里奥·里斯 2 2009 BDI代理中情绪的正式建模。 Zbl 1175.68462号 大卫·佩雷拉；尤格尼奥·奥利维拉；内尔玛·莫雷拉 1 2009 测试正则语言的等价性。 Zbl 1456.68076号 马尔科·阿尔梅达；内尔玛·莫雷拉；罗杰里奥·里斯 1 2009 最小非循环确定性有限自动机的精确生成。 Zbl 1156.68029号 马尔科·阿尔梅达；内尔玛·莫雷拉；罗杰里奥·里斯 2 2008 使用字符串自动机表示的枚举和生成。 Zbl 1143.68031号 马尔科·阿尔梅达；内尔玛·莫雷拉；罗杰里奥·里斯 18 2007 具有易于查找的短正则表达式的非循环自动机。 Zbl 1172.68520号 何塞·乔昂·莫利斯；内尔玛·莫雷拉；罗杰里奥·里斯 2 2006 关于表示有限集划分的语言的密度。 Zbl 1064.05017号 内尔玛·莫雷拉；罗杰里奥·里斯 三 2005 所有引用的出版物 前5名被引用出版物 全部的 前5名161位作者引用 36 内尔玛·莫雷拉 31 罗杰里奥·里斯 15 安东尼奥·马基雅维罗 14 萨宾·布罗达 11 斯特凡·霍夫曼 9 马库斯·霍尔泽 9 斯塔夫罗斯·康斯坦蒂尼迪斯 7 马丁·库特里布 6 布尔佐夫斯基，Janusz Antoni 6 赫尔曼·格鲁伯 6 Jean-Gabriel卢克 6 西里尔·尼科德 5 卡隆，帕斯卡 5 尤尔根·达索 5 巴勃罗·罗通多 4 阿尔梅达（Marco P.Almeida）。 4 埃德温·哈梅尔·德勒（Edwin Hamel-De Le Court） 4 科希林，佛罗伦萨 4 伊娃·玛亚 4 安德烈亚斯·马尔彻 三 西尔维·戴维斯 三 Han、Yo-Sub 三 卡里、莉拉 三 梅洛·德·索萨，西蒙 三 蒂莫西·吴 三 布鲁诺·帕特鲁 三 戴维·佩雷拉（David P.Pereira）。 三 马蒂亚斯·温德兰特 2 何塞·巴塞拉尔·阿尔梅达 2 巴博萨、路易斯·索亚雷斯 2 马丁·伯格伦德 2 约翰娜·比约克隆德 2 保罗·布鲁内特 2 文森特·卡尼诺 2 桑卡迪普查克拉波蒂 2 Cheon、Hyunjoon 2 魏恩根·钦 2 洛克·杰拉德·克利奥帕斯 2 斯文·德·费利塞 2 维利亚姆·格弗特 2 莱安德罗·戈麦斯（Leandro G.Gomes）。 2 罗伯托·格罗西 2 弗拉基米尔·瓦列尔埃维奇·古塞夫 2 迈克尔·霍斯波达尔 2 塞巴斯蒂安·雅各比 2 吉拉斯科娃，加利纳 2 托比亚斯·卡佩 2 巴斯·卢提克 2 亚历山大·马德拉 2 米贾·马斯特纳克 2 卡洛·梅雷盖蒂 2 彼得·姆林纳奇克 2 比阿特丽斯·帕拉诺 2 多米尼克州巴利什诺娃 2 乔瓦尼·皮奇奇尼 2 克里斯蒂安·劳赫 2 Kunihiko Sadakane 2 Kai T.Salomaa。 2 萨蒂，斯里尼瓦萨·拉奥 2 卡洛斯·塞戈维亚·冈萨雷斯 2 亚历山德拉·席尔瓦 2 宋亚辉 2 亚历山大·萨巴里 2 Szykuła，马雷克 2 彼得·蒂曼。 2 布林克·范德梅尔 2 沃尔科夫，米哈伊尔·弗拉基米罗维奇 2 莫妮卡·温克迈耶 2 法比奥·扎纳西 2 杰卢尔·齐亚迪 1 安在熙 1 Aksaray，德里亚 1 阿洛奇，Jean-Paul Simon 1 阿纳尼切夫（Dmitry S.Ananichev）。 1 蒂莫斯·安东尼奥普洛斯 1 萨米拉·阿图 1 乔·卡洛斯·巴西利奥 1 拉斐拉·巴斯托斯 1 Calin A.Belta。 1 Jean-Daniel Boissonnat 1 马塞洛·玛丽亚·邦桑格 1 安德烈亚斯·布朗斯特罗姆 1 朱西·卡斯蒂格利奥内 1 西尔维亚卡瓦达斯 1 哈达·切尔隆 1 克日什托夫·克米埃尔 1 米罗斯拉夫·奇·伊里奇。 1 莱昂纳多·贝梅·克拉维乔 1 可口、蒂埃里 1 Ruy JoséGuerra Barretto De Queiroz 1 克里斯蒂安·多兹卡尔 1 亨宁费尔瑙 1 大流士·富 1 高，袁 1 佩德罗·加西亚 1 弗洛里斯·吉尔茨 1 马西米利亚诺·戈德伍姆 1 尤内斯·圭卢玛 1 斯特凡·古兰 1 加南州圭尼岑 …还有61位作者 全部的 前5名20篇连载文章中引用 19 国际计算机科学基础杂志 16 理论计算机科学 10 信息与计算 6 信息学报 5 计算系统理论 三 计算机与系统科学杂志 三 自动机、语言和组合数学杂志 三 程序设计中的逻辑和代数方法杂志 2 模糊集与系统 2 自动推理杂志 2 组合数学电子杂志 2 RAIRO公司。理论信息学及其应用 1 算法 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 离散事件动态系统 1 数学科学杂志（纽约） 1 函数编程杂志 1 离散数学和理论计算机科学。DMTCS公司 1 整数 全部的 前5名在14个字段中引用 145 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 5 组合数学（05-XX） 三 群论与推广（20-XX） 2 流形和细胞复合体（57至XX） 2 概率论与随机过程（60-XX） 1 总体主题；集合（00-XX） 1 数论（11-XX） 1 动力系统和遍历理论（37至XX） 1 几何图形（51至XX） 1 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文