编辑配置文件（在新选项卡中打开） 克里斯蒂娜·大卫 合著者距离 作者ID： 戴维·克里斯蒂娜 发布日期： 克里斯蒂娜·大卫 已编制索引的文档： 16出版物自2007年起 合著者： 26位合著者具有15联合出版物 501合著者 全部的 前5名合著者 0 单作者的 8 丹尼尔·科宁 4 亚历山德罗·阿巴特 4 魏恩根·钦 4 帕斯卡·凯塞利 三 阮秀海 三 伊丽莎白·波尔格林 三 秦胜超 2 伊奥里·贝萨 2 卢卡斯·科迪罗 1 哈尼尔·巴博萨 1 克拉克·W·巴雷特。 1 布莱恩，马丁 1 达里奥·卡塔鲁扎 1 克里斯蒂安·吉尔吉纳 1 容伯姆·荣格 1 孔顺浩 1 Le，Quang Loc公司 1 阿米塔·马利克 1 松田和川 1 尼哈，帕布 1 安德鲁·雷诺兹 1 彼得·施拉梅尔 1 塞萨尔·蒂内利 1 Minh-Thai Trinh 1 Turnage-Butterbaugh，Caroline L。 1 王，弯腰 1 王蒙 1 山口，Masaomi 1 Yi，Kwangkeun先生 全部的 前5名系列 1 信息学报 1 美国数学学会会刊 1 计算机程序设计科学 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 1 系统设计中的形式化方法 领域 13 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 2 系统论；控制（93至XX） 1 数论（11-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用76中的次62文件 引用人▼ 年份▼ 通过分离逻辑中用户定义的谓词自动验证形状、大小和袋子属性。 Zbl 1243.68148号 魏恩根·钦;克里斯蒂娜·大卫;阮秀海;秦胜超 29 2012 通过分离逻辑自动验证形状和尺寸属性。 Zbl 1132.68477号 阮秀海;克里斯蒂娜·大卫;秦胜超;魏恩根·钦 17 2007 使用分离逻辑增强模块化OO验证。 Zbl 1295.68082号 魏恩根·钦;克里斯蒂娜·大卫;阮秀海;秦胜超 11 2008 反例引导归纳综合模理论。 Zbl 1511.68064号 亚历山德罗·阿巴特;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林 7 2018 无复乘椭圆曲线的极值素数。 Zbl 1478.11083号 C·大卫。;A.加夫尼。;A.马利克。;北帕布。;Turnage-Butterbaugh，C.L。 6 2020 位向量程序的无限制终止和非终止参数。 Zbl 1335.68050号 克里斯蒂娜·大卫;丹尼尔·克罗宁;马特·刘易斯 4 2015 连续设备可证明安全数字控制器的自动形式化综合。 兹比尔1441.93171 亚历山德罗·阿巴特;伊奥里·贝萨;卢卡斯·科迪罗;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林 2 2020 具有纯属性的双向约简，用于规范推理。 Zbl 1426.68067号 Minh-Thai Trinh;Le，Quang Loc公司;克里斯蒂娜·大卫;魏恩根·钦 2 2013 连续设备数字稳定控制器的声音和自动合成。 Zbl 1369.93189号 亚历山德罗·阿巴特;伊奥里·贝萨;达里奥·卡塔鲁扎;卢卡斯·科迪罗;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁 2 2017 通过算法学习自动推断循环不变量。 Zbl 1361.68067号 容伯姆·荣格;孔顺浩;克里斯蒂娜·大卫;王，弯腰;Yi，Kwangkeun先生 1 2015 使用程序合成进行程序分析。 Zbl 1471.68056号 克里斯蒂娜·大卫;丹尼尔·克罗宁;马特·刘易斯 1 2015 无复乘椭圆曲线的极值素数。 Zbl 1478.11083号 C·大卫。;A.加夫尼。;A.马利克。;北普拉布。;Turnage-Butterbaugh，C.L。 6 2020 连续设备可证明安全数字控制器的自动形式化综合。 Zbl 1441.93171号 亚历山德罗·阿巴特;伊奥里·贝萨;卢卡斯·科迪罗;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林 2 2020 反例引导归纳综合模理论。 Zbl 1511.68064号 亚历山德罗·阿巴特;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林 7 2018 连续设备数字稳定控制器的声音和自动合成。 Zbl 1369.93189号 亚历山德罗·阿巴特;伊奥里·贝萨;达里奥·卡塔鲁扎;卢卡斯·科迪罗;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁 2 2017 位向量程序的无限制终止和非终止参数。 Zbl 1335.68050号 克里斯蒂娜·大卫;丹尼尔·克罗宁;马特·刘易斯 4 2015 通过算法学习自动推断循环不变量。 兹比尔1361.68067 容伯姆·荣格;孔顺浩;克里斯蒂娜·大卫;王，弯腰;Yi，Kwangkeun先生 1 2015 使用程序合成进行程序分析。 Zbl 1471.68056号 克里斯蒂娜·大卫;丹尼尔·克罗宁;马特·刘易斯 1 2015 具有纯属性的双向约简，用于规范推理。 Zbl 1426.68067号 Minh-Thai Trinh;Le，Quang Loc公司;克里斯蒂娜·大卫;魏恩根·钦 2 2013 通过分离逻辑中用户定义的谓词自动验证形状、大小和袋子属性。 Zbl 1243.68148号 魏恩根·钦;克里斯蒂娜·大卫;阮虎海;秦胜超 29 2012 使用分离逻辑增强模块化OO验证。 Zbl 1295.68082号 魏恩根·钦;克里斯蒂娜·大卫;阮虎海;秦胜超 11 2008 通过分离逻辑自动验证形状和尺寸属性。 Zbl 1132.68477号 阮秀海;克里斯蒂娜·大卫;秦胜超;魏恩根·钦 17 2007 所有引用出版物 前5名被引用出版物 全部的 前5名136位作者引用 8 魏恩根·钦 8 汤姆·沃纳 6 卢卡什·霍利克 6 Ondřej Lengál 5 秦胜超 4 亚历山德罗·阿巴特 4 克里斯蒂娜·大卫 三 约翰·多夫兰 三 弗洛里安·弗洛恩 三 吉尔根·吉斯尔 三 杰拉·亨塞尔 三 埃纳尔·布罗赫·约翰森 三 Le，Quang Loc公司 三 克里斯托夫·马提亚 三 Owe、Olaf 三 伊丽莎白·波尔格林 三 马丁·斯特芬 三 托马斯·斯特罗德 三 Makoto Tatsuta 2 艾哈迈德·丹妮尔 2 马哈穆杜尔·费萨尔·阿梅恩 2 纳撒尼尔·查尔顿 2 陈、陶璐 2 托马斯·费多尔 2 彼得·哈贝梅尔 2 沃伊特·哈夫勒纳 2 何冠华 2 本·霍斯福尔 2 克莱门·赫林 2 Joost-Pieter卡托恩 2 帕斯卡·凯塞利 2 丹尼尔·科宁 2 维克多·昆卡 2 罗晨光 2 诺尔，托马斯 2 安德烈亚·佩鲁福 2 鲁齐卡皮斯卡 2 罗伊斯，伯恩哈德 2 安德鲁·雷诺兹 2 伊利亚·谢尔盖 2 桑吉特·阿伦库马尔·塞希亚 2 Ta、Quang-Trung 2 吴志林 2 弗洛里安·祖勒格 1 帕罗什·阿齐兹·阿卜杜拉 1 Nazareno M.阿吉雷。 1 安德鲁·W·阿佩尔。 1 马塞洛·阿罗约 1 科尼利厄斯·阿斯切尔曼 1 克什蒂吉·班萨尔 1 哈尼尔·巴博萨 1 克拉克·W·巴雷特。 1 凯文·巴茨 1 伦纳特·贝林格 1 伊奥里·贝萨 1 尼古拉·S·比约纳。 1 雷米·布罗赫宁 1 马克·布罗克施米特 1 詹姆斯兄弟斯顿 1 克里斯蒂亚诺·加尔卡尼奥 1 曹勤祥 1 曹天岳 1 曹永志 1 科什卡，米兰 1 卢卡斯·科迪罗 1 安德烈亚·科斯蒂亚 1 弗罗林·克雷西恩 1 德比，希切姆 1 迪诺·迪斯特法诺 1 约西亚·多兹 1 康斯坦丁·埃纳 1 约塔姆·M·Y·费尔德曼。 1 伊拉·费塞费尔特 1 卡斯滕·福斯 1 维杰·加内什 1 普拉纳夫·加格 1 霍尔格·加斯特 1 阿里尔·戈迪奥 1 尼科斯·戈罗甘尼斯 1 塞缪尔·格吕特 1 顾新才 1 克里斯蒂安·哈克 1 克里斯蒂安·亨塞尔 1 雨果·伊利诺斯 1 拉杜·奥西夫 1 沙迦·伊扎基 1 彼得·扬克 1 克里斯蒂娜·詹森 1 马文·詹森 1 Jha，萨默什 1 金，赵 1 本特·琼森 1 塞巴斯蒂安·荣格斯 1 Jens Katelaan公司 1 佛罗里达州Keßler 1 邱小成 1 Le，Ton Chanh先生 1 马蒂厄·莱梅尔 1 刘伟祥 1 艾蒂安·洛兹 …还有36位作者 全部的 前5名13篇连载文章中引用 6 自动推理杂志 5 系统设计中的形式化方法 4 信息学报 2 理论计算机科学 2 计算机程序设计科学 2 计算的形式方面 1 计算 1 Studia Logica公司 1 符号计算杂志 1 信息与计算 1 逻辑与代数程序设计杂志 1 ACM计算逻辑事务 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在6个字段中引用 58 计算机科学（68至XX） 29 数学逻辑和基础（03-XX） 2 系统论；控制（93至XX） 1 数论（11-XX） 1 常微分方程（34-XX） 1 概率论与随机过程（60-XX） 按年份列出的引文