编辑配置文件(在新选项卡中打开) 菲尔德,约翰·埃弗雷特 合著者距离 作者ID: 约翰·埃弗雷特 发布日期: 约翰·菲尔德;J·菲尔德。;菲尔德,约翰·埃弗雷特 更多。。。较少的 编入索引的文档: 12出版物自1992年起 2作为编辑的贡献 合著者: 16位合著者具有11联合出版物 360位合作作者 全部的 前5名合著者 1 单作者的 6 甘尼桑拉马林加姆 三 戈亚尔、迪帕克 三 罗马人Manevich 三 穆利·萨吉夫 2 Vascoconcelos、Vasco Thudichum 2 叶哈夫,埃兰 1 弗朗索瓦州阿维兰 1 斯科特·布兰登。 1 萨蒂什·钱德拉 1 穆罕默德·法哈特 1 D.A.戈勒姆。 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 拉加万Komondoor 1 蒂莫西·雷顿。 1 玛丽亚·克里斯蒂娜·马里内斯库 1 瑞安·诺拉 1 杰森·吕克·彼得森 1 教皇,P.H。 1 布莱恩·基思(Brian Keith),布兰斯(Spears) 1 克里斯蒂安·斯特凡森 1 卡洛斯·瓦雷拉。 全部的 前5名系列 2 计算机程序设计科学 1 流体力学杂志 1 理论计算机科学 1 伦敦皇家学会会刊。系列A.数学和物理科学 1 计算机科学课堂讲稿 1 统计分析与数据挖掘 领域 12 计算机科学(68至XX) 2 一般性和全局性主题;集合(00-XX) 1 统计学(62-XX) 1 可变形固体力学(74-XX) 1 流体力学(76-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用13中的次13文件 引用人▼ 年份▼ Transactors:在不可靠的环境中维护全局一致的分布式状态的编程模型。 Zbl 1369.68134号 约翰·菲尔德;卡洛斯·瓦雷拉。 5 2005 空化隧道中水翼上方流动产生的空化发光。 Zbl 1063.76509号 T·G·莱顿。;法哈特,M。;J.E.菲尔德。;阿维兰,F。 三 2003 紧凑地表示静态分析的一阶结构。 Zbl 1015.68511号 马内维奇(Manevich,R.)。;拉马林加姆,G。;J·菲尔德。;戈亚尔,D。;萨吉夫,M。 2 2002 基于抽象反例的powerset域精化。 Zbl 1149.68357号 罗马人Manevich;菲尔德,约翰;托马斯·亨辛格(Thomas A.Henzinger)。;拉马林加姆,G。;穆利·萨吉夫 2 2007 增量项重写的图简化方法。 Zbl 1503.68109号 菲尔德,约翰 2 1993 部分析取堆抽象。 Zbl 1104.68419号 罗马人Manevich;穆利·萨吉夫;甘尼桑拉马林加姆;约翰·菲尔德 1 2004 一种改进的高应变率下压缩应力应变测量方法。 Zbl 0775.73028号 D.A.戈勒姆。;教皇,P.H。;J.E.菲尔德。 1 1992 类型状态验证:抽象技术和复杂性结果。 Zbl 1088.68066号 J·菲尔德。;戈亚尔,D。;拉马林加姆,G。;E.雅哈夫。 1 2005 基于抽象反例的powerset域精化。 Zbl 1149.68357号 罗马人Manevich;约翰·菲尔德;托马斯·亨辛格(Thomas A.Henzinger)。;拉马林加姆,G。;穆利·萨吉夫 2 2007 Transactors:在不可靠的环境中维护全局一致的分布式状态的编程模型。 Zbl 1369.68134号 约翰·菲尔德;卡洛斯·瓦雷拉。 5 2005 类型状态验证:抽象技术和复杂性结果。 Zbl 1088.68066号 J·菲尔德。;戈亚尔,D。;拉马林加姆,G。;E.雅哈夫。 1 2005 部分析取堆抽象。 Zbl 1104.68419号 罗马人Manevich;穆利·萨吉夫;甘尼桑拉马林加姆;约翰·菲尔德 1 2004 空化隧道中水翼上方流动产生的空化发光。 Zbl 1063.76509号 T·G·莱顿。;法哈特,M。;J.E.菲尔德。;阿维兰,F。 三 2003 紧凑地表示静态分析的一阶结构。 兹比尔1015.68511 马内维奇(Manevich,R.)。;拉马林加姆,G。;J·菲尔德。;戈亚尔,D。;萨吉夫,M。 2 2002 一种用于增量项重写的图约简方法。 Zbl 1503.68109号 约翰·菲尔德 2 1993 一种改进的高应变率下压缩应力应变测量方法。 Zbl 0775.73028号 D.A.戈勒姆。;教皇,P.H。;J.E.菲尔德。 1 1992 所有引用出版物 前5名被引用出版物 全部的 前5名被35位作者引用 三 伊万·拉内斯 2 克劳迪奥·安塔雷斯·梅齐纳 1 穆罕默德·巴巴拉 1 菲尔德,约翰·埃弗雷特 1 马西耶·加兹达。 1 埃琳娜·贾奇诺 1 菲利普·哈勒 1 轩尼诗,Matthew C.B。 1 保罗·克林特 1 瓦西里欧斯·库塔瓦斯 1 丹尼尔·科宁 1 阿卡什·拉尔 1 马蒂厄·莱梅尔 1 肯尼思·麦克米兰。 1 奥利维尔·妮可 1 直纪西田 1 马丁·奥德斯基 1 阿德里安·帕拉西奥斯。 1 甘尼桑拉马林加姆 1 弗朗西斯科·兰扎托 1 对手,泽维尔 1 奥利维亚·罗西·多里亚 1 阿兰·施密特 1 娜塔莎·莎莉吉娜 1 Jean-Bernard斯特凡尼 1 隋玉蕾 1 弗朗西斯科·塔帕罗 1 弗朗西斯科·蒂埃齐 1 小费,弗兰克 1 斯特凡诺·托内塔 1 阿里亚克西·齐托维奇 1 阿里·范·德森 1 德国维达尔 1 Christoph M.温特斯泰格。 1 Lenore D.扎克。 全部的 前5名6篇连载文章中引用 2 程序设计中的逻辑和代数方法杂志 1 信息处理信件 1 理论计算机科学 1 符号计算杂志 1 信息与计算 1 系统设计中的形式化方法 在2个字段中引用 13 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文