编辑配置文件(在新选项卡中打开) 奥思曼·雷津 合著者距离 作者ID: 雷齐娜·奥斯曼 发布日期: 奥思曼·雷津 编入索引的文档: 4出版物自2011年起 合著者: 7合著者具有4联合出版物 168位合作作者 全部的 前5名合著者 0 单作者的 4 帕罗什·阿齐兹·阿卜杜拉 2 穆罕默德·法乌齐(Mohamed Faouzi Atig) 2 乔治·德尔扎诺 2 阿诺德·桑尼尔 2 里卡多·特拉弗斯 1 艾哈迈特·卡拉 1 贾里·斯坦曼 系列 1 理论计算机科学 1 系统设计中的形式化方法 领域 4 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用13中的次13文件 引用人▼ 年份▼ 关于定时自组网的验证。 Zbl 1348.68115号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;奥思曼·雷津;阿诺德·桑尼尔;里卡多·特拉弗斯 7 2011 基于预算的模型检查下推系统。 Zbl 1317.68106号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);奥思曼·雷津;贾里·斯坦曼 4 2014 动态寄存器自动机的验证。 Zbl 1360.68575号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈特·卡拉;奥思曼·雷津 1 2014 ad hoc网络协议的时间敏感模型的参数化验证。 Zbl 1332.68137号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;奥思曼·雷津;阿诺德·桑尼尔;里卡多·特拉弗斯 1 2016 ad hoc网络协议的时间敏感模型的参数化验证。 Zbl 1332.68137号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;奥思曼·雷津;阿诺德·桑尼尔;里卡多·特拉弗斯 1 2016 基于预算的模型检查下推系统。 Zbl 1317.68106号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);奥思曼·雷津;贾里·斯坦曼 4 2014 动态寄存器自动机的验证。 Zbl 1360.68575号 帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐(Mohamed Faouzi Atig);艾哈迈特·卡拉;奥思曼·雷津 1 2014 关于定时自组网的验证。 Zbl 1348.68115号 帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;奥思曼·雷津;阿诺德·桑尼尔;里卡多·特拉弗斯 7 2011 所有引用出版物 前5名被引用出版物 全部的 前5名29位作者引用 3 帕罗什·阿齐兹·阿卜杜拉 2 Balasubramanian,A.R。 2 乔治·德尔扎诺 2 萨尔瓦多拉托雷 2 那不勒斯,玛格丽塔 2 Gennaro帕拉托 2 奥思曼·雷津 2 阿诺德·桑尼尔 2 里卡多·特拉弗斯 1 西里亚克·艾斯瓦里亚 1 本杰明·阿米诺夫 1 穆罕默德·法乌齐(Mohamed Faouzi Atig) 1 H.J.S.巴斯滕。 1 纳塔莉·伯特兰 1 沃伊切赫,切尔文斯基 1 米希尔·德瓦斯卡 1 布莱斯·基内斯特 1 法特梅·加塞米 1 雨果·金伯特 1 拉丁·科斯拉维 1 伊勒姆·W·库尼亚。 1 萨沃米尔·拉索塔 1 罗兰·梅耶 1 塞巴斯蒂安·穆斯卡拉 1 库马尔·纳拉扬。 1 阿恩·施·赫夫特 1 萨沙·鲁宾 1 普拉卡什·塞瓦桑 1 Yousefi、Behnaz 4篇连载文章中引用 2 信息与计算 1 理论计算机科学 1 计算的形式方面 1 国际计算机科学基础杂志 在3个字段中引用 13 计算机科学(68至XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 按年份列出的引文