编辑配置文件（在新选项卡中打开） 贝内特·德弗鲁 合著者距离 作者ID： devereux.benet开发 发布日期： 贝内特·德弗鲁 已编制索引的文档： 5出版物自2001年起 合著者： 5位合著者具有5联合出版物 70位合作作者 合著者 0 单作者的 5 玛莎·契契克 三 史蒂夫·伊斯特布鲁克 三 阿里·古芬克尔 2 Albert Y.C.赖。 1 维克托·彼得罗维赫 系列 1 系统设计中的形式化方法 领域 5 计算机科学（68至XX） 4 数理逻辑与基础（03-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用50中的次39文件 引用人▼ 年份▼ 符号多值模型检查的数据结构。 Zbl 1109.68063号 玛莎·契契克；阿里·古芬克尔；贝内特·德弗鲁；阿尔伯特·莱；史蒂夫·伊斯特布鲁克 22 2006 使用SPIN对具有细粒度抽象的无限状态空间系统进行建模检查。 Zbl 0985.68031号 玛莎·契契克；贝内特·德弗鲁；阿里·古芬克尔 17 2001 使用格表示的高效多值模型选择。 Zbl 1006.68085号 玛莎·契契克；贝内特·德弗鲁；史蒂夫·伊斯特布鲁克；Albert Y.C.赖。；维克托·彼得罗维赫 5 2001 实现多值符号模型检查器。 Zbl 0978.68542号 玛莎·契契克；贝内特·德弗鲁；史蒂夫·伊斯特布鲁克 4 2001 \（{\mathcal X}\）Chek：多值模型检查器。 Zbl 1010.68809号 玛莎·契契克；阿里·古芬克尔；贝内特·德弗鲁 2 2002 符号多值模型检查的数据结构。 Zbl 1109.68063号 玛莎·契契克；阿里·古芬克尔；贝内特·德弗鲁；阿尔伯特·莱；史蒂夫·伊斯特布鲁克 22 2006 \（{\mathcal X}\）Chek：多值模型检查器。 Zbl 1010.68809号 玛莎·契契克；阿里·古芬克尔；贝内特·德弗鲁 2 2002 使用SPIN对具有细粒度抽象的无限状态空间系统进行建模检查。 Zbl 0985.68031号 玛莎·契契克；贝内特·德弗鲁；阿里·古芬克尔 17 2001 使用格表示的高效多值模型选择。 兹比尔1006.68085 玛莎·契契克；贝内特·德弗鲁；史蒂夫·伊斯特布鲁克；Albert Y.C.赖。；维克托·彼得罗维赫 5 2001 实现多值符号模型检查器。 Zbl 0978.68542号 玛莎·契契克；贝内特·德弗鲁；史蒂夫·伊斯特布鲁克 4 2001 所有引用的出版物 前5名被引用出版物 全部的 前5名76位作者引用 5 奥尔纳·库普弗曼 5 李永明 4 克劳迪奥·蒙吉 三 曹永志 三 曼弗雷德·德罗斯特 三 奥尔纳·格伦伯格 三 Legay、Axel 三 潘海宇 2 安娜·伯纳斯科尼 2 玛莎·契契克 2 马克西姆·科尔迪 2 阿里·古芬克尔 2 雷、李辉 2 尤德·卢斯蒂格 2 马，战友 2 阿里·莫瓦查尔 2 迈克，帕帕达基斯 2 亚历山德罗·玛丽亚·里齐 2 沙龙·肖姆 2 古拉姆雷扎·索图德 2 鲍拉·斯波莱蒂尼 1 沙乌尔·阿尔马戈 1 杰斐逊·O·安德拉德。 1 弗朗西斯科·贝拉迪内利 1 阿拉里科坎佩特利 1 陈一香 1 哈娜·乔克勒 1 威廉·康拉迪 1 达姆，丹尼斯·雷内 1 黛拉·莫妮卡，达里奥 1 贝内特·德弗鲁 1 史蒂夫·伊斯特布鲁克 1 马苏德·易卜拉希米 1 马可·费拉 1 费内科斯（Georgios E.Fainekos）。 1 费兰多，安吉洛 1 塞尔吉奥·加西亚 1 卡洛·盖齐 1 戈恩，希拉 1 亚历山大·格鲁勒 1 舒拉米特·哈拉米什 1 杰梅内斯（Jiménez）、豪尔赫（Jorge E.）。 1 金、志 1 Yukiyoshi县Kameyama 1 迪特里赫·库斯克 1 尼娜·尤尔埃夫娜·库萨克 1 Albert Y.C.赖。 1 萨米人拉兹雷格 1 马丁·勒克 1 李三江 1 阿尔贝托·卢什·拉富恩特 1 瓦迪姆·马尔沃内 1 耶尔·梅勒 1 乌戈·蒙塔纳里。 1 苏珊娜·蒙特斯 1 穆克甸 1 埃米利奥·穆尼奥斯·韦拉斯科 1 乔治·J·帕帕斯。 1 帕特里齐奥·佩利奇奥内 1 弗拉迪斯拉夫·瓦西尔·埃维奇·波季莫夫 1 克里斯汀·伊冯·罗泽尔 1 圭多·西亚维科 1 什埃什埃尔贾，布朗尼米尔 1 Stan、Ionel Eduard 1 玛丽·斯托琳加 1 斯特里赫曼（Ofer Strichman） 1 安德烈亚·特帕夫切维奇 1 丹尼尔·托马 1 Tůmová，贾纳 1 福格勒、海科 1 王雪萍 1 海克·卫尔海姆 1 张敏 1 张晓红 1 迪达尔·佐吉 1 左凯 全部的 前5名16篇连载文章中引用 4 模糊集与系统 4 理论计算机科学 4 计算的形式方面 2 信息科学 2 系统设计中的形式化方法 1 信息学报 1 人工智能 1 计算机与系统科学杂志 1 信息与计算 1 国际近似推理杂志 1 离散事件动态系统 1 软计算 1 系统科学与复杂性杂志 1 ACM计算逻辑事务 1 计算机科学评论 1 Modelirovanie i Analiz信息系统 全部的 前5名在8个字段中引用 36 计算机科学（68至XX） 24 数理逻辑与基础（03-XX） 2 阶、格、有序代数结构（06-XX） 2 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 组合数学（05-XX） 1 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文