编辑配置文件(在新选项卡中打开) 托马斯·斯塔纳 合著者距离 作者ID: 斯塔内·托马斯 发布日期: 托马斯·斯塔纳 已编制索引的文档: 5出版物自1999年起 合著者: 3位合著者具有3联合出版物 86位合作作者 合著者 2 单作者的 1 克里斯托夫·格林姆 1 拉杜·格罗苏 1 奥拉夫·穆勒 系列 1 系统设计中的形式化方法 1 动力系统的数学和计算机建模 领域 三 计算机科学(68至XX) 三 系统论;控制(93至XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用16中的次15文件 引用人▼ 年份▼ 混合自动机的离散时间精化。 Zbl 1044.93522号 托马斯·斯塔纳 6 2002 混合系统的模块化和可视化规范:HyCharts简介。 Zbl 1018.68047号 拉杜·格罗苏;托马斯·斯塔纳 5 2002 使用线性混合自动机进行建模和验证–案例研究。 Zbl 0938.93568号 奥拉夫·米勒;托马斯·斯塔纳 4 2000 混合系统的属性-分类和与计算机科学的关系。 Zbl 1023.93512号 托马斯·斯塔纳 1 2001 混合自动机的离散时间精化。 Zbl 1044.93522号 托马斯·斯塔纳 6 2002 混合系统的模块化和可视化规范:HyCharts简介。 Zbl 1018.68047号 拉杜·格罗苏;托马斯·斯塔纳 5 2002 混合系统的属性-分类和与计算机科学的关系。 Zbl 1023.93512号 托马斯·斯塔纳 1 2001 使用线性混合自动机进行建模和验证–案例研究。 Zbl 0938.93568号 奥拉夫·米勒;托马斯·斯塔纳 4 2000 所有引用的出版物 前5名被引用出版物 全部的 前5名38位作者引用 2 卢卡·博托卢西 2 达姆,沃纳 2 瓦实提·加尔平 2 简·希尔斯顿 1 马可·安东尼奥蒂 1 理查德·巴纳赫 1 亚历山德罗·西马蒂 1 海宁·迪尔克斯 1 阿巴斯·埃达拉特 1 马丁·范策尔 1 安托万·吉拉德 1 克里斯托夫·格林姆 1 恩斯特·莫里茨·哈恩 1 阿恩·哈特曼斯 1 霍尔格·赫尔曼斯 1 彼得·霍夫纳 1 黄润磊 1 Joost-Pieter卡托恩 1 Ryan Kirwan 1 拉诺特、拉格罗 1 安德烈亚·马焦洛·谢蒂尼 1 爱丽丝·安·米勒 1 塞尔吉奥·莫弗 1 乌韦州内斯特曼 1 延斯·奥勒金 1 德克·帕丁森 1 卡拉广场 1 阿米尔·普努利 1 阿尔贝托,Policriti 1 伯恩德·波尔 1 贾·戴维德·奎塞尔 1 斯文·施奈德 1 玛尔塔·西蒙 1 弗拉基米尔·辛亚科夫 1 托马斯·施陶纳 1 苏文 1 斯特凡诺·托内塔 1 朱慧彪 全部的 前5名6篇连载文章中引用 三 计算的形式方面 2 系统设计中的形式化方法 1 Automatica公司 1 计算机与系统科学杂志 1 理论计算机科学 1 逻辑与代数程序设计杂志 全部的 前5名在6个字段中引用 14 计算机科学(68至XX) 6 系统论;控制(93至XX) 1 数理逻辑与基础(03-XX) 1 动力系统和遍历理论(37至XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文