×
编辑配置文件（在新选项卡中打开）

曹勤祥

合著者距离
作者ID： 曹勤祥曹勤祥最近发表的zbMATH文章
发布日期： 曹勤祥
已编制索引的文档： 8出版物自1993年起
合著者： 7合著者具有4联合出版物
95位合作作者
全部的 前5名

合著者

0 单作者的
2 安德鲁·W·阿佩尔。
1 伦纳特·贝林格
1 圣地亚哥库埃拉
1 约西亚·多兹
1 迈克尔·伊恩·弗里斯韦尔
1 塞缪尔·格吕特
1 J.梅尔科尼安。
1 约翰·莫特塞德（John E.Mottershead）。
1 华江欧阳
1 陶一成
1 王燕京

系列

1 国际工程数值方法杂志
1 合成
1 国际生产研究杂志
1 自动推理杂志
1 工程数值方法中的通信
全部的 前5名

领域

4 数学逻辑和基础（03-XX）
2 计算机科学（68至XX）
2 可变形固体力学（74-XX）
1 偏微分方程（35-XX）
1 数值分析（65-XX）
1 运筹学、数学规划（90-XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

4出版物有被引用51中的次48文件 引用人▼ 年份▼
论公告逻辑的公理化。 Zbl 1310.03029号
王燕京；曹勤祥
39
2013
VST-Floyd：用于验证C程序正确性的分离逻辑工具。 Zbl 1451.68169号
曹勤祥；伦纳特·贝林格；塞缪尔·格鲁特；约西亚·多兹；安德鲁·W·阿佩尔。
7
2018
为分离逻辑丛林带来秩序。 Zbl 1503.03034号
曹勤祥；圣地亚哥库埃拉；安德鲁·W·阿佩尔。
5
2017
盘式制动器尖叫问题的线性特征值分析。 Zbl 1075.74542号
曹，Q。；H·欧阳。；马里兰州弗里斯韦尔。；Mottershead，J.E。
2
2004
VST-Floyd：用于验证C程序正确性的分离逻辑工具。 Zbl 1451.68169号
曹勤祥；伦纳特·贝林格；塞缪尔·格鲁特；约西亚·多兹；安德鲁·W·阿佩尔。
7
2018
为分离逻辑丛林带来秩序。 Zbl 1503.03034号
曹勤祥；圣地亚哥库埃拉；安德鲁·W·阿佩尔。
5
2017
论公告逻辑的公理化。 Zbl 1310.03029号
王燕京；曹勤祥
39
2013
盘式制动器尖叫问题的线性特征值分析。 Zbl 1075.74542号
曹，Q。；H·欧阳。；马里兰州弗里斯韦尔。；Mottershead，J.E。
2
2004
所有引用出版物 前5名被引用出版物
全部的 前5名

81位作者引用

10 汉斯·皮特
8 王燕京
7 费尔南多·雷蒙多（Fernando Raymundo）
4 安德鲁·W·阿佩尔。
4 Smets，Sonja J.L。
三 李彦军
三 Motoura、Shota
三 艾比克·厄兹根
2 范洁
2 苏加塔·戈什
2 安德烈亚斯·赫齐格
2 索菲亚·奈特
2 卡洛·普罗埃蒂
2 佐野胜彦
2 尤斯特·吉内尔，安东尼奥
1 卡明·阿巴特
1 扎伊纳布·巴赫蒂亚里
1 亚历山大·巴尔塔格
1 伦纳特·贝林格
1 尼克·贝扎尼什维利
1 大卫·S·宾德尔。
1 拉尔斯·比克达尔
1 阿列舍·比兹亚克
1 亚当·比约恩达尔
1 罗伯托·布兰科
1 托马斯·博兰德
1 曹勤祥
1 阿曼多·卡斯塔涅达
1 佐埃·克里斯托夫
1 Ciobâcă，沙特凡
1 Stéphane P.德姆里。
1 德里克·德雷尔（Derek R.Dreyer）。
1 阿德里安·杜里埃
1 劳尔·费尔瓦里
1 鲁斯塔姆·加利姆林
1 迪帕克·加格
1 马尔文·加廷格
1 亚历山大五世（Alexander V.Gheorghiu）。
1 大卫·格罗西
1 延斯·乌尔里克·汉森
1 鸠山由纪夫
1 Hriţcu，科特林
1 Jeannin、Jean-Baptiste
1 雅克·亨利·乔尔丹
1 荣格，拉尔夫
1 胜本，Shin-ya
1 阿里尔·凯利森（Ariel E.Kellison）。
1 巴特尔·皮特·库伊
1 罗伯特·克雷伯斯
1 悉达哈·克里希纳
1 彼得·兰米奇
1 泽维尔·勒罗伊
1 埃米利亚诺·洛里尼
1 艾蒂安·洛兹
1 马明辉
1 阿莱西奥·曼苏蒂
1 McIver，Annabelle K。
1 卡罗尔·C·摩根。
1 威尔·纳尔
1 佩雷·帕尔多
1 马可·帕特里格纳尼
1 大卫·J·派姆。
1 塔希里·拉贝哈加。
1 翁贝托·里维奇奥
1 Rosenblueth，David A。
1 凯特琳·舒尔茨
1 弗朗索瓦州施瓦岑特鲁伯
1 亚历山大·萨默斯。
1 埃里克·坦特
1 陶一成
1 莫希特·特克里瓦尔
1 杰雷米·蒂鲍特
1 Diego A.Velázquez。
1 韦布鲁克（Rineke Verbrugge）
1 王浩宇
1 王钦石
1 王云松
1 托马斯·维斯
1 谢凯波
1 山田，Tomoyuki
1 于全
全部的 前5名

15篇连载文章中引用

5 Studia Logica公司
4 合成
4 逻辑、语言与信息杂志
三 人工智能
三 哲学逻辑杂志
三 应用非经典逻辑杂志
2 纯逻辑与应用逻辑年鉴
2 自动推理杂志
2 计算机科学中的逻辑方法
2 符号逻辑述评
2 程序设计中的逻辑和代数方法杂志
1 信息与计算
1 系统设计中的形式化方法
1 函数编程杂志
1 应用逻辑杂志
全部的 前5名

在6个字段中引用

38 数学逻辑和基础（03-XX）
20 计算机科学（68至XX）
5 博弈论、经济学、金融和其他社会和行为科学（91-XX）
1 总体主题；集合（00-XX）
1 一般拓扑结构（54-XX）
1 概率论与随机过程（60-XX）

按年份列出的引文