编辑配置文件(在新选项卡中打开) 约瑟夫·马塔伊 合著者距离 作者ID: 约瑟夫·马塔伊 发布日期: 约瑟夫·马塔伊;Joseph,M。 已编制索引的文档: 15出版物自1970年以来 6作为编辑的贡献 合著者: 11位合著者具有13联合出版物 265位合作作者 全部的 前5名合著者 6 单作者的 三 刘志明 2 托马斯·雅诺夫斯基 2 阿卜哈·莫伊特拉 2 Rudrapatna Kallikote Shyamasundar 1 Asis K.戈斯瓦米。 1 纳拉亚纳,K.T。 1 帕里托什·K·潘迪亚。 1 Doron A.Peled。 1 Rudraptna Shyamasundar 1 Soundarrajan,尼拉姆 1 阿肖克·斯列尼瓦斯 1 拉金德兰·文卡泰什 全部的 前5名系列 三 计算机科学课堂讲稿 2 《计算机杂志》。A部分/B部分 2 理论计算机科学 2 计算的形式方面 1 软件。实践与经验 1 计算机程序设计科学 1 实时系统 1 分布式计算 领域 20 计算机科学(68至XX) 6 总体主题;集合(00-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用30中的次28文件 引用人▼ 年份▼ P-A逻辑—分布式程序的组合证明系统。 Zbl 0723.68075号 帕里托什·K·潘迪亚。;约瑟夫·马塔伊 9 1991 实时系统。规范、验证和分析。 Zbl 0909.68001号 7 1996 程序的容错转换。 Zbl 0754.68084号 刘志明;约瑟夫·马塔伊 6 1992 分页和程序行为分析。 Zbl 0185.43503号 M.约瑟夫。 4 1970 通过规范转换实现容错的组合框架。 Zbl 0812.68092号 多龙·贝利德;约瑟夫·马塔伊 三 1994 实时程序可调度性验证。 Zbl 0838.68078号 刘志明;约瑟夫·马塔伊;托马斯·雅诺夫斯基 2 1995 容错分布式程序的证明规则。 Zbl 0608.68016号 约瑟夫·马塔伊;阿卜哈·莫伊特拉;Soundarrajan,尼拉姆 2 1987 实时程序的验证、优化和调度。 Zbl 0954.68099号 刘志明;约瑟夫·马塔伊 1 2001 实时程序的验证、优化和调度。 Zbl 0954.68099号 刘志明;约瑟夫·马塔伊 1 2001 实时系统。规范、验证和分析。 Zbl 0909.68001号 7 1996 验证实时程序的可调度性。 Zbl 0838.68078号 刘志明;约瑟夫·马塔伊;托马斯·雅诺夫斯基 2 1995 通过规范转换实现容错的组合框架。 Zbl 0812.68092号 多龙·贝利德;约瑟夫·马塔伊 三 1994 程序的容错转换。 Zbl 0754.68084号 刘志明;约瑟夫·马塔伊 6 1992 P-A逻辑—分布式程序的组合证明系统。 Zbl 0723.68075号 帕里托什·K·潘迪亚。;约瑟夫·马塔伊 9 1991 容错分布式程序的证明规则。 Zbl 0608.68016号 约瑟夫·马塔伊;阿卜哈·莫伊特拉;Soundarrajan,尼拉姆 2 1987 分页和程序行为分析。 Zbl 0185.43503号 M.约瑟夫。 4 1970 所有引用出版物 前5名被引用出版物 全部的 前5名52位作者引用 4 皮埃尔·科莱特 三 约瑟夫·马塔伊 三 刘志明 2 乔泽夫·约翰内斯·玛丽亚·胡曼 2 埃德加·纳普 1 米拉·阿彻(Myla M.Archer)。 1 阿尔瓦罗·E·阿里纳斯。 1 本杰明·阿齐兹 1 胡安·比卡雷奎。 1 曼弗雷德·布罗伊 1 艾伦·D·伯恩斯。 1 巴勃罗·卡斯特罗。 1 安东尼奥·考伊 1 陈振邦 1 弗拉维奥·科拉迪尼 1 威廉·鲍尔·德·罗弗 1 弗兰克·德德里奇 1 罗伯特·埃什巴赫 1 埃琳娜·费斯曼 1 菲克斯,利莫 1 科马克·弗拉纳根 1 费利克斯·C·弗雷林。 1 斯蒂芬·尼尔(Stephen Neal Freund) 1 伊恩·海耶斯。 1 康斯坦斯·海特迈尔。 1 拉尔夫·杰弗兹。 1 伊丽莎白·伦纳德。 1 林,兰 1 托马斯·斯蒂芬·爱德华·迈鲍姆 1 海科·曼特尔 1 菲利普·马索内特 1 Mohalik,Swarup K。 1 列奥尼德·莫克鲁辛 1 帕里托什·K·潘迪亚。 1 Doron A.Peled。 1 保罗·佩特森 1 克里斯托夫·蓬萨德 1 杰西·H·普尔。 1 桑吉瓦·普拉萨德 1 普拉塞提亚,I.S.W.B。 1 沙兹·卡迪尔 1 Ramanujan,Ranga S。 1 亨克·谢伯斯 1 弗雷德·施耐德。 1 桑吉特·阿伦库马尔 1 凯蒂尔·斯特伦 1 斯威斯特拉,S.多伊茨 1 阿克塞尔·瓦本霍斯特 1 王,季 1 韦伯、雷纳 1 易、王 1 Lenore D.扎克。 全部的 前5名9篇连载文章中引用 10 理论计算机科学 三 计算的形式方面 三 系统设计中的形式化方法 2 萨达纳 1 信息学报 1 信息处理信件 1 信息与计算 1 实时系统 1 吉泰。实验与理论人工智能杂志 在2个字段中引用 28 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的引文