编辑配置文件(在新选项卡中打开) 马蒂亚斯·昆茨 合著者距离 作者ID: 昆茨·马提亚斯 发布日期: 马蒂亚斯·昆茨 已编制索引的文档: 6出版物自1995年起 合著者: 5位合著者具有5联合出版物 116位合作作者 全部的 前5名合著者 0 单作者的 2 Boudewijn R.哈维尔科特。 2 马库斯·西格尔 1 斯特凡·布隆 1 哈弗曼,D。 1 凯·兰普卡 1 沃尔夫冈·伦施 1 范德波尔,扬·科内利斯 系列 领域 5 计算机科学(68至XX) 1 数值分析(65-XX) 1 流体力学(76-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用8中的次7文件 引用人▼ 年份▼ 从随机过程代数导出符号表示。 Zbl 1065.68594号 马蒂亚斯·昆茨;马库斯·西格尔 4 2002 针对CSL模型检查的分布式马尔可夫共刺激减少。 Zbl 1286.68306号 斯特凡·布隆;Boudewijn R.哈维尔科特。;马蒂亚斯·昆茨;范德波尔(Jaco van de Pol) 三 2008 随机系统的符号模型检验:理论与实现。 兹比尔1178.68346 马蒂亚斯·昆茨;马库斯·西格尔 1 2006 针对CSL模型检验的分布式马尔可夫互模拟约简。 Zbl 1286.68306号 斯特凡·布隆;Boudewijn R.哈维尔科特。;马蒂亚斯·昆茨;范德波尔(Jaco van de Pol) 三 2008 随机系统的符号模型检验:理论与实现。 Zbl 1178.68346号 马蒂亚斯·昆茨;马库斯·西格尔 1 2006 从随机过程代数导出符号表示。 Zbl 1065.68594号 马蒂亚斯·昆茨;马库斯·西格尔 4 2002 所有引用出版物 前5名被引用出版物 全部的 前5名被21位作者引用 2 马库斯·西格尔 1 简斯·巴赫曼 1 巴伯,贝诺 1 斯特凡·布隆 1 彼得·巴赫霍尔茨 1 陈、陶璐 1 Czekster,Ricardo M。 1 塞萨尔·A·F·德·罗斯。 1 保罗·费尔南德斯 1 韩婷婷 1 Joost-Pieter卡托恩 1 凯·兰普卡 1 安东尼奥·利马(Antonio M.Lima)。 1 亚历山大·梅雷克莱 1 Marco A.S.内托。 1 马丁·里德尔 1 约翰·克里斯托夫·舒斯特 1 伊戈尔·瓦勒维奇·塔拉修克 1 塔蒂,巴拉斯·西瓦·库马尔 1 范德波尔,扬·科内利斯 1 泰国韦伯 2篇连载文章中引用 1 并行与分布式计算杂志 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 在4个字段中引用 7 计算机科学(68至XX) 2 概率论与随机过程(60-XX) 1 数学逻辑和基础(03-XX) 1 数值分析(65-XX) 按年份列出的引文