编辑配置文件（在新选项卡中打开） 西德尼·诺盖拉 合著者距离 作者ID: 诺盖拉·西德尼 发布日期： 西德尼·诺盖拉 编入索引的文档： 6出版物自2004年起 合著者： 10位合著者具有4联合出版物 119合著者 全部的 前5名合著者 0 单作者的 三 奥古斯托·桑帕约。 2 亚历山大·莫塔。 1 盖伊·H·布罗德富特。 1 Joáo B.L.M.坎波斯。 1 古斯塔沃·卡瓦略 1 安娜·卡瓦尔坎蒂 1 弗朗索瓦·夏皮莱 1 F.盖希特。 1 托马斯·吉布森·罗宾逊 1 罗伯特·马克·海伦斯 1 菲利普·霍普克罗夫特。 1 加文·洛 1 科林·奥哈洛伦 1 平托，A.M.F.R。 1 里特穆勒，M.L。 1 亚辛·鲁契克 1 雷纳托·苏萨（Renato G.Sousa）。 系列 1 流体力学杂志 1 计算的形式方面 1 ACM计算逻辑事务 领域 5 计算机科学（68至XX） 1 流体力学（76-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物被引用13中的次11文件 引用人▼ 年份▼ 根据CSP模型引导测试生成。 Zbl 1161.68627号 西德尼·诺盖拉;奥古斯托·桑帕约;亚历山大·莫塔 8 2008 从基于状态的用例模型生成测试。 Zbl 1342.68210号 西德尼·诺盖拉;奥古斯托·桑帕约;亚历山大·莫塔 三 2014 CSP中的输入和输出。模型和测试理论。 兹比尔1446.68103 安娜·卡瓦尔坎蒂;Robert M.Hierons。;西德尼·诺盖拉 2 2020 CSP中的输入和输出。一个模型和一个测试理论。 Zbl 1446.68103号 安娜·卡瓦尔坎蒂;Robert M.Hierons。;西德尼·诺盖拉 2 2020 从基于状态的用例模型生成测试。 Zbl 1342.68210号 西德尼·诺盖拉;奥古斯托·桑帕约;亚历山大·莫塔 三 2014 根据CSP模型引导测试生成。 Zbl 1161.68627号 西德尼·诺盖拉;奥古斯托·桑帕约;亚历山大·莫塔 8 2008 所有引用出版物 前5名被引用出版物 全部的 前5名17位作者引用 5 安娜·卡瓦尔坎蒂 三 亚历山大·莫塔。 三 奥古斯托·桑帕约。 2 玛丽·克劳德·高德尔 2 马西耶·加兹达。 2 罗伯特·马克·海伦斯 2 西德尼·诺盖拉 1 阿卜杜拉扎克·阿巴 1 马克·艾吉尔 1 威尔克森·L·安德拉德。 1 詹姆斯·巴克斯特 1 弗莱德里克·博朗格 1 古斯塔沃·卡瓦略 1 杰里米·雅各布。 1 比拉尔·坎索 1 Patricia D.L.马查多。 1 哈辛托·里斯 全部的 前5名6篇连载文章中引用 三 计算的形式方面 2 理论计算机科学 1 信息学报 1 信息处理信件 1 信息与计算 1 ACM计算逻辑事务 在3个字段中引用 11 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 系统论；控制（93至XX） 按年份列出的引文