编辑配置文件(在新选项卡中打开) 克里斯·托夫茨 合著者距离 作者ID: 太妃糖 发布日期: 克里斯·托夫茨;托夫茨,C。 编入索引的文档: 15出版物自1992年起 合著者: 7合著者具有9联合出版物 46位合作作者 全部的 前5名合著者 6 单作者的 4 格雷厄姆·马克·伯特利斯特 三 大卫·J·派姆。 1 马修·科林森 1 艾莉森·邓恩(Alison M.Dunn)。 1 梅兰妮·哈彻。 1 法隆·莫勒 1 Dale E.Taneyhill。 全部的 前5名系列 4 计算的形式方面 4 模拟实践与理论 1 数学生物学通报 1 《计算机杂志》。A部分/B部分 1 理论种群生物学 1 美国计算机学会模型和计算机仿真汇刊 领域 13 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 2 生物学和其他自然科学(92-XX) 1 概率论与随机过程(60-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 13出版物有被引用75中的次58文件 引用人▼ 年份▼ 具有概率、优先级和时间的流程。 Zbl 0820.68072号 克里斯·托夫茨 22 1994 资源和过程的演算和逻辑。 Zbl 1111.68086号 大卫·皮姆;克里斯·托夫茨 18 2006 通过资源和过程进行系统建模:哲学、微积分、语义和逻辑。 Zbl 1277.68202号 大卫·皮姆;克里斯·托夫茨 9 2007 TCCS中的行为抽象。 Zbl 1425.68299号 法隆·莫勒;克里斯·托夫茨 6 1992 蚂蚁任务分配算法。(时间聚醚研究:理论)。 Zbl 0784.92026号 克里斯·托夫茨 5 1993 正确使用演示模型。I.实践。 Zbl 1003.68658号 格雷厄姆·伯特利斯特;克里斯·托夫茨 三 2001 正确使用演示模型。II。和理论。 Zbl 1003.68659号 格雷厄姆·伯特利斯特;克里斯·托夫茨 三 2001 基于过程的仿真语言的指称语义。 兹伯利0966.68217 克里斯·托夫茨;格雷厄姆·伯特利斯特 三 1998 流量建模和概率过程抽象。 兹比尔1008.68154 托夫茨,C。 2 2002 “资源和过程的演算和逻辑”及其结果的勘误表。 兹比尔1139.68387 马修·科林森;大卫·皮姆;克里斯·托夫茨 1 2007 寄生性比扭曲下的种群动态。 Zbl 0934.92026号 梅兰妮·哈彻。;Dale E.Taneyhill。;艾莉森·邓恩(Alison M.Dunn)。;克里斯·托夫茨 1 1999 离散事件模拟问题的精确、解析和局部近似解。 Zbl 0924.68211号 托夫茨,C。 1 1998 使用概率过程代数进行性能建模。 Zbl 0989.68102号 克里斯·托夫茨 1 2001 通过资源和过程进行系统建模:哲学、微积分、语义和逻辑。 Zbl 1277.68202号 大卫·皮姆;克里斯·托夫茨 9 2007 “资源和过程的演算和逻辑”及其结果的勘误表。 Zbl 1139.68387号 马修·科林森;大卫·皮姆;克里斯·托夫茨 1 2007 资源和过程的演算和逻辑。 Zbl 1111.68086号 大卫·皮姆;克里斯·托夫茨 18 2006 流量建模和概率过程抽象。 Zbl 1008.68154号 托夫茨,C。 2 2002 正确使用演示模型。I.实践。 Zbl 1003.68658号 格雷厄姆·伯特利斯特;克里斯·托夫茨 三 2001 正确使用演示模型。II。和理论。 Zbl 1003.68659号 格雷厄姆·伯特利斯特;克里斯·托夫茨 三 2001 使用概率过程代数进行性能建模。 Zbl 0989.68102号 克里斯·托夫茨 1 2001 寄生性比扭曲下的种群动态。 兹比尔0934.92026 梅兰妮·哈彻。;Dale E.Taneyhill。;艾莉森·邓恩。;克里斯·托夫茨 1 1999 基于过程的仿真语言的指称语义。 Zbl 0966.68217号 克里斯·托夫茨;Birtwistle,格雷厄姆 三 1998 离散事件模拟问题的精确、解析和局部近似解。 Zbl 0924.68211号 托夫茨,C。 1 1998 具有概率、优先级和时间的流程。 Zbl 0820.68072号 克里斯·托夫茨 22 1994 蚂蚁任务分配算法。(时间聚醚研究:理论)。 Zbl 0784.92026号 克里斯·托夫茨 5 1993 TCCS中的行为抽象。 Zbl 1425.68299号 法隆·莫勒;克里斯·托夫茨 6 1992 所有引用出版物 前5名被引用出版物 全部的 前5名90位作者引用 7 大卫·J·派姆。 6 马可·贝尔纳多 5 克里斯·麦凯格 5 雷切尔·诺曼 5 卡隆·桑德兰 5 克里斯·托夫茨 4 马里奥·布拉维蒂 4 马修·科林森 三 迪迪埃·加米歇 三 罗伯托·戈里埃里 三 O'Hearn,Peter W。 2 拜尔,克里斯特尔 2 Jean-RenéCourtault 2 De Nicola,罗科 2 轩尼诗,Matthew C.B。 2 C.A.R.Tony Hoare 2 诺里希罗·卡米德 2 Joost-Pieter卡托恩 2 艾蒂安·洛兹 2 安娜·菲利普 2 托马斯·施密克尔 2 毛里西奥·托罗 2 朱尔斯·维拉德 1 亚历山德罗·阿尔迪尼 1 法哈德·阿尔巴 1 赛尔阿博莱达 1 延斯·巴赫曼 1 拜根,迈克尔 1 苏菲涅·本基拉内 1 苏珊·M·伯特伦。 1 贝尔科娃,玛尔塔 1 布埃诺·达丰塞卡·利马(Bueno da Fonseca Lima)、埃内斯托·奥古斯托(Ernesto Augusto) 1 兰斯·克莱维兰 1 康德·戈多伊,卫斯利·奥古斯托 1 弗拉维奥·科拉迪尼 1 卡尔·克雷尔斯海姆 1 佩德罗·鲁宾·达吉尼奥 1 卢卡·迪·斯特法诺 1 洛伦佐·多纳蒂耶洛 1 贝蒂娜·恩格伦 1 方,明 1 安迪·芬顿 1 科劳迪亚·皮奥·费雷拉 1 马尼什·戈尔 1 戈雷利克,鲁特 1 安德烈亚·格雷厄姆 1 朱塞佩·格雷科 1 朱利安·古铁雷斯 1 海科·哈曼 1 霍尔格赫尔曼斯 1 乌尔里希·赫尔佐格 1 简·希尔斯顿 1 Chris Ho-Stuart先生 1 奥马尔·因弗索 1 吉野Isobe 1 伊斯坦布尔卡塞 1 Marta Z.Kwiatkowska。 1 多米尼克·拉奇·温德林 1 李因苏普 1 刘欣欣 1 米歇尔·洛雷蒂 1 罗伯托·卢奇 1 杰拉尔德·吕特根 1 米拉·塞德尔巴姆少校。 1 克里斯坦·马塔维利 1 孟、孙 1 罗宾·米尔纳 1 法隆·莫勒 1 Kazuhito Ohmaki 1 亚历山德拉·帕尔米吉亚诺 1 迈克尔·D·菲利普斯。 1 丹尼尔·波雷洛 1 玛丽亚·普埃尔塔 1 马丁·里德尔 1 佐藤,玉田 1 约翰·克里斯托夫·舒斯特 1 马库斯·西格尔 1 斯科特·斯莫尔卡。 1 奥列格·索科尔斯基 1 丹·特多休 1 卢卡·特塞 1 尼古拉斯·特罗夸德 1 阿波斯托洛斯·齐莫利斯 1 塞雷内拉·瓦利亚尼 1 Vélez S.、Carlos M。 1 沃尔特·福格勒 1 伊恩·卫尔曼 1 纳乔姆·维恩伯格。 1 吉安路易吉·扎瓦塔罗 1 H.S.M.泽丹。 全部的 前5名引用于16个系列 13 理论计算机科学 6 计算的形式方面 4 信息处理信件 4 信息与计算 2 MSCS公司。计算机科学中的数学结构 2 动力系统的数学和计算机建模 2 理论生物学杂志 1 数学生物学通报 1 计算机与系统科学杂志 1 理论种群生物学 1 分布式计算 1 应用非经典逻辑杂志 1 生物系统杂志 1 应用逻辑杂志 1 符号逻辑述评 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在7个字段中引用 45 计算机科学(68至XX) 18 数学逻辑和基础(03-XX) 12 生物学和其他自然科学(92-XX) 2 概率论与随机过程(60-XX) 1 常微分方程(34-XX) 1 数值分析(65-XX) 1 系统论;控制(93至XX) 按年份列出的引文