编辑配置文件（在新选项卡中打开） Badings，Thom S。 合著者距离 作者ID： badings.thom-s公司 发布日期： Badings，Thom S。;汤姆·巴丁斯 已编制索引的文档： 2出版物自2022年起 合著者： 7合著者具有2联合出版物 233位合作作者 全部的 前5名合著者 0 单一作者 2 尼尔斯·詹森 2 玛丽·斯托琳加 1 亚历山德罗·阿巴特 1 塞巴斯蒂安·荣格斯 1 哈桑·普纳瓦拉（Hasan A.Poonawala）。 1 利西奥·罗芒 1 马蒂亚斯·沃尔克 系列 1 人工智能研究杂志 领域 1 计算机科学（68至XX） 1 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用3中的次3文件 引用人▼ 年份▼ 具有不确定速率的CTMC的基于抽样的验证。 Zbl 1514.68117号 Badings，Thom S。;尼尔斯·詹森;塞巴斯蒂安·荣格斯;玛丽尔·斯托琳加;马蒂亚斯·沃尔克 三 2022 具有不确定速率的CTMC的基于抽样的验证。 Zbl 1514.68117号 Badings，Thom S。;尼尔斯·詹森;塞巴斯蒂安·荣格斯;玛丽尔·斯托琳加;马蒂亚斯·沃尔克 三 2022 全部的 前5名9位作者引用 三 尼尔斯·詹森 2 Badings，Thom S。 2 塞巴斯蒂安·荣格斯 2 玛丽·斯托琳加 1 亚历山德罗·阿巴特 1 Joost-Pieter卡托恩 1 哈桑·普纳瓦拉（Hasan A.Poonawala）。 1 利西奥·罗芒 1 马蒂亚斯·沃尔克 连载1篇 1 人工智能研究杂志 在3个字段中引用 2 计算机科学（68至XX） 1 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 按年份列出的引文