×
作者ID: 寄养杰弗里最近由“Foster,Jeffrey S.”撰写的zbMATH文章
发布日期: 杰弗里·福斯特。
外部链接: MGP公司
已编制索引的文档: 10出版物自2000年起
合著者: 15位合著者具有9联合出版物
80位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

7出版物有被引用35中的次33文件 引用人 年份
从程序验证到程序合成。 Zbl 1312.68068号
索拉巴·斯利瓦斯塔瓦;苏米特·古尔瓦尼;杰弗里·福斯特。
23
2010
版本一致的动态软件更新和安全并发编程的上下文效果。 Zbl 1295.68154号
尼安提乌,尤利安;迈克尔·希克斯;杰弗里·福斯特。;普雷蒂卡基斯,波利维奥斯
4
2008
基于CFL可达性的存在标签流推理。 Zbl 1225.68075号
普雷蒂卡基斯,波利维奥斯;杰弗里·福斯特。;迈克尔·希克斯
2006
多形与单形流动敏感点——用于C的分析。 Zbl 0966.68575号
杰弗里·福斯特。;曼努埃尔·Fähndrich;亚历山大·艾肯
2
2000
形式化语境效果的合理性。 Zbl 1165.68470号
普雷蒂卡基斯,波利维奥斯;杰弗里·福斯特。;迈克尔·希克斯;尤利安·尼姆图
1
2008
网络协议实现的基于规则的静态分析。 Zbl 1146.68346号
屋大维乌德雷亚;克里斯蒂安·卢梅扎努;杰弗里·福斯特。
1
2008
Ruby的优化类型。 Zbl 1446.68032号
米洛德·卡泽鲁尼安;尼基·瓦祖;奥斯汀Bourgerie;杰弗里·福斯特。;埃米娜·托拉克
1
2018
Ruby的优化类型。 Zbl 1446.68032号
米洛德·卡泽鲁尼安;尼基·瓦祖;奥斯汀Bourgerie;杰弗里·福斯特。;埃米娜·托拉克
1
2018
从程序验证到程序合成。 Zbl 1312.68068号
索拉巴·斯利瓦斯塔瓦;苏米特·古尔瓦尼;杰弗里·福斯特。
23
2010
版本一致的动态软件更新和安全并发编程的上下文效果。 兹比尔1295.68154
尤利安·尼姆图;迈克尔·希克斯;杰弗里·福斯特。;普雷蒂卡基斯,波利维奥斯
4
2008
形式化语境效果的合理性。 Zbl 1165.68470号
普雷蒂卡基斯,波利维奥斯;杰弗里·福斯特。;迈克尔·希克斯;尼安提乌,尤利安
1
2008
网络协议实现的基于规则的静态分析。 Zbl 1146.68346号
屋大维乌德雷亚;克里斯蒂安·卢梅扎努;杰弗里·福斯特。
1
2008
基于CFL可达性的存在标签流推理。 Zbl 1225.68075号
普雷蒂卡基斯,波利维奥斯;杰弗里·福斯特。;迈克尔·希克斯
2006
多形与单形流动敏感点——用于C的分析。 Zbl 0966.68575号
杰弗里·福斯特。;曼努埃尔·Fähndrich;亚历山大·艾肯
2
2000
全部的 前5名

81位作者引用

2 莱昂纳多·德·莫拉
2 伊萨贝拉博士
2 杰弗里·福斯特。
2 都铎Jebelean
2 卡普尔,迪帕克
2 Nguyen,Thanhvu H。
2 波利卡波娃,娜迪亚
2 伊利亚·谢尔盖
2 萨拉特·钱德拉·瓦拉纳西
1 沃尔夫冈·班扎夫
1 德克·拜尔
1 阿明·比尔
1 尼古拉·S·比约纳。
1 Cañete-Valdeón,JoséM。
1 亚瑟·查古埃罗
1 魏恩根·钦
1 马丁·克鲁查德
1 亚历山大·科雷亚。
1 安德烈亚·科斯蒂亚
1 康斯坦丁·迪姆尼科夫
1 大流士·富
1 斯蒂芬妮·福雷斯特
1 高基町五指
1 弗朗西斯科·加兰。
1 莱昂贡德尔曼
1 苏米特·古尔瓦尼
1 戈帕尔·古普塔
1 尤塞夫·哈马迪
1 马提亚斯·霍巴赫
1 安德烈亚斯·胡尔辛
1 安德烈亚斯·休姆伯格
1 伊娜拉、杰埃瓦娜·普利亚
1 沙迦·伊扎基
1 朱利亚诺·伊奥达
1 苏雷什·贾甘纳森
1 苏斯米特·贾
1 兰吉特·贾拉
1 马丁·乔纳什
1 科瓦奇,劳拉·伊尔迪科
1 埃马努伊尔·克拉萨纳基斯
1 鲁,齐
1 克里斯蒂安·卢梅扎努
1 鲁帕克·马朱姆达尔
1 男,克里斯
1 尼拉吉·米塔尔
1 亚历山大·莫塔。
1 南迪瓦达,V.Krishna
1 尤利安·尼姆图
1 艾娜·尼梅茨
1 Kazuhiro绪方
1 大卫·J·皮尔斯。
1 希拉·佩莱格
1 亚历克斯·波坦
1 普雷蒂卡基斯,波利维奥斯
1 马蒂亚斯·普雷纳
1 Jean-François拉斯金
1 Joost Rijneveld公司
1 鲁本·罗伊,N.S。
1 埃尔默·萨拉扎
1 戴维·施密特(David A.Schmidt)。
1 彼得·施瓦布
1 赫尔穆特·塞德尔
1 桑吉特·阿伦库马尔·塞希亚
1 罗希特·辛格。
1 阿曼多·索拉勒扎马
1 宋亚辉
1 斯特雷切克,简
1 安德烈亚斯·西梅尼迪斯。
1 唐浩
1 屋大维乌德雷亚
1 维萨尔·沃达尼
1 王晓音
1 韦斯特利·威默
1 Christoph M.温特斯泰格。
1 熊英飞
1 张玲明
1 张璐
1 张敏
1 张志海
1 赵恒军
1 朱,艾米

按年份列出的引文