编辑配置文件（在新选项卡中打开） Albert Y.C.赖。 合著者距离 作者ID： lai.albert-y-c 发布日期： Albert Y.C.赖。;阿尔伯特·莱 主页： 网址：https://www.vex.net/~特雷布拉/ 外部链接： MGP公司·ResearchGate研究之门·数据库许可证 已编制索引的文档： 2出版物自2001年起 合著者： 5位合著者具有2联合出版物 70位合作作者 合著者 0 单作者的 2 玛莎·契契克 2 贝内特·德弗鲁 2 史蒂夫·伊斯特布鲁克 1 阿里·古芬克尔 1 维克托·彼得罗维赫 系列 1 系统设计中的形式化方法 领域 2 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用27中的次23文件 引用人▼ 年份▼ 符号多值模型检查的数据结构。 Zbl 1109.68063号 玛莎·契契克;阿里·古芬克尔;贝内特·德弗鲁;阿尔伯特·莱;史蒂夫·伊斯特布鲁克 22 2006 使用格表示的高效多值模型选择。 Zbl 1006.68085号 玛莎·契契克;贝内特·德弗鲁;史蒂夫·伊斯特布鲁克;Albert Y.C.赖。;维克托·彼得罗维赫 5 2001 符号多值模型检查的数据结构。 Zbl 1109.68063号 玛莎·契契克;阿里·古芬克尔;贝内特·德弗鲁;阿尔伯特·莱;史蒂夫·伊斯特布鲁克 22 2006 使用格表示的高效多值模型选择。 Zbl 1006.68085号 玛莎·契契克;贝内特·德弗鲁;史蒂夫·伊斯特布鲁克;Albert Y.C.赖。;维克托·彼得罗维赫 5 2001 所有引用的出版物 前5名被引用出版物 全部的 前5名51位作者引用 5 李永明 4 克劳迪奥·蒙吉 三 曹永志 三 潘海宇 2 安娜·伯纳斯科尼 2 玛莎·契契克 2 马克西姆·科尔迪 2 奥尔纳·格伦伯格 2 Legay、Axel 2 雷、李辉 2 马，战友 2 阿里·莫瓦加尔 2 迈克，帕帕达基斯 2 亚历山德罗·玛丽亚·里齐 2 古拉姆雷扎·索图德 2 鲍拉·斯波莱蒂尼 1 杰斐逊·O·安德拉德。 1 陈一香 1 威廉·康雷迪 1 达姆，丹尼斯·雷内 1 黛拉·莫妮卡，达里奥 1 德弗罗，贝内特 1 曼弗雷德·德罗斯特 1 史蒂夫·伊斯特布鲁克 1 马苏德·易卜拉希米 1 塞尔吉奥·加西亚 1 卡洛·盖齐 1 阿里·古芬克尔 1 杰梅内斯（Jiménez）、豪尔赫（Jorge E.）。 1 金、智 1 Yukiyoshi县Kameyama 1 Albert Y.C.赖。 1 萨米人拉兹雷格 1 李三江 1 卢赫·拉富恩特，阿尔贝托 1 乌戈·蒙塔纳里。 1 苏珊娜·蒙特斯 1 穆克甸 1 埃米利奥·穆尼奥斯·韦拉斯科 1 帕特里齐奥·佩利奇奥内 1 圭多·西亚维科 1 什埃什埃尔贾，布朗尼米尔 1 沙龙·肖姆 1 Stan、Ionel Eduard 1 安德烈亚·特帕夫切维奇 1 Tůmová，贾纳 1 王雪萍 1 张敏 1 张晓红 1 迪达尔·佐吉 1 左凯 全部的 前5名10篇连载文章中引用 4 模糊集与系统 4 计算的形式方面 2 信息科学 2 理论计算机科学 1 信息学报 1 计算机与系统科学杂志 1 国际近似推理杂志 1 系统设计中的形式化方法 1 软计算 1 系统科学与复杂性杂志 全部的 前5名在6个字段中引用 21 计算机科学（68至XX） 13 数学逻辑和基础（03-XX） 2 阶、格、有序代数结构（06-XX） 1 组合数学（05-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文