编辑配置文件（在新选项卡中打开） 埃胡德·夏皮罗。 合著者距离 作者ID： 夏皮罗·埃胡德伊 发布日期： 埃胡德·夏皮罗；埃胡德·夏皮罗。 已编制索引的文档： 28出版物自1981年以来，包括3本书 1名编辑贡献·1进一步贡献 合著者： 26位合著者具有20联合出版物 556位合作作者 全部的 前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 叶卡捷琳娜·帕尼娜。 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出版物有被引用400中的次340文件 引用人▼ 年份▼ 生物环境：生物隔间的抽象。 Zbl 1069.68569号 阿维夫·雷格夫；叶卡捷琳娜·帕尼娜。；威廉·西尔弗曼；卢卡·卡德利；埃胡德·夏皮罗 114 2004 随机命名演算在分子过程表示和模拟中的应用。 Zbl 0997.92018号 科拉多·普里亚米；阿维夫·雷格夫；埃胡德·夏皮罗；威廉·西尔弗曼 82 2001 Prolog的艺术。高级编程技术。 Zbl 0605.68002号 利昂·斯特林；埃胡德·夏皮罗 70 1986 算法程序调试。第二次打印。 Zbl 0589.68003号 埃胡德·夏皮罗。 46 1984 PROLOG的艺术。高级编程技术。第2版。 Zbl 0850.68137号 利昂·斯特林；埃胡德·夏皮罗 46 1994 逻辑程序的一种类型系统。 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 0456.49005号 夏皮罗，E.Y。；弗雷德里克斯，D.A。；鲁尼，R.H。 2 1981 关于输出反馈解耦。 Zbl 0484.93045号 金·H·Y。；夏皮罗，E.Y。 2 1981 使用抽象解释对Prolog和FCP程序进行专门化。 Zbl 0654.68025号 约翰·加拉赫；迈克尔·科迪什；埃胡德·夏皮罗 2 1988 在Concurrent Prolog中实现并行算法：MAXFLOW体验。 Zbl 0613.68015号 丽莎·海勒斯坦；埃胡德·夏皮罗 1 1986 用于进程和代码映射的分层方法。 兹比尔062468031 斯蒂芬·泰勒；Av-Ron，Evyatar公司；埃胡德·夏皮罗 1 1987 公平、有偏见和自平衡合并运算符：它们在Concurrent Prolog中的规范和实现。 Zbl 0592.68058号 埃胡德·夏皮罗；科林·米罗夫斯基 1 1984 度量空间的聚合：在选举、预算和立法中进行提议和投票。 Zbl 1519.91104号 劳伦特·布尔托；加尔·沙哈夫；埃胡德·夏皮罗；尼姆罗德·塔尔蒙 1 2021 基于西比尔弹性电导的社区增长。 Zbl 07121081号 乌里·普科；加尔·沙哈夫；埃胡德·夏皮罗；尼姆罗德·塔尔蒙 1 2019 关于机器和语言的结构简单性。 Zbl 0858.68019号 亚尔·莫斯科维茨；埃胡德·夏皮罗 1 1995 度量空间的聚合：在选举、预算和立法中进行提议和投票。 Zbl 1519.91104号 劳伦特·布尔托；加尔·沙哈夫；埃胡德·夏皮罗；尼姆罗德·塔尔蒙 1 2021 基于Sybil-resilient传导的社区增长。 Zbl 07121081号 乌里·普科；加尔·沙哈夫；埃胡德·夏皮罗；尼姆罗德·塔尔蒙 1 2019 生物环境：生物隔间的抽象。 Zbl 1069.68569号 阿维夫·雷格夫；叶卡捷琳娜·帕尼娜。；威廉·西尔弗曼；卢卡·卡德利；埃胡德·夏皮罗 114 2004 随机命名演算在分子过程表示和模拟中的应用。 Zbl 0997.92018号 科拉多·普里亚米；阿维夫·雷格夫；埃胡德·夏皮罗；威廉·西尔弗曼 82 2001 关于机器和语言的结构简单性。 Zbl 0858.68019号 亚尔·莫斯科维茨；埃胡德·夏皮罗 1 1995 PROLOG的艺术。高级编程技术。第2版。 Zbl 0850.68137号 利昂·斯特林；埃胡德·夏皮罗 46 1994 一种用于逻辑程序的类型系统。 Zbl 0717.68016号 埃亚尔·亚德尼；埃胡德·夏皮罗 9 1991 逻辑程序的证明理论和语义。 兹比尔0724.68018 哈伊姆·盖夫曼；埃胡德·夏皮罗 6 1989 使用抽象解释对Prolog和FCP程序进行专门化。 Zbl 0654.68025号 约翰·加拉赫；迈克尔·科迪什；埃胡德·夏皮罗 2 1988 用于进程和代码映射的分层方法。 Zbl 0624.68031号 斯蒂芬·泰勒；Av Ron，叶维亚塔；埃胡德·夏皮罗 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 算法程序调试。第二次打印。 Zbl 0589.68003号 埃胡德·夏皮罗。 46 1984 逻辑程序的交替和计算复杂性。 Zbl 0579.68030号 埃胡德·夏皮罗。 8 1984 公平、有偏见和自平衡合并运算符：它们在Concurrent Prolog中的规范和实现。 Zbl 0592.68058号 埃胡德·夏皮罗；科林·米罗夫斯基 1 1984 次优恒输出反馈及其在现代飞行控制系统设计中的应用。 Zbl 0456.49005号 夏皮罗，E.Y。；弗雷德里克斯，D.A。；鲁尼，R.H。 2 1981 关于输出反馈解耦。 Zbl 0484.93045号 金·H·Y。；夏皮罗，E.Y。 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 拉斐尔·E·卡巴列罗。 4 卡德，莫菲 4 朱利奥·卡拉瓦格纳 4 加布里埃尔·乔巴努 4 乔治·德尔扎诺 4 弗朗索瓦·法赫斯 4 莫雷诺，法拉斯基 4 瓦实提·加尔平 4 戈帕尔·古普塔 4 马蒂亚斯·约翰 4 安德鲁·菲利普斯 4 亨利克·皮利加德 4 阿尔贝托，Policriti 4 阿德里安·里斯科 4 汉内·里斯·尼尔森 4 亚历山德罗·罗曼内尔 4 阿德琳德·M·乌尔马赫。 4 克里斯蒂安·维萨里 三 伊丽莎白·布拉德利 三 大卫·奇亚鲁吉 三 安德鲁·克洛珀 三 文森特·达诺斯 三 皮耶保罗·德加诺 三 安德烈亚·德加斯佩里 三 法比奥·加杜奇 三 菲利普·安·加德纳 三 奥赞·卡拉马诺·乌拉尔 三 叶卡捷琳娜·科门丹茨卡亚 三 吉恩·克里文 三 Kwiatkowska，Marta Z。 三 科西莫·拉内夫 三 卢、伦金 三 马丁·奥列特，纳西索 三 麦凯，克里斯 三 蒙雷利，贾科玛·瓦伦蒂娜 三 雷切尔·诺曼 三 卡洛斯·奥拉特 三 乔瓦尼·帕迪尼 三 权力，约翰 三 保拉·夸里亚 三 拉奥·M·R·K·克里希纳 三 费尔南多·Sáenz-Pérez 三 卡隆·桑德兰 三 Leon S.斯特林。 三 莱因哈德·斯托勒 三 阿尔贝托·维尔德乔 2 北拉宾德拉·班纳吉。 2 安德烈亚·贝尔尼尼 2 利维奥·比奥利奥 2 安娜丽莎·博西 2 埃内斯托·布里比斯卡 2 莫里斯·布吕诺格 2 安德烈斯·布约萨 2 艾曼纽尔·卡隆 2 迈克尔·科迪什 2 威廉·科恩。 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 信息与计算 6 数学与人工智能年鉴 6 逻辑与代数程序设计杂志 5 国际并行程序设计杂志 4 计算的形式方面 三 信息学报 三 计算机与数学及其应用 三 自动推理杂志 三 杰泰。实验与理论人工智能杂志 三 MSCS公司。计算机科学中的数学结构 2 信息处理信件 2 软件。实践与经验 2 符号计算杂志 2 计算机科学与技术杂志 2 国际近似推理杂志 2 数学和计算机建模 2 约束条件 2 程序设计中的逻辑和代数方法杂志 2 膜计算杂志 1 应用力学与工程中的计算机方法 1 离散应用数学 1 国际通用系统杂志 1 应用数学与计算 1 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 1 信息科学 1 国际工程数值方法杂志 1 计算机与系统科学杂志 1 苏联数学杂志 1 符号逻辑杂志 1 凯贝内提卡 1 数学系统理论 1 合成 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 物理D 1 算法 1 应用数学快报 1 国际计算机科学基础杂志 1 离散事件动态系统 1 应用智能 1 模式识别 1 RAIRO公司。Informatique Théorique et Applications公司 1 工程、通信和计算中的应用代数 1 计算优化与应用 1 计算经济学 1 美国计算机学会模型和计算机仿真汇刊 1 并行算法与应用 1 高阶和符号计算 1 计算机基础理论 1 计算机语言、系统和结构 1 ACM计算逻辑事务 1 医学研究中的统计方法 1 RAIRO公司。理论信息学及其应用 1 理论生物学杂志 1 哲学学报A.伦敦皇家学会 全部的 前5名21个领域被引用 323 计算机科学（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） 按年份列出的引文