编辑配置文件(在新选项卡中打开) 阿加提·默塞隆 合著者距离 作者ID: 梅塞隆·加特 发布日期: 阿加提·默塞隆;Merceron,A。 已编制索引的文档: 13出版物自1982年以来 合著者: 8位合著者具有12联合出版物 215位合作作者 全部的 前5名合著者 1 单作者的 4 最好的,艾克 2 艾哈迈德·博阿贾尼 2 G.Michele Pinna 1 德塞尔,约格 1 塞萨尔·费尔南德斯 1 塞萨尔·费尔南德斯。 1 陆伟明 1 莫妮卡·穆勒堡 系列 2 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 中国科学。系列A 1 逻辑程序设计理论与实践 领域 13 计算机科学(68至XX) 5 阶、格、有序代数结构(06-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用9中的次8文件 引用人▼ 年份▼ 用于抽象系统需求的邻接同态。 Zbl 1312.68150号 德塞尔,约格;阿加提·默塞隆 2 2010 ARGOS程序的模块化验证。 Zbl 0964.68080号 阿加提·默塞隆;G.Michele Pinna 2 2000 并发公理和D-连续偏序集。 Zbl 0603.68060号 最好的,艾克;阿加提·默塞隆 1 1985 冻结标记和D连续性:将系统属性与过程属性相关联的研究。 Zbl 0603.68061号 最好的,艾克;阿加提·默塞隆 1 1985 公平流程。 Zbl 0636.68068号 阿加提·默塞隆 1 1987 组成员算法的参数验证。 兹比尔1278.68159 艾哈迈德·博阿贾尼;阿加提·默塞隆 1 2002 发生网的离散性、K密度和D连续性。 Zbl 0495.68048号 最好的,艾克;阿加提·默塞隆 1 1982 用于抽象系统需求的邻接同态。 Zbl 1312.68150号 德塞尔,约格;阿加提·默塞隆 2 2010 组成员算法的参数验证。 Zbl 1278.68159号 艾哈迈德·博阿贾尼;阿加提·默塞隆 1 2002 ARGOS程序的模块化验证。 Zbl 0964.68080号 阿加提·默塞隆;G.Michele Pinna 2 2000 公平流程。 Zbl 0636.68068号 阿加提·默塞隆 1 1987 并发公理和D-连续偏序集。 Zbl 0603.68060号 最好的,艾克;阿加提·默塞隆 1 1985 冻结标记和D连续性:将系统属性与过程属性相关联的研究。 Zbl 0603.68061号 最好的,艾克;阿加提·默塞隆 1 1985 发生网的离散性、K密度和D连续性。 Zbl 0495.68048号 最好的,艾克;阿加提·默塞隆 1 1982 所有引用的出版物 前5名被引用出版物 全部的 前5名19位作者引用 1 卢卡·伯纳迪内洛 1 托马斯·查泰恩 1 斯特凡·哈尔 1 赫尔曼·科佩兹 1 奥拉夫·库默 1 伊琳娜·洛马佐娃(Irina A.Lomazova)。 1 安东尼·马祖尔基维奇。 1 阿加提·默塞隆 1 莫妮卡·穆勒堡 1 内斯特罗夫,罗马人 1 爱德华·奥赫曼斯基 1 迈克尔·保利奇 1 沃伊切赫·彭泽克 1 G.Michele Pinna 1 露西娅·波梅尔 1 马克·奥利弗·斯特尔 1 威尔弗里德·施泰纳 1 巴扎马内里·苏布拉曼尼亚姆·蒂亚加拉扬 1 Yen、Hsuchun 3篇连载文章中引用 2 理论计算机科学 1 信息与计算 1 实时系统 在1个字段中引用 8 计算机科学(68至XX) 按年份列出的引文