编辑配置文件（在新选项卡中打开） 安东尼奥·考伊 合著者距离 作者ID： cau.antonio公司 发布日期： 安东尼奥·考伊；A.考尔。 已编制索引的文档： 8出版物自1996年以来，包括1本书 合著者： 12位合著者具有6联合出版物 66位合作作者 全部的 前5名合著者 2 单作者的 三 侯赛因·泽丹 2 Moszkowski，Ben C。 1 陈志强 1 皮埃尔·科莱特 1 朱利安·迪米特洛夫 1 黑尔，罗杰 1 詹姆斯·霍伊 1 海尔格·贾尼克 1 斯特凡·库恩 1 Manjunathaiah，M。 1 法国Siewe 1 杨宏基 系列 1 信息学报 1 信息科学 1 计算机与系统科学杂志 1 计算的形式方面 1 系统设计中的形式化方法 领域 8 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 量子理论（81-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用9中的次6文件 引用人▼ 年份▼ 上下文软件环境的演算。 兹比尔1227.68078 法国Siewe；侯赛因·泽丹；安东尼奥·考伊 5 2011 假设-提交规范的并行组合：共享变量和分布式消息传递并发的统一方法。 Zbl 0837.68025号 A.考尔。；科莱特，P。 2 1996 一种用于实时系统基于对象开发的广谱语言。 Zbl 0943.68024号 陈，Z。；H.泽丹。；A.考尔。；H·杨。 1 1999 编写和细化密集时序逻辑规范。 Zbl 0963.68136号 安东尼奥·考伊 1 2000 上下文软件环境的演算。 Zbl 1227.68078号 法国Siewe；侯赛因·泽丹；安东尼奥·考伊 5 2011 编写和细化密集时序逻辑规范。 Zbl 0963.68136号 安东尼奥·考伊 1 2000 一种用于实时系统基于对象开发的广谱语言。 Zbl 0943.68024号 陈，Z。；H.泽丹。；Cau，A。；H·杨。 1 1999 假设-提交规范的并行组合：共享变量和分布式消息传递并发的统一方法。 Zbl 0837.68025号 A.考尔。；科莱特，P。 2 1996 所有引用出版物 前5名被引用出版物 全部的 前5名20位作者引用 1 西蒙·巴姆勒 1 安东尼奥·考伊 1 陈志强 1 当文雄（Dang Van Hung） 1 卢布卡·A·杜科夫斯卡。 1 托多尔卡·格拉什科娃 1 Dimitar P.Guelev。 1 马蒂亚斯·尼贝格 1 佩雷拉·帕斯夸林，道格拉斯 1 爱德华多·凯斯勒·皮维塔 1 沃尔夫冈·雷夫 1 格哈德·谢尔霍恩 1 伊万·斯托亚诺夫 1 斯托亚诺夫，斯坦尼米尔 1 约旦托多罗夫 1 博格丹·托凡 1 朱莉安娜·凯泽，维佐托 1 乔纳斯·韦斯特曼 1 杨宏基 1 侯赛因·泽丹 5篇连载文章中引用 2 计算的形式方面 1 信息科学 1 系统设计中的形式化方法 1 应用非经典逻辑杂志 1 数学生物科学与工程 在3个字段中引用 4 数学逻辑和基础（03-XX） 4 计算机科学（68至XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文