编辑配置文件（在新选项卡中打开） 埃胡德·夏皮罗。 合著者距离 作者ID： 夏皮罗·埃胡德伊 发布日期： 埃胡德·夏皮罗;埃胡德·夏皮罗。 已编制索引的文档： 28出版物自1981年以来，包括3本书 1名编辑贡献·1进一步贡献 合著者： 26位合著者具有20联合出版物 559位联合作者 全部的 前5名合著者 6 单作者的 4 尼姆罗德·塔尔蒙 三 迈克尔·科迪什 2 阿布拉莫维奇，本 2 弗雷德里克斯，D.A。 2 哈伊姆·盖夫曼 2 阿维夫·雷格夫 2 加尔·沙哈夫 2 威廉·西尔弗曼 2 Leon S.斯特林。 1 里夫卡·阿达尔 1 Av-Ron，Evyatar公司 1 沃尔夫冈·比贝尔 1 艾伦·W·比尔曼。 1 劳伦特·布尔托 1 卢卡·卡德利 1 詹姆斯·德尔格兰德。 1 伊迪丝·埃尔金 1 约翰·加拉赫（John P.Gallagher）。 1 吉尔·本亚明 1 大卫·格罗西 1 丽莎·海勒斯坦 1 杰拉德·P·休特。 1 菲利普·乔兰德 1 Jourrand博士。 1 玛雅·卡汉 1 迈克尔·马赫（Michael J.Maher）。 1 科林·米罗夫斯基 1 亚尔·莫斯科维茨 1 约翰·米洛波洛斯 1 叶卡捷琳娜·帕尼娜（Ekaterina M.Panina）。 1 乌里·普科 1 科拉多·普里亚米 1 鲁尼，R.H。 1 穆利·萨夫拉 1 Stickel，Mark E。 1 埃亚尔·亚德尼 全部的 前5名系列 4 逻辑程序设计杂志 4 新一代计算 2 计算机科学课堂讲稿 1 国际控制杂志 1 信息处理信件 1 IEEE自动控制汇刊 1 理论计算机科学 1 物理D 1 国际并行程序设计杂志 1 人工智能研究杂志 1 数学与人工智能年鉴 全部的 前5名领域 26 计算机科学（68至XX） 4 博弈论、经济学、金融和其他社会和行为科学（91-XX） 4 生物学和其他自然科学（92-XX） 三 系统论；控制（93至XX） 2 总体主题；集合（00-XX） 2 变分法与最优控制；最优化（49至XX） 1 数学逻辑和基础（03-XX） 1 组合数学（05-XX） 1 数值分析（65-XX） 1 运筹学、数学规划（90-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 20出版物有被引用401中的次341文件 引用人▼ 年份▼ 生物环境：生物隔间的抽象。 Zbl 1069.68569号 阿维夫·雷格夫;叶卡捷琳娜·帕尼娜（Ekaterina M.Panina）。;威廉·西尔弗曼;卢卡·卡德利;埃胡德·夏皮罗 114 2004 随机命名演算在分子过程表示和模拟中的应用。 Zbl 0997.92018号 科拉多·普里亚米;阿维夫·雷格夫;埃胡德·夏皮罗;威廉·西尔弗曼 82 2001 Prolog的艺术。高级编程技术。 Zbl 0605.68002号 利昂·斯特林;埃胡德·夏皮罗 70 1986 PROLOG的艺术。高级编程技术。第2版。 Zbl 0850.68137号 利昂·斯特林;埃胡德·夏皮罗 47 1994 算法程序调试。第二次打印。 Zbl 0589.68003号 埃胡德·夏皮罗。 46 1984 逻辑程序的一种类型系统。 Zbl 0717.68016号 埃亚尔·亚德尼;埃胡德·夏皮罗 9 1991 逻辑程序的交替和计算复杂性。 Zbl 0579.68030号 埃胡德·夏皮罗。 8 1984 将OR并行编译为AND并行。 Zbl 0595.68026号 科迪什，迈克尔;埃胡德·夏皮罗 6 1986 逻辑程序的证明理论和语义。 Zbl 0724.68018号 哈伊姆·盖夫曼;埃胡德·夏皮罗 6 1989 平面并发Prolog的并行实现。 Zbl 0614.68007号 斯蒂芬·泰勒;Shmuel萨夫拉;埃胡德·夏皮罗 5 1986 人工智能基础。高级课程。 Zbl 0614.68058号 4 1986 关于输出反馈解耦。 Zbl 0484.93045号 Kim，H.Y。;夏皮罗，E.Y。 2 1981 使用抽象解释对Prolog和FCP程序进行专门化。 Zbl 0654.68025号 约翰·加拉赫;科迪什，迈克尔;埃胡德·夏皮罗 2 1988 次优恒输出反馈及其在现代飞行控制系统设计中的应用。 Zbl 0456.49005号 夏皮罗，E.Y。;弗雷德里克斯，D.A。;鲁尼，R.H。 2 1981 用于进程和代码映射的分层方法。 Zbl 0624.68031号 斯蒂芬·泰勒;Av-Ron，Evyatar公司;埃胡德·夏皮罗 1 1987 度量空间的聚合：在选举、预算和立法中进行提议和投票。 Zbl 1519.91104号 劳伦特·布尔托;加尔·沙哈夫;埃胡德·夏皮罗;尼姆罗德·塔尔蒙 1 2021 公平、有偏见和自我平衡的合并运算符：它们在并发Prolog中的规范和实现。 Zbl 0592.68058号 埃胡德·夏皮罗;科林·米罗夫斯基 1 1984 关于机器和语言的结构简单性。 Zbl 0858.68019号 亚尔·莫斯科维茨;埃胡德·夏皮罗 1 1995 在Concurrent Prolog中实现并行算法：MAXFLOW体验。 Zbl 0613.68015号 丽莎·海勒斯坦;埃胡德·夏皮罗 1 1986 基于Sybil-resilient传导的社区增长。 Zbl 1533.68265号 乌里·普科;加尔·沙哈夫;埃胡德·夏皮罗;尼姆罗德·塔尔蒙 1 2019 度量空间的聚合：在选举、预算和立法中进行提议和投票。 Zbl 1519.91104号 劳伦特·布尔托;加尔·沙哈夫;埃胡德·夏皮罗;尼姆罗德·塔尔蒙 1 2021 基于Sybil-resilient传导的社区增长。 Zbl 1533.68265号 乌里·普科;加尔·沙哈夫;埃胡德·夏皮罗;尼姆罗德·塔尔蒙 1 2019 生物环境：生物隔间的抽象。 Zbl 1069.68569号 阿维夫·雷格夫;叶卡捷琳娜·帕尼娜（Ekaterina M.Panina）。;威廉·西尔弗曼;卢卡·卡德利;埃胡德·夏皮罗 114 2004 随机命名演算在分子过程表示和模拟中的应用。 Zbl 0997.92018号 普里阿米，科拉多;阿维夫·雷格夫;埃胡德·夏皮罗;威廉·西尔弗曼 82 2001 关于机器和语言的结构简单性。 Zbl 0858.68019号 亚尔·莫斯科维茨;埃胡德·夏皮罗 1 1995 PROLOG的艺术。高级编程技术。第2版。 Zbl 0850.68137号 利昂·斯特林;埃胡德·夏皮罗 47 1994 逻辑程序的一种类型系统。 Zbl 0717.68016号 埃亚尔·亚德尼;埃胡德·夏皮罗 9 1991 逻辑程序的证明理论和语义。 Zbl 0724.68018号 哈伊姆·盖夫曼;埃胡德·夏皮罗 6 1989 Prolog和FCP程序的专业化，使用抽象解释。 Zbl 0654.68025号 约翰·加拉赫;迈克尔·科迪什;埃胡德·夏皮罗 2 1988 用于进程和代码映射的分层方法。 Zbl 0624.68031号 斯蒂芬·泰勒;Av-Ron，Evyatar公司;埃胡德·夏皮罗 1 1987 Prolog的艺术。高级编程技术。 Zbl 0605.68002号 利昂·斯特林;埃胡德·夏皮罗 70 1986 将OR并行编译为AND并行。 Zbl 0595.68026号 科迪什，迈克尔;埃胡德·夏皮罗 6 1986 平面并发Prolog的并行实现。 Zbl 0614.68007号 斯蒂芬·泰勒;Shmuel萨夫拉;埃胡德·夏皮罗 5 1986 人工智能基础。高级课程。 Zbl 0614.68058号 4 1986 在Concurrent Prolog中实现并行算法：MAXFLOW体验。 Zbl 0613.68015号 丽莎·海勒斯坦;埃胡德·夏皮罗 1 1986 算法程序调试。第二次打印。 兹比尔0589.68003 埃胡德·夏皮罗。 46 1984 逻辑程序的交替和计算复杂性。 Zbl 0579.68030号 埃胡德·夏皮罗。 8 1984 公平、有偏见和自我平衡的合并运算符：它们在并发Prolog中的规范和实现。 Zbl 0592.68058号 埃胡德·夏皮罗;科林·米罗夫斯基 1 1984 关于输出反馈解耦。 Zbl 0484.93045号 金·H·Y。;夏皮罗，E.Y。 2 1981 次优恒输出反馈及其在现代飞行控制系统设计中的应用。 Zbl 0456.49005号 夏皮罗，E.Y。;弗雷德里克斯，D.A。;鲁尼，R.H。 2 1981 所有引用出版物 前5名被引用出版物 全部的 前5名492位作者引用 11 保罗·米拉佐 10 卢卡·卡德利 10 简·希尔斯顿 9 罗伯托·巴布蒂 9 德拉本特，Włodzimierz 9 安德烈亚·马焦洛·谢蒂尼 8 奇亚拉博迪 8 科拉多·普里亚米 7 罗伯塔·戈里 6 费德里卡·乔切塔 6 吕克·德·雷德 6 弗朗西丝卡·列维 6 史蒂芬·H·马格尔顿。 6 埃胡德·夏皮罗。 6 安吉洛·特洛伊娜 6 吉安路易吉·扎瓦塔罗 5 卢卡·博托卢西 5 琳达·布罗多 5 迈克尔·哈纳斯 5 戴安娜·赫米思 5 弗莱明·尼尔森 4 阿曼，博格丹 4 布西，娜迪亚 4 拉斐尔·卡巴列罗（Rafael E.Caballero）。 4 卡德，莫菲 4 朱利奥·卡拉瓦格纳 4 加布里埃尔·乔巴努 4 乔治·德尔赞诺 4 弗朗索瓦·法赫斯 4 莫雷诺，法拉斯基 4 瓦实提·加尔平 4 戈帕尔·古普塔 4 马蒂亚斯·约翰 4 安德鲁·菲利普斯 4 亨利克·皮利加德 4 阿尔贝托，Policriti 4 阿德里安·里斯科 4 汉内·里斯·尼尔森 4 亚历山德罗·罗曼内尔 4 阿德琳德·M·乌尔马赫。 4 克里斯蒂安·维萨里 三 伊丽莎白·布拉德利 三 戴维·齐亚鲁吉 三 安德鲁·克洛珀 三 文森特·达诺斯 三 皮耶保罗·德加诺 三 安德里亚·德加斯普里 三 法比奥·加杜奇 三 菲利普·安·加德纳 三 奥赞·卡拉马诺·乌拉尔 三 叶卡捷琳娜·科门丹茨卡亚 三 吉恩·克里文 三 Marta Z.Kwiatkowska。 三 科西莫·拉内夫 三 卢、伦金 三 马丁·奥列特，纳西索 三 克里斯·麦凯格 三 蒙雷利，贾科玛·瓦伦蒂娜 三 雷切尔·诺曼 三 卡洛斯·奥拉特 三 乔瓦尼·帕迪尼 三 权力，约翰 三 保拉·夸里亚 三 拉奥·M·R·K·克里希纳 三 费尔南多·Sáenz-Pérez 三 卡隆·桑德兰 三 莱昂·斯特林。 三 莱因哈德·斯托勒 三 阿尔贝托·维尔德乔 2 北拉宾德拉·班纳吉。 2 安德烈亚·贝尔尼尼 2 比奥格里奥，利维奥 2 安娜丽莎·博西 2 埃内斯托·布里比斯卡 2 莫里斯·布吕诺格 2 安德烈斯·布约萨 2 艾曼纽尔·卡隆 2 迈克尔·科迪什 2 威廉·W·科恩。 2 斯特凡妮娅·科斯坦蒂尼 2 维罗妮卡·达尔 2 皮埃尔·德兰萨特 2 马里亚纽拉州Dezani-Ciancaglini 2 米雷尔·杜卡斯 2 哈特穆特·埃里格 2 佐伊·法洛米尔 2 伏玉溪 2 毛里齐奥·加布里埃利 2 尤兰达加西亚·鲁伊斯 2 滨野、Masahiro 2 哈拉里，弗兰克 2 曼努埃尔五世（Manuel V.Hermenegildo）。 2 克里斯蒂安·凯斯廷 2 阿伦·拉科蒂亚 2 李世绝 2 Michael Leuschel先生 2 塞德里克·侯赛因 2 金·万豪酒店 2 罗宾·米尔纳 2 罗尔夫·莫雷尔 …还有392名作者 全部的 前5名61篇连载文章中引用 67 理论计算机科学 17 新一代计算 15 机器学习 15 逻辑程序设计理论与实践 11 人工智能 8 自然计算 7 信息与计算 7 数学与人工智能年鉴 6 逻辑与代数程序设计杂志 5 国际并行程序设计杂志 4 计算的形式方面 三 信息学报 三 计算机与数学及其应用 三 自动推理杂志 三 吉泰。实验与理论人工智能杂志 三 计算机科学中的数学结构 2 信息处理信件 2 软件。实践与经验 2 符号计算杂志 2 计算机科学与技术杂志 2 国际近似推理杂志 2 数学和计算机建模 2 约束条件 2 程序设计中的逻辑和代数方法杂志 2 膜计算杂志 1 应用力学与工程中的计算机方法 1 离散应用数学 1 国际通用系统杂志 1 应用数学与计算 1 拓扑和Géométrie差异分类 1 信息科学 1 国际工程数值方法杂志 1 计算机与系统科学杂志 1 苏联数学杂志 1 符号逻辑杂志 1 凯贝内提卡 1 数学系统理论 1 合成 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 物理D 1 算法 1 应用数学快报 1 国际计算机科学基础杂志 1 离散事件动态系统 1 应用智能 1 模式识别 1 赖罗。Informatique Théorique et Applications公司 1 工程、通信和计算中的应用代数 1 计算优化与应用 1 计算经济学 1 美国计算机学会模型和计算机仿真汇刊 1 并行算法与应用 1 高阶与符号计算 1 计算机基础理论 1 计算机语言、系统和结构 1 ACM计算逻辑事务 1 医学研究中的统计方法 1 赖罗。理论信息学及其应用 1 理论生物学杂志 1 哲学学报A.伦敦皇家学会 全部的 前5名21个领域被引用 324 计算机科学（68至XX） 104 生物学和其他自然科学（92-XX） 25 数学逻辑和基础（03-XX） 5 运筹学、数学规划（90-XX） 5 博弈论、经济学、金融和其他社会和行为科学（91-XX） 4 范畴理论；同调代数（18-XX） 2 历史和传记（01-XX） 2 组合数学（05-XX） 2 常微分方程（34-XX） 2 可变形固体力学（74-XX） 2 系统论；控制（93至XX） 1 阶、格、有序代数结构（06-XX） 1 一般代数系统（08-XX） 1 结合环与代数（16-XX） 1 测量和集成（28-XX） 1 概率论与随机过程（60-XX） 1 统计学（62-XX） 1 数值分析（65-XX） 1 经典热力学，传热（80-XX） 1 量子理论（81-XX） 1 数学教育（97-XX） 按年份列出的引文