编辑配置文件（在新选项卡中打开） 亚历山大·莫塔。 合著者距离 作者ID： 母亲亚历山德烈-c 发布日期： 亚历山大·莫塔；亚历山大·莫塔。 已编制索引的文档： 17出版物自2001年起 1进一步贡献 合著者： 22合著者具有18联合出版物 161位合作作者 全部的 前5名合著者 0 单作者的 9 奥古斯托·桑帕约。 三 阿达尔贝托·法里亚斯 2 罗姆洛·安托 2 安娜·卡瓦尔坎蒂 2 瑞·埃斯卡达斯·马丁斯 2 西德尼·诺盖拉 2 詹姆斯·C·P·伍德科克。 1 保罗·博尔巴 1 古斯塔沃·卡瓦略 1 亚历山大·科雷亚。 1 阿德里亚娜·达马西诺 1 安德烈·迪迪埃 1 拉斐尔·杜阿尔特 1 迪奥戈·法尔考 1 帕特里夏·费雷拉 1 西蒙·福斯特 1 朱利亚诺·伊奥达 1 JoséAntónio Tenreiro，马查多 1 Patricia D.L.马查多。 1 罗德里戈·A·拉莫斯。 1 哈辛托·里斯 1 丹尼尔·席尔瓦。 1 叶康峰 系列 三 信息处理信件 2 计算机程序设计科学 1 计算的形式方面 1 软计算 1 非线性物理科学 领域 16 计算机科学（68至XX） 2 系统论；控制（93至XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用38中的次31文件 引用人▼ 年份▼ 根据CSP模型引导测试生成。 Zbl 1161.68627号 西德尼·诺盖拉；奥古斯托·桑帕约；亚历山大·莫塔 8 2008 模型检查CSP-Z：策略、工具支持和工业应用。 Zbl 0973.68152号 亚历山大·莫塔；奥古斯托·桑帕约 6 2001 用于程序验证的Simulink定时模型。 Zbl 1390.68423号 安娜·卡瓦尔坎蒂；亚历山大·莫塔；吉姆·伍德科克 4 2013 CSP（{Z}）过程的机械抽象。 Zbl 1064.68554号 亚历山大·莫塔；保罗·博尔巴；奥古斯托·桑帕约 三 2002 RoboChart的概率语义。最弱的完成方法。 Zbl 07168635号 吉姆·伍德科克；安娜·卡瓦尔坎蒂；西蒙·福斯特；亚历山大·莫塔；叶康峰 三 2019 使用区间2型模糊逻辑系统的基于模型的控制。 Zbl 1398.93184号 罗姆洛·安托；亚历山大·莫塔；瑞·埃斯卡达斯·马丁斯 三 2018 从基于状态的用例模型生成测试。 Zbl 1342.68210号 西德尼·诺盖拉；奥古斯托·桑帕约；亚历山大·莫塔 三 2014 面向性能测试。 Zbl 1279.68215号 Patricia D.L.马查多。；丹尼尔·席尔瓦。；亚历山大·莫塔。 2 2007 高效的CSP\（_｛Z｝\）数据抽象。 Zbl 1196.68132号 阿达尔贝托·法里亚斯；亚历山大·莫塔；奥古斯托·桑帕约 2 2004 基于进程代数的策略，用于从SCR规范生成测试向量。 Zbl 1372.68166号 古斯塔沃·卡瓦略；法尔科，迪奥戈；亚历山大·莫塔；奥古斯托·桑帕约 1 2012 使用UML-RT图查看CSP规范。 Zbl 1279.68257号 帕特里夏·费雷拉；奥古斯托·桑帕约；亚历山大·莫塔 1 2008 CSP规范安全抽象的机械化策略。 兹比尔1266.68132 阿德里亚娜·达马西诺；阿达尔贝托·法里亚斯；亚历山大·莫塔 1 2009 交互组件协调的一致性概念。 Zbl 1200.68072号 罗德里戈·拉莫斯；奥古斯托·桑帕约；亚历山大·莫塔 1 2010 RoboChart的概率语义。最弱的完成方法。 Zbl 07168635号 吉姆·伍德科克；安娜·卡瓦尔坎蒂；西蒙·福斯特；亚历山大·莫塔；叶康峰 三 2019 使用区间2型模糊逻辑系统的基于模型的控制。 Zbl 1398.93184号 罗姆洛·安托；亚历山大·莫塔；瑞·埃斯卡达斯·马丁斯 三 2018 从基于状态的用例模型生成测试。 Zbl 1342.68210号 西德尼·诺盖拉；奥古斯托·桑帕约；亚历山大·莫塔 三 2014 用于程序验证的Simulink定时模型。 Zbl 1390.68423号 安娜·卡瓦尔坎蒂；亚历山大·莫塔；吉姆·伍德科克 4 2013 基于进程代数的策略，用于从SCR规范生成测试向量。 Zbl 1372.68166号 古斯塔沃·卡瓦略；迪奥戈·法尔考；亚历山大·莫塔；奥古斯托·桑帕约 1 2012 交互组件协调的一致性概念。 Zbl 1200.68072号 罗德里戈·拉莫斯；奥古斯托·桑帕约；亚历山大·莫塔 1 2010 CSP规范安全抽象的机械化策略。 Zbl 1266.68132号 阿德里亚娜·达马西诺；阿达尔贝托·法里亚斯；亚历山大·莫塔 1 2009 根据CSP模型引导测试生成。 Zbl 1161.68627号 西德尼·诺盖拉；奥古斯托·桑帕约；亚历山大·莫塔 8 2008 使用UML-RT图查看CSP规范。 Zbl 1279.68257号 帕特里夏·费雷拉；奥古斯托·桑帕约；亚历山大·莫塔 1 2008 面向性能测试。 Zbl 1279.68215号 Patricia D.L.马查多。；丹尼尔·席尔瓦。；亚历山大·莫塔。 2 2007 高效的CSP\（_{Z}\）数据抽象。 兹比尔1196.68132 阿达尔贝托·法里亚斯；亚历山大·莫塔；奥古斯托·桑帕约 2 2004 CSP（{Z}）过程的机械抽象。 Zbl 1064.68554号 亚历山大·莫塔；保罗·博尔巴；奥古斯托·桑帕约 三 2002 模型检查CSP-Z：策略、工具支持和工业应用。 Zbl 0973.68152号 亚历山大·莫塔；奥古斯托·桑帕约 6 2001 所有引用出版物 前5名被引用出版物 全部的 前5名58位作者引用 7 安娜·卡瓦尔坎蒂 5 亚历山大·莫塔。 5 奥古斯托·桑帕约。 4 詹姆斯·C·P·伍德科克。 三 西蒙·福斯特 三 叶康峰 2 约翰·德里克 2 玛丽·克劳德·高德尔 2 西德尼·诺盖拉 2 格雷姆·史密斯 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 Patricia D.L.马查多。 1 亚历杭德罗·莫塔 1 穆罕默德·阿里·内库伊 1 马塞尔·奥利维拉 1 哈维尔·奥利弗 1 简·佩莱斯卡 1 波佩斯库（Decebal Popescu） 1 涅磐·波佩斯库 1 普洛塔萨，维奥雷尔 1 罗德里戈·A·拉莫斯。 1 哈辛托·里斯 1 佩德罗·里贝罗 1 安德鲁·威廉·罗斯科 1 卡梅尔·萨巴希 1 乔塞普·席尔瓦 1 阿里·索莱马尼扎德 1 孙权 1 萨尔瓦多塔马利特 1 斯塔夫罗斯·特里帕基斯 1 王超 1 海克·卫尔海姆 1 克尔斯滕·温特 1 弗兰茨·沃塔瓦 1 张伟 全部的 前5名8篇连载文章中引用 7 计算的形式方面 三 理论计算机科学 三 软计算 2 信息学报 2 程序设计中的逻辑和代数方法杂志 1 信息处理信件 1 信息与计算 1 ACM计算逻辑汇刊 在4个字段中引用 28 计算机科学（68至XX） 5 系统论；控制（93至XX） 2 数学逻辑和基础（03-XX） 1 常微分方程（34-XX） 按年份列出的引文