编辑配置文件（在新选项卡中打开） 阿梅尔·曼玛 合著者距离 作者ID： 奶妈美尔 发布日期： 阿梅尔·曼玛 已编制索引的文档： 3出版物自2015年起 合著者： 6位合著者具有3联合出版物 101合著作者 全部的 前5名合著者 0 单作者的 2 马克·弗拉皮耶 1 Chane-Yack-Fa，拉斐尔 1 阿兰·芬克尔 1 穆罕默德·格雷特 1 拉萨·哈默勒 1 萨米尔·塔塔 系列 三 计算的形式方面 领域 三 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用6中的次3文件 引用人▼ 年份▼ 动态特性的基于验证的验证方法：应用于信息系统领域。 Zbl 1331.68142号 阿梅尔·曼玛；马克·弗拉皮耶 4 2015 基于弹性组件的应用程序的验证和部署方法。 Zbl 1377.68039号 穆罕默德·格雷特；拉萨·哈默勒；阿梅尔·曼玛；萨米尔·塔塔 2 2017 基于弹性组件的应用程序的验证和部署方法。 Zbl 1377.68039号 穆罕默德·格雷特；拉萨·哈默勒；阿梅尔·曼玛；萨米尔·塔塔 2 2017 动态特性的基于验证的验证方法：应用于信息系统领域。 Zbl 1331.68142号 阿梅尔·曼玛；马克·弗拉皮尔 4 2015 全部的 前5名10位作者引用 2 穆罕默德·格雷特 2 拉萨·哈默勒 1 柯特林·迪马 1 贝歇尔·艾伊布 1 阿依达·拉胡伊 1 弗雷德里克·朗 1 阿梅尔·曼玛 1 拉杜·马特埃斯库 1 萨米尔·塔塔 1 维克利斯、迪米特里斯 连载1篇 三 计算的形式方面 在1个字段中引用 三 计算机科学（68至XX） 按年份列出的引文