编辑配置文件（在新选项卡中打开） 穆罕默德·纳西姆·塞吉尔 合著者距离 作者ID： seghir.mohamed-nassim公司 发布日期： 穆罕默德·纳西姆·塞吉尔；M.Nassim塞吉尔 已编制索引的文档： 8出版物自2005年以来 合著者： 9合著者具有6联合出版物 280位合作作者 全部的 前5名合著者 2 单作者的 1 大卫·阿斯皮纳尔 1 布莱恩，马丁 1 马提亚斯·达姆 1 丹尼尔·科宁 1 斯特凡·莫斯 1 安德烈亚斯·波德尔斯基 1 Norbert W.Schirmer。 1 彼得·施拉梅尔 1 托马斯·怀斯 系列 领域 8 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用11中的次11文件 引用人▼ 年份▼ 量化数组断言的抽象细化。 Zbl 1248.68151号 穆罕默德·纳西姆·塞吉尔；安德烈亚斯·波德尔斯基；托马斯·怀斯 5 2009 通过代码转换简化量化数组断言的验证。 Zbl 1394.68087号 穆罕默德·纳西姆·塞吉尔；布莱恩，马丁 2 2013 将软件模型检查器集成到Isabelle中。 Zbl 1143.68449号 马提亚斯·达姆；斯特凡·毛斯；诺伯特·希默；M.Nassim塞吉尔 2 2005 一种轻量级的循环摘要方法。 Zbl 1348.68150号 穆罕默德·纳西姆·塞吉尔 1 2011 通过急切抽象实现必要和充分的前提条件。 Zbl 1453.68056号 穆罕默德·纳西姆·塞吉尔；彼得·施拉梅尔 1 2014 通过热切的抽象实现必要和充分的前提条件。 Zbl 1453.68056号 穆罕默德·纳西姆·塞吉尔；彼得·施拉梅尔 1 2014 通过代码转换简化量化数组断言的验证。 Zbl 1394.68087号 穆罕默德·纳西姆·塞吉尔；布莱恩，马丁 2 2013 一种轻量级的循环摘要方法。 Zbl 1348.68150号 穆罕默德·纳西姆·塞吉尔 1 2011 量化数组断言的抽象细化。 Zbl 1248.68151号 穆罕默德·纳西姆·塞吉尔；安德烈亚斯·波德尔斯基；托马斯·怀斯 5 2009 将软件模型检查器集成到Isabelle中。 Zbl 1143.68449号 马提亚斯·达姆；斯特凡·莫斯；诺伯特·希默；M.Nassim塞吉尔 2 2005 所有引用出版物 前5名被引用出版物 全部的 前5名被31位作者引用 2 查克拉波蒂，苏普拉特克 2 阿什图什·古普塔 2 迪夫耶什·乌纳德卡特 1 弗朗西斯科·阿尔贝蒂 1 艾亚德·阿尔卡萨 1 罗伯特·布鲁托梅索 1 杰·德泽·富拉拉 1 格雷姆·恒河 1 普拉纳夫·加格 1 西尔维奥·吉拉尔迪 1 Hillebrand，Mark A。 1 比肖克桑·卡夫 1 格温·克莱恩 1 德克·莱恩巴赫（Dirk C.Leinenbach）。 1 杰罗姆·勒鲁 1 刘江超 1 克里斯托夫·Löding 1 帕塔萨拉西马杜苏丹 1 丹尼尔·奈德 1 西尔维奥·兰伊斯 1 对手，泽维尔 1 菲利普·吕默 1 彼得·沙赫特 1 Norbert W.Schirmer。 1 穆罕默德·纳西姆·塞吉尔 1 娜塔莎·莎莉吉娜 1 哈拉尔德·森德加德 1 阿特姆·斯塔罗斯汀 1 彼得·詹姆斯·斯塔基 1 Subotic，铺面 1 亚历山德拉·茨班 全部的 前5名引用于6个系列 2 系统设计中的形式化方法 1 信息学报 1 自动推理杂志 1 逻辑程序设计理论与实践 1 萨达纳 1 计算机语言、系统和结构 在2个字段中引用 11 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 按年份列出的引文