编辑配置文件(在新选项卡中打开) 克里斯蒂·博尔顿 合著者距离 作者ID: 克赖斯蒂螺栓 发布日期: 克里斯蒂·博尔顿;克里斯蒂·马尔 已编制索引的文档: 12出版物自1983年起 合著者: 3位合著者具有8联合出版物 101合著作者 合著者 三 单作者的 6 吉姆·戴维斯 2 加文·洛 1 A.A.Ware。 1 詹姆斯·伍德科克。 系列 1 流体物理学 1 理论计算机科学 1 计算的形式方面 字段 11 计算机科学(68至XX) 1 流体力学(76-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用57中的次35文件 引用人▼ 年份▼ 用于通信顺序进程的单例故障语义。 兹比尔1110.68067 克里斯蒂·博尔顿;吉姆·戴维斯 17 2006 Object-Z和CSP中的细化。 Zbl 1057.68639号 克里斯蒂·博尔顿;吉姆·戴维斯 10 2002 关于数据类型和过程的细化和模拟。 Zbl 0963.68126号 克里斯蒂·博尔顿;吉姆·戴维斯;吉姆·伍德科克 7 1999 使用合金分析仪验证Z中的数据细化。 Zbl 1276.68053号 克里斯蒂·博尔顿 5 2005 捕获CSP中的冲突和困惑。 Zbl 1213.68408号 克里斯蒂·马尔 5 2007 给顾客服务提供商增加了冲突和困惑。 Zbl 1120.68410号 克里斯蒂·博尔顿 4 2005 基于故障的模型的层次结构。 Zbl 1271.68129号 克里斯蒂·博尔顿;加文·洛 三 2004 基于失效模型的层次结构:理论与应用。 Zbl 1078.68104号 克里斯蒂·博尔顿;加文·洛 2 2005 细化顺序及其关联模拟规则的比较。 Zbl 1270.68162号 克里斯蒂·博尔顿;吉姆·戴维斯 2 2002 在对象模型验证中使用关系语义和行为语义。 Zbl 0968.68094号 博尔顿,克里斯蒂;吉姆·戴维斯 1 2000 活动图和流程。 兹比尔1043.68526 克里斯蒂·博尔顿;吉姆·戴维斯 1 2000 捕获CSP中的冲突和困惑。 Zbl 1213.68408号 克里斯蒂·马尔 5 2007 用于通信顺序进程的单例故障语义。 Zbl 1110.68067号 克里斯蒂·博尔顿;吉姆·戴维斯 17 2006 使用合金分析仪验证Z中的数据细化。 Zbl 1276.68053号 克里斯蒂·博尔顿 5 2005 给顾客服务提供商增加了冲突和困惑。 Zbl 1120.68410号 克里斯蒂·博尔顿 4 2005 基于失效模型的层次结构:理论与应用。 Zbl 1078.68104号 克里斯蒂·博尔顿;加文·洛 2 2005 基于故障的模型层次结构。 兹比尔1271.68129 克里斯蒂·博尔顿;加文·洛 三 2004 Object-Z和CSP中的细化。 Zbl 1057.68639号 克里斯蒂·博尔顿;吉姆·戴维斯 10 2002 细化顺序及其关联模拟规则的比较。 Zbl 1270.68162号 克里斯蒂·博尔顿;吉姆·戴维斯 2 2002 在对象模型验证中使用关系语义和行为语义。 Zbl 0968.68094号 克里斯蒂·博尔顿;戴维斯,吉姆 1 2000 活动图和流程。 Zbl 1043.68526号 博尔顿,克里斯蒂;吉姆·戴维斯 1 2000 关于数据类型和过程的细化和模拟。 Zbl 0963.68126号 克里斯蒂·博尔顿;吉姆·戴维斯;吉姆·伍德科克 7 1999 所有引用出版物 前5名被引用出版物 全部的 前5名被46位作者引用 10 约翰·德里克 7 Eerke A.Boiten。 5 海克·卫尔海姆 4 史蒂夫·里夫斯 4 格哈德·谢尔霍恩 4 大卫·斯特雷德 三 陈晓亮 三 格雷姆·史密斯 2 阿卜杜拉赫曼·M·阿尔·阿赫马里。 2 巴博萨、路易斯·索亚雷斯 2 伊梅内·本·哈菲德 2 阿卜杜勒·阿齐兹·穆罕默德·塔米米 2 苏珊娜·格拉芙 2 Emad S.Abouel Nasr 2 安德鲁·威廉,罗斯科 1 克里斯蒂·博尔顿 1 安娜·卡瓦尔坎蒂 1 帕特里斯·沙林 1 安德烈·迪迪埃 1 埃斯特勒·H·克里斯蒂安 1 阿达尔贝托·法里亚斯 1 姜忠元 1 费哈特·肯德克 1 李志武 1 刘盖云 1 加文·洛 1 内杰拉·马祖兹 1 孙孟 1 大卫·梅斯特尔 1 迈克尔·莫勒 1 亚历山大·莫塔。 1 奥尔德罗格,恩斯特·吕迪格 1 何塞·努诺·奥利维拉 1 苏菲·昆顿 1 霍尔格·拉什 1 塞萨尔·罗德里格斯。 1 施耐德(Steve A.Schneider)。 1 丹尼尔·辛尼格 1 海伦·特里哈恩 1 魏坤 1 安迪·威林斯 1 克尔斯滕·温特 1 詹姆斯·C·P·伍德科克。 1 吴乃琪 1 叶建红 1 泽达,弗兰克 全部的 前5名9篇连载文章中引用 10 计算的形式方面 4 计算机程序设计科学 三 理论计算机科学 2 逻辑与代数程序设计杂志 1 信息学报 1 实时系统 1 工程中的数学问题 1 自然与社会中的离散动力学 1 亚洲控制杂志 全部的 前5名在6个字段中引用 33 计算机科学(68至XX) 2 系统理论;控制(93至XX) 1 数学逻辑和基础(03-XX) 1 范畴理论;同调代数(18-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文