编辑配置文件(在新选项卡中打开) 蒂莫西·波克 合著者距离 作者ID: 波基·泰莫西 发布方式: 蒂莫西·波克 已编制索引的文档: 9出版物自2012年起 合著者: 15位合著者具有9联合出版物 527位联合作者 全部的 前5名合著者 0 单作者的 4 马克·普泽特 三 阿尔伯特·本文尼斯特 三 贝诺·凯劳德 三 彼得·霍夫纳 三 范格拉贝克、罗伯特·扬 2 布鲁诺·帕加诺 1 马提亚斯·达姆 1 亚历山大·戴维 1 克莱因,格温 1 拉斐尔·科兰斯基 1 金·古德斯特兰·拉森 1 Legay、Axel 1 莱姆,迪迪埃 1 乌尔里克·尼曼 1 安德烈·索夫斯基 系列 1 计算机与系统科学杂志 1 自动推理杂志 1 非线性分析。混合动力系统 领域 9 计算机科学(68至XX) 2 系统论;控制(93至XX) 1 常微分方程(34-XX) 1 数值分析(65-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用27中的次22文件 引用人▼ 年份▼ 混合系统建模器的非标准语义。 Zbl 1244.68050号 阿尔伯特·本文尼斯特;蒂莫西·波克;贝诺·凯劳德;马克·普泽特 11 2012 Zélus:与ODE同步的语言。 Zbl 1361.68026号 蒂莫西·波克;马克·普泽特 5 2013 AODV路由协议的循环自由的机械化证明。 兹比尔1448.68051 蒂莫西·波克;罗布·范格拉贝克;彼得·霍夫纳 4 2014 管理大规模证据的挑战和经验。 Zbl 1359.68264号 蒂莫西·波克;马提亚斯·达姆;克莱因,格温;拉斐尔·科兰斯基 2 2012 将网络协议的进程代数机械化。 Zbl 1356.68182号 蒂莫西·波克;罗伯特·J·范格拉贝克。;彼得·霍夫纳 2 2016 显示网络协议进程代数的组合不变性。 Zbl 1416.68153号 蒂莫西·波克;罗伯特·J·范格拉贝克。;彼得·霍夫纳 2 2014 混合系统建模器中基于类型的因果循环分析。 Zbl 1362.68282号 阿尔伯特·本文尼斯特;蒂莫西·波克;贝诺特·凯劳德;布鲁诺·帕加诺;马克·普泽特 1 2014 将网络协议的进程代数机械化。 Zbl 1356.68182号 蒂莫西·波克;罗伯特·J·范格拉贝克。;彼得·霍夫纳 2 2016 AODV路由协议的循环自由的机械化证明。 Zbl 1448.68051号 蒂莫西·波克;罗布·范格拉贝克;彼得·霍夫纳 4 2014 显示网络协议进程代数的组合不变性。 Zbl 1416.68153号 蒂莫西·波克;罗伯特·J·范格拉贝克。;彼得·霍夫纳 2 2014 混合系统建模器中因果循环的基于类型的分析。 Zbl 1362.68282号 阿尔伯特·本文尼斯特;蒂莫西·波克;贝诺特·凯劳德;布鲁诺·帕加诺;马克·普泽特 1 2014 Zélus:与ODE同步的语言。 Zbl 1361.68026号 蒂莫西·波克;马克·普泽特 5 2013 混合系统建模器的非标准语义。 Zbl 1244.68050号 阿尔伯特·本文尼斯特;蒂莫西·波克;贝诺·凯劳德;马克·普泽特 11 2012 管理大规模证据的挑战和经验。 兹比尔1359.68264 蒂莫西·波克;马提亚斯·达姆;克莱因,格温;拉斐尔·科兰斯基 2 2012 所有引用出版物 前5名被引用出版物 全部的 前5名50位作者引用 三 阿尔伯特·本文尼斯特 三 蒂莫西·波克 三 贝诺·凯劳德 三 彼得·霍夫纳 三 范格拉贝克、罗伯特·扬 2 伯纳德·布罗格里亚托 2 马克·普泽特 2 Jean-Pierre塔宾 2 王淑玲 2 马卡里乌斯·温泽尔 2 徐,熊 2 詹伯华 2 詹乃军 1 奥斯特罗姆,卡尔·约翰 1 蒂鲍特·巴拉邦斯基 1 弗雷德里克·布兰热 1 奥利维尔·伯内兹 1 彼得罗·森恰雷利 1 卢卡·费鲁奇 1 威廉·扬·福克金 1 亚历山大·吉纳多特 1 法特梅·加塞米 1 丹尼尔·戈拉 1 Atsushi Igarashi 1 金向宇 1 香塔尔·凯勒 1 迈克尔·科尔哈斯 1 小岛贤介 1 Panganamala R.库马尔。 1 李爱德华·阿什福德 1 马蒂亚斯·马兰丹 1 康斯坦蒂诺斯·马穆拉斯 1 迪诺·曼德里奥利 1 丹尼尔·马提库克 1 安杰洛·莫尔岑蒂 1 托比·默里 1 中村弘文 1 阮文海 1 布鲁诺·帕加诺 1 马吕斯·波特曼 1 阿默里·波利 1 弗洛里安·拉贝 1 罗西(Matteo A.C.Rossi)。 1 伊万诺·萨尔沃 1 Kohei Suenaga公司 1 Tan、Wee Lum 1 阿内尔·坦瓦尼 1 贝诺缬氨酸 1 朱尔·范德沃尔 1 沃尔夫,伯克哈特 全部的 前5名11篇连载文章中引用 2 理论计算机科学 2 自动推理杂志 2 非线性分析。混合动力系统 1 信息学报 1 Automatica公司 1 计算机与系统科学杂志 1 欧洲应用数学杂志 1 SIAM审查 1 分布式计算 1 系统设计中的形式化方法 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在9个字段中引用 17 计算机科学(68至XX) 6 系统论;控制(93至XX) 4 数学逻辑和基础(03-XX) 三 常微分方程(34-XX) 1 一般性和全局性主题;集合(00-XX) 1 组合数学(05-XX) 1 动力系统和遍历理论(37至XX) 1 变分法与最优控制;最优化(49至XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文