编辑配置文件(在新选项卡中打开) 钱伯斯,克雷格 合著者距离 作者ID: 腔室.拉格 发布日期: 钱伯斯,克雷格;钱伯斯,C。 已编制索引的文档: 8出版物自2000年起 合著者: 14合著者具有8联合出版物 76位合作作者 全部的 前5名合著者 0 单作者的 三 托德·德·米尔斯坦。 2 乔纳森·奥尔德里奇 2 苏珊·简·艾格斯 2 索林·勒纳 1 科林·布莱克纳 1 本·格兰特 1 丹·格罗斯曼 1 大卫·格罗夫 1 Mock,Michael S。 1 马吕斯·尼塔 1 大卫·诺金 1 菲利普斯,M。 1 赖斯、埃里卡 1 埃敏·Gün先生 系列 1 理论计算机科学 1 计算机程序设计科学 1 信息与计算 领域 8 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用29中的次27文件 引用人▼ 年份▼ 模块化静态类型多重方法。 Zbl 1012.68043号 托德·米尔斯坦;钱伯斯,克雷格 11 2002 通过本地规则进行数据流分析和转换的自动化可靠性证明。 Zbl 1369.68145号 索林·勒纳;托德·米尔斯坦;赖斯、埃里卡;钱伯斯,克雷格 7 2005 DyC:一个面向C的富有表现力的注释性动态编译器。 Zbl 0949.68052号 格兰特,B。;M·莫克。;菲利普斯,M。;钱伯斯,C。;艾格斯,S.J。 5 2000 ArchJava中的架构推理。 Zbl 1049.68745号 乔纳森·奥尔德里奇;钱伯斯,克雷格;大卫·诺金 三 2002 平台相关低级软件理论。 Zbl 1295.68090号 马吕斯·尼塔;丹·格罗斯曼;钱伯斯,克雷格 2 2008 分层可扩展数据类型和函数的模块化类型检查。 Zbl 1322.68044号 托德·米尔斯坦;科林·布莱克纳;钱伯斯,克雷格 1 2002 平台相关低级软件理论。 Zbl 1295.68090号 马吕斯·尼塔;丹·格罗斯曼;钱伯斯,克雷格 2 2008 通过本地规则进行数据流分析和转换的自动化稳健性证明。 Zbl 1369.68145号 索林·勒纳;托德·米尔斯坦;赖斯、埃里卡;钱伯斯,克雷格 7 2005 模块化静态类型多重方法。 Zbl 1012.68043号 托德·米尔斯坦;钱伯斯,克雷格 11 2002 ArchJava中的架构推理。 Zbl 1049.68745号 乔纳森·奥尔德里奇;钱伯斯,克雷格;大卫·诺金 三 2002 分层可扩展数据类型和函数的模块化类型检查。 Zbl 1322.68044号 托德·米尔斯坦;科林·布莱克纳;钱伯斯,克雷格 1 2002 DyC:一个面向C的富有表现力的注释性动态编译器。 Zbl 0949.68052号 格兰特,B。;M·莫克。;菲利普斯,M。;钱伯斯,C。;艾格斯,S.J。 5 2000 所有引用出版物 前5名被引用出版物 全部的 前5名58位作者引用 2 伦纳特·贝林格 2 洛伦佐·贝蒂尼 2 萨拉·卡佩基 2 泽维尔·勒罗伊 2 瓦利德·塔哈 2 贝蒂·文内里 1 佩德罗·安东尼诺 1 阿诺·贝利 1 布兰奇,桑德琳 1 扬·奥拉夫·布莱奇 1 安布罗斯邦奈尔-谢根 1 马里奥·布雷韦蒂 1 朱塞佩·卡斯塔尼亚 1 查德威克,布莱恩 1 Adam J.Chlipala。 1 米雷尔·克莱博特 1 罗文·戴维斯 1 特拉华州,本杰明 1 阿列克谢·德马科夫。 1 杰森·埃克哈特 1 鲁道夫·艾根曼 1 Nadji Gauthier 1 埃琳娜·贾奇诺 1 本杰明·格雷戈里 1 杰森·格罗斯 1 鲁门凯亚巴切夫 1 罗伯特·克雷伯斯 1 卡尔·J·利伯海尔。 1 迈克尔·连哈特 1 Lievens,大卫 1 雷诺·马莱 1 亚历杭德罗·莫塔 1 吉尔斯·穆勒 1 伊曼·纳拉萨姆迪亚 1 马塞尔·奥利维拉 1 埃米尔·帕萨利克 1 彼得·皮尔克鲍尔 1 Pit-Claudel,Clément公司 1 弗朗索瓦·波蒂埃 1 罗德里戈·A·拉莫斯。 1 兰·里纳特 1 安德鲁·威廉·罗斯科 1 鲁道夫,约翰内斯 1 安藤萨巴斯 1 奥古斯托·桑帕约。 1 蒂姆·谢尔德 1 Simplot-Ryl,伊莎贝尔 1 尤里·索洛德基 1 Bjarne斯特劳斯特鲁普 1 斯瓦迪,基达尔N。 1 彼得·蒂曼。 1 Tobin Hochstadt,山姆 1 塔尔莫乌斯塔卢 1 瓦兰斯基,E.-N。 1 安德烈·沃伦科夫 1 迈克尔·J·沃斯。 1 王鹏 1 Peter Y.H.Wong。 全部的 前5名14篇连载文章中引用 三 理论计算机科学 三 计算机程序设计科学 三 高阶和符号计算 2 自动推理杂志 2 逻辑与代数程序设计杂志 1 模拟中的数学和计算机 1 编程和计算机软件 1 新一代计算 1 信息与计算 1 计算的形式方面 1 系统设计中的形式化方法 1 RAIRO公司。理论信息学及其应用 1 计算机科学中的逻辑方法 1 程序设计中的逻辑与代数方法杂志 在2个字段中引用 27 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文