高超声速 320篇文献引用(1996–2024) 软件作者: 汤姆·亨廷格(Tom Henzinger)、裴勇浩(Pei-Hin-Ho)和霍华德·旺托伊(Howard Wong-Toi)。 相关软件: Uppaal;PHAVer;Kronos… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
Uppaal2k公司 38篇文献引用(2000–2017) 软件作者: Kim G.Larsen、Wang Yi、Paul Pettersson、Alexandre David、Brian Nielsen、Arne Skou、John Håkansson、Jacob Illum Rasmussen、Pavel Krcál、Ulrik Larsen、Marius Mikucionis、Leonid Mokrushin 相关软件: Uppaal;克罗诺斯;高科技… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
lmtest测试 引用于9份文件(2006–2018) 软件作者: 托尔斯滕·霍特霍恩;阿奇姆·泽利斯;乔瓦尼·米洛;大卫·米切尔 相关软件: R;汽车;三明治… 主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX);数学教育(97-XX)
布拉德利特里2 在14份文件中引用(2012–2022) 软件作者: 海瑟·特纳(Heather Turner)、大卫·弗斯(David Firth) 相关软件: R;前置模块;gnm… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
菲塔尔 8份文件引用(2011–2022) 软件作者: A.I.McLeod,Ying Zhang,Xu长江 相关软件: R;fGarch;变量… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX)
最大持续功率 5份文件引用(2021–2023) 软件作者: Thomas Fung、Aya Alwan、Justin Wishart、Alan Huang 相关软件: R;阿克;foreach… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX)
Pedcheck(跟踪检查) 3份文件引用(2008–2017) 软件作者: 杰弗里·奥康奈尔。;周,Daniel E。 相关软件: 博阿迪西亚;门德尔;赛勒… 主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
凶悍的人 2份文件引用(2021年至2022年) 软件作者: 马丁·科尔贝尔;Leue,Stefan;托马斯·怀斯 相关软件: Uppaal;SemFix;S-TaLiRo… 主要字段: 计算机科学(68-XX)
AF集装箱 1份文件引用(2018) 软件作者: 克里斯·惠登(Chris Whidden);弗雷德里克·马特森(Frederick A.Matsen) 相关软件: PAUP*;RAxML;SDLNewick… 主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)
SDLNewick公司 1份文件引用(2018) 软件作者: 克里斯·惠登(Chris Whidden);弗雷德里克·马特森(Frederick A.Matsen) 相关软件: PAUP*;RAxML;AFContainer… 主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)