编辑配置文件(在新选项卡中打开) 哈尼法·布切内布 合著者距离 作者ID: 布切内布·哈尼法 发布日期: 哈尼法·布切内布;布切内布,H。 外部链接: ORCID公司 已编制索引的文档: 20份出版物自2002年起 合著者: 18位合著者具有19联合出版物 232位合作作者 全部的 前5名合著者 1 单作者的 8 卡梅尔·巴考伊 三 拉希德·哈吉吉 三 奥利维尔·H·鲁克斯。 2 阿卜杜萨马德·伊明 2 莱姆,迪迪埃 2 亚历杭德罗·金特罗 2 奥雷尔·伦道夫 1 杰拉德·贝瑟洛特 1 纪尧姆·加迪 1 帕里萨·海达里 1 李志武 1 刘改云 1 巴普蒂斯特·帕奎尔 1 Hind Rakkay先生 1 夏洛特·塞纳 1 王光泽 1 卡里姆·韦斯莱蒂 1 邢、钱 全部的 前5名系列 2 电气电子工程师学会计算机期刊 2 理论计算机科学 1 国际控制杂志 1 Automatica公司 1 信息科学 1 计算的形式方面 1 实时系统 1 逻辑与计算杂志 1 离散事件动态系统 1 计算机基础理论 领域 18 计算机科学(68至XX) 2 系统论;控制(93至XX) 1 组合数学(05-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 15出版物有被引用61中的次37文件 引用人▼ 年份▼ 时间Petri网的TCTL模型检验。 Zbl 1188.68182号 哈尼法·布切内布;纪尧姆·加迪;奥利维尔·H·鲁克斯。 14 2009 时间Petri网的CTL*模型检查。 Zbl 1088.68101号 哈尼法·布切内布;拉希德·哈吉吉 11 2006 一种更有效的时间Petri网状态空间抽象,用于模型检查时间线性属性。 Zbl 1167.68039号 哈尼法·布切内布;Hind Rakkay先生 5 2008 时间Petri网的有效可达性分析。 Zbl 1368.68263号 拉希德·哈吉吉;哈尼法·布切内布 5 2011 时间Petri网的最大允许控制器综合。 Zbl 1278.93114号 帕里萨·海达里;哈尼法·布切内布 5 2013 关于时间Petri网的多能性。 Zbl 1381.68196号 哈尼法·布切内布;莱姆,迪迪埃;奥利维尔·H·鲁克斯。 5 2013 成本时间Petri网中的最优可达性。 Zbl 1494.68180号 哈尼法·布切内布;莱姆,迪迪埃;巴普蒂斯特·帕奎尔;奥利维尔·H·鲁克斯。;夏洛特·塞纳 4 2017 时间Petri网的动态(TCTL\)模型检查。 Zbl 1186.68292号 拉希德·哈吉吉;哈尼法·布切内布 2 2009 用于检查时间工作流网络可靠性的部分降阶。 兹比尔1355.68189 哈尼法·布切内布;卡梅尔·巴考伊 2 2014 ITCPN状态空间的收缩。 Zbl 1270.68163号 布切内布,H。;伯特洛特,G。 2 2002 实时系统的延迟相关部分降阶技术。 Zbl 1484.68138号 哈尼法·布切内布;卡梅尔·巴考伊 2 2018 用于构建时间Petri网可达图的相关时间调度/时钟向量。 Zbl 1231.05255号 哈尼法·布切内布;卡梅尔·巴考伊 1 2011 时间Petri网的覆盖步骤图。 Zbl 1347.68254号 哈尼法·布切内布;卡梅尔·巴考伊 1 2009 关于综合一致的操作转换方法。 Zbl 1360.68217号 奥雷尔·伦道夫;哈尼法·布切内布;阿卜杜萨马德·伊明;亚历杭德罗·金特罗 1 2015 时间Petri网的时滞相关部分降阶技术。 Zbl 1448.68332号 哈尼法·布切内布;卡梅尔·巴考伊;卡里姆·韦斯莱蒂 1 2014 实时系统的延迟相关部分降阶技术。 Zbl 1484.68138号 哈尼法·布切内布;卡梅尔·巴考伊 2 2018 成本时间Petri网中的最优可达性。 Zbl 1494.68180号 哈尼法·布切内布;莱姆,迪迪埃;巴普蒂斯特·帕奎尔;奥利维尔·H·鲁克斯。;夏洛特·塞纳 4 2017 关于综合一致的操作转换方法。 Zbl 1360.68217号 奥雷尔·伦道夫;哈尼法·布切内布;阿卜杜萨马德·伊明;亚历杭德罗·金特罗 1 2015 用于检查时间工作流网络可靠性的部分降阶。 兹比尔1355.68189 哈尼法·布切内布;卡梅尔·巴考伊 2 2014 时间Petri网的时滞相关部分降阶技术。 Zbl 1448.68332号 哈尼法·布切内布;卡梅尔·巴考伊;卡里姆·韦斯莱蒂 1 2014 时间Petri网的最大允许控制器综合。 Zbl 1278.93114号 帕里萨·海达里;哈尼法·布切内布 5 2013 关于时间Petri网的多能性。 Zbl 1381.68196号 哈尼法·布切内布;莱姆,迪迪埃;奥利维尔·H·鲁克斯。 5 2013 时间Petri网的有效可达性分析。 Zbl 1368.68263号 拉希德·哈吉吉;哈尼法·布切内布 5 2011 用于构建时间Petri网可达图的相关时间调度/时钟向量。 Zbl 1231.05255号 哈尼法·布切内布;卡梅尔·巴考伊 1 2011 时间Petri网的TCTL模型检验。 Zbl 1188.68182号 哈尼法·布切内布;纪尧姆·加迪;奥利维尔·H·鲁克斯。 14 2009 时间Petri网的动态(TCTL\)模型检查。 Zbl 1186.68292号 拉希德·哈吉吉;哈尼法·布切内布 2 2009 时间Petri网的覆盖步骤图。 Zbl 1347.68254号 哈尼法·布切内布;卡梅尔·巴考伊 1 2009 一种更有效的时间Petri网状态空间抽象,用于模型检查时间线性属性。 Zbl 1167.68039号 哈尼法·布切内布;Hind Rakkay先生 5 2008 时间Petri网的CTL*模型检查。 Zbl 1088.68101号 哈尼法·布切内布;拉希德·哈吉吉 11 2006 ITCPN状态空间的收缩。 Zbl 1270.68163号 布切内布,H。;伯特洛特,G。 2 2002 所有引用出版物 前5名被引用出版物 全部的 前5名54位作者引用 10 哈尼法·布切内布 8 奥利维尔·H·鲁克斯。 6 卡梅尔·巴考伊 6 莱姆,迪迪埃 4 李志武 4 吉·斯尔巴 三 米卡·布莱迪 三 雷米鹦鹉 2 阿克沙伊,S。 2 伯纳德·伯托米厄 2 拉希德·哈吉吉 2 洛伊奇,Hélouët 2 拉塞·雅各布森 2 莫滕·雅各布森 2 迪米特里·列斐伏尔 2 米凯尔·哈克杰·默勒 2 夏洛特·塞纳 2 弗朗索瓦·沃纳达特。 1 穆罕默德·阿卜杜拉希·阿兹戈米 1 杰恩·卢克·贝切内克 1 安托万·伯纳乌 1 弗雷德里克·梅耶·伯内兰 1 约阿金·比格 1 巴维尔·丘普里科夫 1 邓明喜 1 董一凡 1 塞巴斯蒂安·福古 1 戈坎·格伦 1 布莱斯·基内斯特 1 瓦萨马·哈亚内 1 帕里萨·海达里 1 彼得·格约尔·詹森 1 约根森、肯尼思·伊尔克 1 凯斯·克莱 1 金·古德斯特兰·拉森 1 李亚琼 1 刘改云 1 摩根·马根 1 克劳德·马丁内斯 1 哈桑·莫塔列比 1 马尔科·穆尼兹 1 弗洛伦特·佩雷斯 1 拉姆昌德拉·帕瓦德 1 秦涛 1 萨利赫,塔希尔·拉旺 1 谢尔盖·辛查克 1 康斯坦丁·索洛马托夫 1 穆拉特·乌扎姆 1 王继鹏 1 王光泽 1 吴伟民 1 邢、钱 1 尹、李 1 安德烈·于祖巴列夫(Andrey Yu Zubarev)。 全部的 前5名11篇连载文章中引用 6 离散事件动态系统 5 信息科学 4 理论计算机科学 2 国际控制杂志 1 Automatica公司 1 编程和计算机软件 1 计算的形式方面 1 实时系统 1 欧洲控制杂志 1 计算机基础理论 1 程序设计中的逻辑和代数方法杂志 在5个字段中引用 27 计算机科学(68至XX) 12 系统论;控制(93至XX) 三 组合数学(05-XX) 三 运筹学、数学规划(90-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文