编辑配置文件(在新选项卡中打开) 阿德南·谢里夫 合著者距离 作者ID: 谢里夫·阿德南 发布日期: 阿德南·谢里夫 已编制索引的文档: 12出版物自1974年以来 合著者: 6位合著者具有5联合出版物 149位合作作者 全部的 前5名合著者 0 单作者的 3 何继峰 3 奥古斯托·桑帕约。 2 安娜·卡瓦尔坎蒂 1 塞尔吉奥·卡瓦尔坎特 1 鲍里斯·弗拉迪米洛维奇·格内登科 1 何继峰 1 秦胜超 1 吴敏妍 全部的 前5名系列 2 国际控制杂志 2 统计高度。新编 1 国际流体数值方法杂志 1 苏联数学。多克拉迪 1 计算的形式方面 1 国际控制杂志,第一辑 全部的 前5名领域 5 计算机科学(68至XX) 3 统计学(62-XX) 3 系统论;控制(93至XX) 1 常微分方程(34-XX) 1 概率论与随机过程(60-XX) 1 流体力学(76-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用33中的次26文件 引用人▼ 年份▼ 实时系统规范和验证的过程代数框架。 Zbl 1214.68224号 阿德南·谢里夫;安娜·卡瓦尔坎蒂;何继峰;奥古斯托·桑帕约 17 2010 关于线性时变系统的可换类。 Zbl 0343.93030号 吴敏妍;A.谢里夫。 15 1976 迈向马戏团的时间模型。 Zbl 1015.68815号 阿德南·谢里夫;何继峰 10 2002 变分级数极值项的极限定理。 Zbl 0531.60020号 格内登科,B.V。;A.谢里夫。 6 1983 使用Circus动作的实时系统的规范和验证框架。 Zbl 1108.68522号 阿德南·谢里夫;何继峰;安娜·卡瓦尔坎蒂;奥古斯托·桑帕约 5 2005 线性动力系统的辨识。 Zbl 0269.93014号 A.谢里夫。;吴敏英。 4 1974 第二类逐步删失威布尔数据的结构预测分布。 Zbl 0393.62040号 A.谢里夫。;谭,P。 2 1978 实时系统规范和验证的综合方法。 Zbl 0987.68884号 阿德南·谢里夫;奥古斯托·桑帕约;塞尔吉奥·卡瓦尔坎特 1 2001 关于结构推断应用于威布尔分布的一些注记。 Zbl 0294.6202号 Tan,P。;警长,A。 1 1974 关于一类线性时变离散时间系统的显式解、稳定性和约简。 Zbl 0342.93035号 吴敏英。;A.谢里夫。 1 1977 实时系统规范和验证的过程代数框架。 兹比尔1214.68224 阿德南·谢里夫;安娜·卡瓦尔坎蒂;何继峰;奥古斯托·桑帕约 17 2010 使用Circus动作的实时系统的规范和验证框架。 Zbl 1108.68522号 阿德南·谢里夫;何继峰;安娜·卡瓦尔坎蒂;奥古斯托·桑帕约 5 2005 迈向马戏团的时间模型。 Zbl 1015.68815号 阿德南·谢里夫;何继峰 10 2002 实时系统规范和验证的综合方法。 Zbl 0987.68884号 阿德南·谢里夫;奥古斯托·桑帕约;塞尔吉奥·卡瓦尔坎特 1 2001 变分级数极值项的极限定理。 Zbl 0531.60020号 格内登科,B.V。;A.谢里夫。 6 1983 第二类逐步删失威布尔数据的结构预测分布。 Zbl 0393.62040号 A.谢里夫。;谭,P。 2 1978 关于一类线性时变离散时间系统的显式解、稳定性和约简。 Zbl 0342.93035号 吴敏英。;A.谢里夫。 1 1977 关于线性时变系统的可换类。 Zbl 0343.93030号 吴敏妍;A.谢里夫。 15 1976 线性动力系统的辨识。 Zbl 0269.93014号 A.谢里夫。;吴敏英。 4 1974 关于结构推断应用于威布尔分布的一些注记。 Zbl 0294.6202号 谭,P。;A.谢里夫。 1 1974 所有引用出版物 前5名被引用出版物 全部的 前5名35位作者引用 15 安娜·卡瓦尔坎蒂 13 詹姆斯·C·P·伍德科克。 6 泽达,弗兰克 4 西蒙·福斯特 4 魏坤 2 艾伦·D·伯恩斯。 2 何继峰 2 科林·奥哈洛兰 2 安迪·威林斯 2 朱慧彪 1 伯恩哈德·艾切尼格(Bernhard K.Aichernig)。 1 法哈德·阿尔巴 1 阿塞特夫·诺艾,勒克雷米奥拉 1 乔纳森·鲍恩。 1 菲利普·布鲁克。 1 安德鲁·巴特菲尔德 1 塞缪尔·卡纳姆 1 菲尔·克莱顿 1 德波尔,弗兰克·S。 1 利奥·弗雷塔斯 1 玛丽·克劳德·高德尔 1 伊恩·海耶斯。 1 何继峰 1 Steve F.金。 1 李晓山 1 刘志明 1 孙孟 1 亚历山大·莫塔。 1 马塞尔·奥利维拉 1 秦胜超 1 佩德罗·里贝罗 1 简·J·M·M·鲁顿。 1 奥古斯托·桑帕约。 1 阿德南·谢里夫 1 叶康峰 全部的 前5名引用于7个系列 7 计算的形式方面 2 理论计算机科学 2 计算机程序设计科学 2 实时系统 1 信息学报 1 系统设计中的形式化方法 1 程序设计中的逻辑和代数方法杂志 在3个字段中引用 26 计算机科学(68至XX) 1 历史和传记(01-XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文