编辑配置文件(在新选项卡中打开) 杰弗里·福斯特。 合著者距离 作者ID: 寄养杰弗里 发布日期: 杰弗里·福斯特。 外部链接: MGP公司 已编制索引的文档: 10出版物自2000年起 合著者: 15位合著者具有9联合出版物 80位合作作者 全部的 前5名合著者 0 单作者的 三 普雷蒂卡基斯,波利维奥斯 2 尤利安·尼姆图 1 亚历山大·艾肯 1 奥尔德斯,J.R。 1 An,Jong-hoon(大卫) 1 奥斯汀Bourgerie 1 阿维克·乔杜里 1 曼努埃尔·Fähndrich 1 迈克尔·福尔 1 苏米特·古尔瓦尼 1 米洛德·卡泽鲁尼安 1 克里斯蒂安·卢梅扎努 1 索拉巴·斯利瓦斯塔瓦 1 埃米娜·托拉克 1 屋大维乌德雷亚 1 尼基·瓦祖 1 彼得·韦尔奇。 系列 1 信息与计算 字段 10 计算机科学(68-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 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 朱,艾米 全部的 前5名9篇连载文章中引用 2 信息处理信件 2 信息与计算 2 自动推理杂志 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 人工智能 1 计算机程序设计科学 1 系统设计中的形式化方法 1 高阶和符号计算 在4个字段中引用 32 计算机科学(68-XX) 6 数学逻辑和基础(03-XX) 1 数值分析(65-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文