×

菲尔德,约翰·埃弗雷特

作者ID: 约翰·埃弗雷特最近由“Field,John Everett”撰写的zbMATH文章
发布日期: 约翰·菲尔德;J·菲尔德。;菲尔德,约翰·埃弗雷特
编入索引的文档: 12出版物自1992年起
2作为编辑的贡献
合著者: 16位合著者具有11联合出版物
360位合作作者

按年份列出的出版物

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

按年份列出的引文