编辑配置文件(在新选项卡中打开) 伊利·纳伊姆 合著者距离 作者ID: 纳杰姆·埃利 发布日期: 伊利·纳伊姆 已编制索引的文档: 10出版物自1991年起 4作为编辑的贡献 合著者: 15位合著者具有14联合出版物 164联合作者 全部的 前5名合著者 0 单作者的 5 Jean-Bernard斯特凡尼 三 阿卜杜勒克里姆·尼穆尔 2 亚历山德罗·范特奇 2 拉贾·纳赛尔 2 特拉塔尔,伊斯坦布尔。埃姆雷 1 斯坦·布德科夫斯基 1 西里尔·卡雷兹 1 安娜·R·卡瓦利。 1 伊莎贝·德梅里 1 乔纳森·米乔克斯 1 乌韦·内斯特曼 1 弗兰克·奥尔森 1 Jean-François,Pradat-Peyre 1 佩迪塔·史蒂文斯 1 维吉·多恩佐·古奇(ViguiéDonzeau-Gouge,Véronique) 系列 2 IEEE信息理论汇刊 2 计算机科学课堂讲稿 1 逻辑与代数程序设计杂志 1 国际信息处理联合会 字段 12 计算机科学(68-XX) 三 总体主题;集合(00-XX) 2 信息与通信理论、电路(94-XX) 1 概率论与随机过程(60-XX) 按年份列出的出版物 zbMATH Open中包含的引文 5出版物有被引用7中的次5文件 引用人▼ 年份▼ 形式化描述技术和协议规范、测试和验证。XI/PSTV XVIII’98第十一堡。IFIP TC6 WG6。分布式系统和通信协议形式描述技术(FORTE XI)和协议规范、测试和验证(PSTV XVIII)联合国际会议,1998年11月3日至6日,法国巴黎。 Zbl 0905.68004号 2 1998 通过行为类型确保对象演算的活性。 兹比尔0953.68084 伊利·纳伊姆;阿卜杜勒克里姆·尼穆尔;Jean-Bernard斯特凡尼 2 1999 分布式对象接口的无限类型。 Zbl 0928.68073号 伊利·纳伊姆;阿卜杜勒克里姆·尼穆尔;Jean-Bernard斯特凡尼 1 1999 用于安全web服务编排的会话类型。 Zbl 1283.68065号 乔纳森·米乔克斯;伊利·纳伊姆;亚历山德罗·范特奇 1 2013 良好组件组装的行为合同。 Zbl 1279.68025号 西里尔·卡雷兹;亚历山德罗·范特奇;伊利·纳伊姆 1 2003 安全web服务编排的会话类型。 Zbl 1283.68065号 乔纳森·米乔克斯;伊利·纳伊姆;亚历山德罗·范特奇 1 2013 组件的合理组装的行为契约。 Zbl 1279.68025号 西里尔·卡雷兹;亚历山德罗·范特奇;伊利·纳伊姆 1 2003 通过行为类型确保对象演算的活性。 Zbl 0953.68084号 伊利·纳伊姆;阿卜杜勒克里姆·尼穆尔;Jean-Bernard斯特凡尼 2 1999 分布式对象接口的无限类型。 Zbl 0928.68073号 伊利·纳伊姆;阿卜杜勒克里姆·尼穆尔;Jean-Bernard斯特凡尼 1 1999 形式化描述技术和协议规范、测试和验证。XI/PSTV XVIII’98第十一堡。IFIP TC6 WG6。1分布式系统和通信协议的形式化描述技术(FORTE XI)和协议规范、测试和验证(PSTV XVIII)国际联合会议,法国巴黎,1998年11月3日至6日。 Zbl 0905.68004号 2 1998 全部的 前5名14位作者引用 2 莫里斯·比克。 1 Basile,大卫 1 吉尔勒米纳·克莱杜 1 马丁·范策尔 1 罗尔夫·亨尼克 1 艾哈迈德·莫欣·马赫迪 1 贾纳丹·库马尔·米斯拉 1 何塞·普伦萨 1 罗萨里奥·普格利泽 1 安托尼奥·拉瓦拉 1 佩德罗·雷森德 1 苏曼·罗伊 1 Vascoconcelos、Vasco Thudichum 1 伯尔尼韦斯特法尔 3篇连载文章中引用 1 信息与计算 1 应用非经典逻辑杂志 1 计算机科学中的逻辑方法 在3个字段中引用 5 计算机科学(68-XX) 2 数学逻辑和基础(03-XX) 1 系统论;控制(93至XX) 按年份列出的引文