编辑配置文件（在新选项卡中打开） 佩德罗·安东尼诺 合著者距离 作者ID： 安东尼奥·佩德罗 发布日期： 佩德罗·安东尼诺;安东尼诺，P。 已编制索引的文档： 5出版物自2016年起 合著者： 6位合著者具有5联合出版物 121位Co-Co作者 全部的 前5名合著者 0 单作者的 5 安德鲁·威廉·罗斯科 4 托马斯·吉布森·罗宾逊 1 亚历杭德罗·莫塔 1 马塞尔·奥利维拉 1 罗德里戈·A·拉莫斯。 1 奥古斯托·桑帕约。 系列 2 计算的形式方面 领域 5 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 4出版物被引用12中的次5文件 引用人▼ 年份▼ 死锁自由分析的更严格可达性标准。 Zbl 1427.68179号 佩德罗·安东尼诺;托马斯·吉布森·罗宾逊;A.W.罗斯科。 4 2016 使用组件元数据和模式严格开发基于组件的系统。 Zbl 1348.68167号 马塞尔·奥利维拉。;安东尼诺，P。;R.拉莫斯。;A.桑帕约。;莫塔，A。;A.W.罗斯科。 4 2016 使用SAT检查自动检测标记结构和不变量。 Zbl 1453.68109号 佩德罗·安东尼诺;托马斯·吉布森·罗宾逊;A.W.罗斯科。 三 2017 使用保守的SAT近似检查静态属性的可达性。 Zbl 1498.68149号 佩德罗·安东尼诺;托马斯·吉布森·罗宾逊;A.W.罗斯科。 1 2017 使用SAT检查自动检测标记结构和不变量。 Zbl 1453.68109号 佩德罗·安东尼诺;托马斯·吉布森·罗宾逊;A.W.罗斯科。 三 2017 使用保守的SAT近似检查静态属性的可达性。 兹比尔1498.68149 佩德罗·安东尼诺;托马斯·吉布森·罗宾逊;A.W.罗斯科。 1 2017 死锁自由分析的更严格可达性标准。 Zbl 1427.68179号 佩德罗·安东尼诺;托马斯·吉布森·罗宾逊;A.W.罗斯科。 4 2016 使用组件元数据和模式严格开发基于组件的系统。 Zbl 1348.68167号 马塞尔·奥利维拉。;安东尼诺，P。;R.拉莫斯。;A.桑帕约。;莫塔，A。;A.W.罗斯科。 4 2016 全部的 前5名11位作者引用 2 佩德罗·安东尼诺 2 托马斯·吉布森·罗宾逊 2 安德鲁·威廉·罗斯科 1 安娜·卡瓦尔坎蒂 1 Conserva Filho，医学硕士。 1 安德烈亚斯·胡尔辛 1 加文·洛 1 马塞尔·奥利维拉 1 Joost Rijneveld公司 1 奥古斯托·桑帕约。 1 宋芳 2篇连载文章中引用 2 计算的形式方面 1 信息处理信件 在3个字段中引用 4 计算机科学（68至XX） 1 量子理论（81-XX） 1 信息和通信理论，电路（94-XX） 按年份列出的引文