编辑配置文件(在新选项卡中打开) Gary T.Leavens。 合著者距离 作者ID: 酵母.gary-t 发布日期: Gary T.Leavens。 外部链接: MGP公司 编入索引的文档: 21出版物自1992年起 6作为编辑的贡献 合著者: 35位合著者具有27联合出版物 492合著作者 全部的 前5名合著者 0 单作者的 4 彼得·米勒 4 阿恩·施·赫夫特 3 苏珊·艾森巴赫 2 Yoonsik Cheon先生 2 千叶、茂鲁 2 柯蒂斯·克利夫顿 2 索菲亚·克洛伊·德罗索波卢 2 C.A.R.Tony Hoare 2 Leino,K.Rustan M。 2 贾亚德夫·米斯拉 2 唐·伦纳德·皮戈齐 2 埃里克·波尔 2 Natarajan Shankar 2 穆拉利·西塔拉曼 2 弗默伦,迈克 1 艾伯特·L·贝克。 1 鲍玉燕 1 大卫·R·库克。 1 Krishna Kishore达拉 1 吉登·恩斯特 1 约翰·哈特克利夫 1 Michael Haupt先生 1 O'Hearn,Peter W。 1 克劳斯·奥斯特曼 1 马修·帕金森。 1 Rajamani,Sriram K。 1 赫里德斯·拉詹 1 克莱德·鲁比 1 史蒂夫·沙纳 1 埃里克·坦特 1 陶,贾 1 蒂姆·沃尔斯 1 William E.Weihl。 1 珍妮特·玛丽,荣 1 埃里克·沃尔斯塔特 全部的 前5名系列 3 计算机程序设计科学 3 计算的形式方面 3 计算机科学课堂讲稿 2 倒排索引综述 2 信息学报 2 计算机与数学及其应用 2 并行与计算:实践与经验 领域 27 计算机科学(68至XX) 5 总体主题;集合(00-XX) 2 数学逻辑和基础(03-XX) 2 数论(11-XX) 1 历史和传记(01-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用89中的次73文件 引用人▼ 年份▼ JML的设计如何兼顾运行时断言检查和形式验证。 Zbl 1075.68009号 Gary T.Leavens。;尹锡悦;柯蒂斯·克利夫顿;克莱德·鲁比;大卫·R·库克。 12 2005 行为接口规范语言。 Zbl 1293.68078号 约翰·哈特克利夫;Gary T.Leavens。;Leino,K.Rustan M。;彼得·米勒;马修·帕金森 12 2012 顺序面向对象程序的规范和验证挑战。 Zbl 1121.68074号 Gary T.Leavens。;Leino,K.Rustan M。;彼得·米勒 12 2007 分层对象结构的模块不变量。 Zbl 1100.68539号 彼得·米勒;阿恩·施·赫夫特;Gary T.Leavens。 11 2006 JML中框架属性的模块化规范。 Zbl 1005.68583号 彼得·米勒;阿恩·施·赫夫特;Gary T.Leavens。 6 2003 行为子类型的完整代数表征。 Zbl 0951.68018号 Gary T.Leavens。;唐·皮戈齐 5 2000 基于组件的系统的基础。 Zbl 1215.68078号 5 2000 \(3x+1)搜索程序。 Zbl 0766.11051号 Gary T.Leavens。;弗默伦,迈克 5 1992 使用超类型抽象的面向对象程序的规范和验证。 Zbl 0831.68009号 Gary T.Leavens。;William E.Weihl。 4 1995 经验证的软件倡议:宣言。 Zbl 1507.68089号 霍尔,C.A.R。;贾亚德夫·米斯拉;Gary T.Leavens。;Natarajan Shankar 4 2009 一种简单实用的单元测试方法:JML和JUnit方式。 Zbl 1049.68762号 尹锡悦;Gary T.Leavens。 4 2002 使用并发约束编程执行形式规范。 Zbl 1034.68696号 蒂姆·沃尔斯;Gary T.Leavens。;艾伯特·L·贝克。 3 2000 \(\text{迷你猫}_1\):研究面向方面推理的必备核心语言。 Zbl 1170.68421号 柯蒂斯·克利夫顿;Gary T.Leavens。 3 2006 \(3x+1)搜索程序。 Zbl 0780.11068号 Gary T.Leavens。;Mike Vermeulen先生 1 1992 保护接口规范。 Zbl 0910.68140号 Gary T.Leavens。;珍妮特·温格。 1 1998 具有可变对象的类型的弱行为子类型。 Zbl 0910.68144号 Krishna Kishore达拉;Gary T.Leavens。 1 1995 行为接口规范语言。 Zbl 1293.68078号 约翰·哈特克利夫;Gary T.Leavens。;Leino,K.Rustan M。;彼得·米勒;马修·帕金森 12 2012 经验证的软件倡议:宣言。 Zbl 1507.68089号 霍尔,C.A.R。;贾亚德夫·米斯拉;Gary T.Leavens。;Natarajan Shankar 4 2009 顺序面向对象程序的规范和验证挑战。 Zbl 1121.68074号 Gary T.Leavens。;Leino,K.Rustan M。;彼得·米勒 12 2007 分层对象结构的模块不变量。 Zbl 1100.68539号 彼得·米勒;阿恩·施·赫夫特;Gary T.Leavens。 11 2006 \(\text{迷你猫}_1\):研究面向方面推理的必备核心语言。 Zbl 1170.68421号 柯蒂斯·克利夫顿;Gary T.Leavens。 3 2006 JML的设计如何兼顾运行时断言检查和形式验证。 Zbl 1075.68009号 Gary T.Leavens。;Yoonsik Cheon先生;柯蒂斯·克利夫顿;克莱德·鲁比;大卫·R·库克。 12 2005 JML中框架属性的模块化规范。 Zbl 1005.68583号 彼得·米勒;阿恩·施·赫夫特;Gary T.Leavens。 6 2003 一种简单实用的单元测试方法:JML和JUnit方式。 Zbl 1049.68762号 Yoonsik Cheon先生;Gary T.Leavens。 4 2002 行为子类型的完整代数表征。 兹比尔0951.68018 Gary T.Leavens。;唐·皮戈齐 5 2000 基于组件的系统的基础。 Zbl 1215.68078号 5 2000 使用并发约束编程执行形式规范。 Zbl 1034.68696号 蒂姆·沃尔斯;Gary T.Leavens。;艾伯特·L·贝克。 3 2000 保护接口规范。 Zbl 0910.68140号 Gary T.Leavens。;珍妮特·温格。 1 1998 使用超类型抽象的面向对象程序的规范和验证。 Zbl 0831.68009号 Gary T.Leavens。;William E.Weihl。 4 1995 具有可变对象的类型的弱行为子类型。 兹比尔0910.68144 Krishna Kishore达拉;Gary T.Leavens。 1 1995 \(3x+1)搜索程序。 Zbl 0766.11051号 Gary T.Leavens。;Mike Vermeulen先生 5 1992 \(3x+1)搜索程序。 Zbl 0780.11068号 Gary T.Leavens。;Mike Vermeulen先生 1 1992 所有引用出版物 前5名被引用出版物 全部的 前5名180位作者引用 3 德波尔(Frank S。 3 Leino,K.Rustan M。 3 克劳德·马奇 3 彼得·米勒 3 戴维·诺曼(David A.Naumann)。 3 奥尔德罗格(Ernst-Rüdiger Olderog) 3 伊娜·谢弗 2 Krzysztof Rafal公寓 2 费卢西奥·达米亚尼 2 斯蒂恩·德古乌 2 约翰·多夫兰 2 索菲亚·克洛伊·德罗索波卢 2 曼努埃尔五世(Manuel V.Hermenegildo)。 2 巴特·雅各布斯 2 埃纳尔·布罗赫·约翰森 2 Gary T.Leavens。 2 杰拉尔德·吕特根 2 何塞·弗朗西斯科·莫拉莱斯 2 弗兰克·皮森斯 2 马丁·斯特芬 2 马蒂亚斯·乌尔布里奇 2 沃尔特·福格勒 2 海克·卫尔海姆 1 艾丽卡·阿尔布拉汉姆 1 阿夫申·阿米吉 1 鲍玉燕 1 佛朗哥·巴巴内拉 1 迈克·巴奈特 1 巴斯滕,特万 1 Jens Bendisposto公司 1 洛萨·伯格 1 马丁·伯杰(Martin J.Berger)。 1 伦纳特·贝林格 1 洛伦佐·贝蒂尼 1 米歇尔·比多瓦 1 豪尔赫·布拉兹奎兹 1 斯特凡·布隆 1 西尔万·博尔梅 1 安德烈亚·克拉克·布拉夏利 1 安东尼奥·布罗吉 1 哈立德·比萨耶斯 1 布埃诺,弗朗西斯科 1 卡利埃、马蒂厄 1 曼纽尔·卡罗 1 程淑 1 魏恩根·钦 1 罗伯特·J·科尔文。 1 威廉·库克。 1 弗罗林·克雷西恩 1 坎宁安,戴夫 1 达科斯塔,翁贝托·苏扎 1 赛义德·达拉比 1 马丁·德·波尔(Martin J.M.de Boer)。 1 威廉·鲍尔·德·罗弗 1 乌戈·德利古罗 1 沃纳·迪特尔 1 简朴的乔科 1 雷米·杜伦斯 1 迪帕克·D’Souza 1 凯瑟琳·杜布瓦 1 扬尼克·邓克劳 1 苏珊·艾森巴赫 1 吉登·恩斯特 1 马克·罗伊·菲克斯 1 芬德里奇、萨沙 1 伊莎贝尔·M·A·费雷里姆。 1 伊万娜·菲利波维奇 1 Jean-Christophe Filliátre 1 玛丽亚·乔昂·弗雷德 1 帕斯卡·弗雷德特 1 阿德里安·弗兰卡兰扎 1 卡洛·阿尔贝托·福里亚 1 约翰内斯·加里斯 1 加尔达洛,Wided 1 莱昂·冈德尔曼 1 林赛·格罗夫斯。 1 安吉尔·瓜尔 1 古罗夫,帝力 1 何冠华 1 罗尔夫·亨尼克 1 克里斯蒂安·赫彻 1 本田、高黑 1 马里克,Huisman 1 科内利斯·惠泽 1 伊万诺夫,列夫根 1 朱利安·贾卡德 1 英加·雅茨科夫斯基 1 Christian Antonius荣格 1 Ioannis T.卡西奥斯。 1 乔纳斯·克拉姆罗斯 1 亚历山大·克努佩尔 1 科夫罗,简 1 菲利普·科纳 1 塞巴斯蒂安·克林斯 1 鲁德·柯伊伯 1 拉米亚·拉比德·吉拉尼 1 Michael Leuschel先生 1 克里斯蒂安·利德斯特伦 1 刘少英 1 佩德罗·洛佩兹·加西亚 …和80多位作者 全部的 前5名25篇连载文章中引用 13 计算的形式方面 6 理论计算机科学 5 逻辑与代数程序设计杂志 3 信息学报 2 计算机与系统科学杂志 2 计算机程序设计科学 2 符号计算杂志 2 系统设计中的形式化方法 2 函数编程杂志 2 逻辑程序设计理论与实践 2 程序设计中的逻辑和代数方法杂志 1 倒排索引综述 1 统计物理杂志 1 计算数学 1 数学成绩 1 拓扑及其应用 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 1 分布式计算 1 摩尔多瓦计算机科学杂志 1 限制条件 1 整数序列杂志 1 RAIRO公司。理论信息学及其应用 1 计算机科学评论 1 数学杂志 全部的 前5名10个领域引用 64 计算机科学(68至XX) 10 数学逻辑和基础(03-XX) 6 数论(11-XX) 1 历史和传记(01-XX) 1 阶、格、有序代数结构(06-XX) 1 范畴理论;同调代数(18-XX) 1 差分和函数方程(39至XX) 1 一般拓扑结构(54至XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的引文