编辑配置文件（在新选项卡中打开） 张丹凤 合著者距离 作者ID： 张丹峰 发布方式： 张丹凤 已编制索引的文档： 3出版物自1996年起 合著者： 2合著者具有2份联合出版物 19位合作作者 合著者 0 单作者的 1 艾伦·K·伊斯顿。 1 丹尼尔·基弗 1 安德鲁·迈尔斯（Andrew C.Myers）。 1 约瑟夫·门德尔·斯坦纳 系列 领域 2 计算机科学（68至XX） 1 流体力学（76-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用7中的次7文件 引用人▼ 年份▼ 针对静态错误的一般诊断。 Zbl 1284.68141号 张丹凤；安德鲁·迈尔斯（Andrew C.Myers）。 4 2014 LightDP：实现差异隐私证明的自动化。 Zbl 1380.68136号 张丹凤；丹尼尔·基弗 三 2017 LightDP：实现差异隐私证明的自动化。 Zbl 1380.68136号 张丹凤；丹尼尔·基弗 三 2017 针对静态错误的一般诊断。 Zbl 1284.68141号 张丹凤；安德鲁·迈尔斯（Andrew C.Myers）。 4 2014 所有引用出版物 前5名被引用出版物 全部的 前5名14位作者引用 2 陈盛 2 刘德鹏 2 文森特·拉里 2 王，弯腰 2 张丽君 1 Chong，斯蒂芬 1 马丁·埃尔维格 1 吉安·彼得罗·法里纳 1 付，陈 1 马可·加博阿迪 1 Fairouz D.卡马雷丁。 1 努尔，Md Rabib 1 约翰·皮里 1 Wells，Joe B。 3篇连载文章中引用 1 理论计算机科学 1 符号计算杂志 1 函数编程杂志 在4个字段中引用 7 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 1 概率论与随机过程（60-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文