×
编辑配置文件（在新选项卡中打开）

让-米歇尔·伊利

合著者距离
作者ID： 伊莱·让·米切尔“Ilié，Jean-Michel”最近发表的zbMATH文章
发布日期： Jean-Michel伊利;吉恩·米歇尔·伊利;J.M.伊利。;伊利，J.-M。
已编制索引的文档： 9出版物自1995年起
合著者： 18位合著者具有9联合出版物
135位合作作者
全部的 前5名

合著者

0 单作者的
三 谢尔盖，哈达德
2 Messaouda Bouneb
2 凯斯·克莱
2 丹尼斯·波特雷诺
2 杰梅尔·伊丁·萨伊杜尼
1 苏海卜·巴里尔
1 马利卡·布卡拉
1 塞西尔·布劳恩斯坦
1 洛伦佐·卡普拉
1 贾乌伊达达赫马尼
1 克劳德·杜泰利特
1 埃曼纽尔·恩克雷纳兹
1 朱利安娜·弗朗西斯科尼斯
1 伊莎贝尔·穆尼尔
1 塔赫利特，M。
1 蒂里·米格（Yann Thierry-Mieg）
1 萨那尤纳斯
1 贝尔哈森佐亚里

系列

1 计算的形式方面
1 系统设计中的形式化方法
1 计算与信息学

领域

8 计算机科学（68至XX）
1 概率论与随机过程（60-XX）
1 数值分析（65-XX）
1 系统论；控制（93至XX）
1 信息与通信理论、电路（94-XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

5出版物有被引用12次9文件 引用人▼ 年份▼
设计和评估基于符号和抽象的模型检查器。 Zbl 1108.68501号
谢尔盖，哈达德;Jean-Michel伊利;凯斯·克莱
6
2004
符号符号状态空间表示。 Zbl 1110.68348号
蒂埃里·米格，Yann;Jean-Michel伊利;丹尼斯·波特雷诺
2
2004
符号可达图和部分对称。 Zbl 1496.68226号
哈达德，S。;J.M.伊利。;塔赫利特，M。;Zouari，B。
2
1995
通过符号模型检查进行稳健性量化的可行性分析。 兹比尔1247.68156
苏海卜·巴里尔;塞西尔·布劳恩斯坦;埃马纽埃尔;Jean-Michel伊利;伊莎贝尔·穆尼尔;丹尼斯·波特雷诺;萨那尤尼斯
1
2011
Petri网属性的模块化验证：一种基于结构的方法。 Zbl 1169.68546号
凯斯·克莱;谢尔盖，哈达德;Jean-Michel伊利
1
2005
通过符号模型检查进行稳健性量化的可行性分析。 Zbl 1247.68156号
苏海卜·巴里尔;塞西尔·布劳恩斯坦;埃曼纽尔·恩克雷纳兹;Jean-Michel伊利;伊莎贝尔·穆尼尔;丹尼斯·波特雷诺;萨那尤尼斯
1
2011
Petri网属性的模块化验证：一种基于结构的方法。 Zbl 1169.68546号
凯斯·克莱;谢尔盖，哈达德;Jean-Michel伊利
1
2005
设计和评估基于符号和抽象的模型检查器。 Zbl 1108.68501号
谢尔盖，哈达德;Jean-Michel伊利;凯斯·克莱
6
2004
符号符号状态空间表示。 Zbl 1110.68348号
蒂里·米格（Yann Thierry-Mieg）;Jean-Michel伊利;丹尼斯·波特雷诺
2
2004
符号可达图和部分对称。 Zbl 1496.68226号
哈达德，S。;伊利埃，J.M。;塔赫利特，M。;Zouari，B。
2
1995
所有引用出版物 前5名被引用出版物
全部的 前5名

21位作者引用

三 凯斯·克莱
2 Manuel Gieseking先生
2 尼克·Würdemann
1 苏海卜·巴里尔
1 塔马斯·巴塔
1 雷诺德·克莱维尔
1 马克西米利安·科朗格
1 达尼尔·达瓦斯
1 Fabrice Kordon公司
1 雷吉斯·勒沃格尔
1 伊斯特万·马齐克
1 文斯·莫尔纳
1 奥尔德罗格（Ernst-Rüdiger Olderog）
1 大卫·J·皮尔斯。
1 劳雷·佩特鲁奇
1 皮埃尔，劳伦斯
1 丹尼斯·波特雷诺
1 米歇尔·阿德里安
1 努尔·埃胡达·苏伊德
1 蒂里·米格（Yann Thierry-Mieg）
1 安德拉斯·Vörös

3篇连载文章中引用

1 信息学报
1 信息处理信件
1 计算的形式方面

在5个字段中引用

9 计算机科学（68至XX）
2 博弈论、经济学、金融和其他社会和行为科学（91-XX）
1 组合数学（05-XX）
1 系统论；控制（93至XX）
1 信息与通信理论、电路（94-XX）

按年份列出的引文