高超声速 320篇文献引用(1996–2024) 软件作者： 汤姆·亨廷格（Tom Henzinger）、裴勇浩（Pei-Hin-Ho）和霍华德·旺托伊（Howard Wong-Toi）。 相关软件： Uppaal；PHAVer；Kronos… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
HYSDEL公司 41篇文献引用(2003–2023) 软件作者： 法比奥·达尼洛·托里西（Fabio Danilo Torrisi）、阿尔贝托·本普拉德（Alberto Bempoad）、乔埃勒·贝尔蒂尼（Giole Bertini）、彼得·赫塔奇（Peter Hertach）、多米尼克·约斯特（Dominic Jost）、多 相关软件： 混合工具箱；CPLEX；高科技… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CalCS公司 8份文件引用(2013–2019) 软件作者： Nuzzo，P.、Puggelli，A.、Seshia，S.A.、Sangiovanni-Vincentelli，A.L。 相关软件： dReal；z3；dReach… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；运筹学，数学规划（90-XX）…
SPeeDI公司 引用于7份文件(2002–2017) 软件作者： 细辛，尤金；佩斯，戈登；杰拉尔多·施耐德；塞尔吉奥·尤文 相关软件： GSPeeDI；高科技；ParaPlan… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；系统论；对照（93-XX）
LinAIG公司 引用于7份文件(2011–2022) 软件作者： 沃纳·达姆；Dierks，Henning；斯蒂芬·迪什（Stefan Disch）；威廉·哈格曼；弗洛里安·皮戈什（Florian Pigorsch）；克里斯托夫·斯科尔；乌韦·沃尔德曼；鲍里斯·维茨 相关软件： z3；CUDD；SpaceEx… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
COSMOS公司 6篇文献引用(2013–2021) 软件作者： Ballarini，P.、Djafri，H.、Duflot，M.、Haddad，S.、Pekergin，N。 相关软件： 棱镜；Ymer；VESTA… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
HASL公司 6篇文献引用(1986–2016) 软件作者： Ballarini，P.、Djafri，H.、Duflot，M.、Haddad，S.、Pekergin，N。 相关软件： COSMOS；Uppaal；棱镜… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
HyLAA公司 6篇文献引用(2017–2023) 软件作者： 斯坦利·巴克；帕拉萨拉·斯里达尔·达吉拉拉 相关软件： CORA；SpaceEx；流量*… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；对照（93-XX）
SR每个 5份文件引用(2015–2022) 软件作者： Q.Wang、P.Zuliani、S.Kong、S.Gao、E.M.Clarke 相关软件： ProbReach；p面；SReachTools… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
巴赫 5份文件引用(2010–2018) 软件作者： Bu L、Li Y、Wang L、Li X 相关软件： SpaceEx；高科技；PHAVer… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
汽车30 4份文件引用(2013–2018) 软件作者： 达斯，苏拉夫；迪潘维塔·罗伊·乔杜里 相关软件： 谷物；eSTREAM；CASTREAM… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；动力系统和遍历理论（37-XX）…
LySHA公司 4份文件引用(2012–2021) 软件作者： 杜吉拉拉，帕拉萨拉·斯里达尔；萨扬·密特拉 相关软件： 凯伊迈拉；凯伊迈拉X；流量*… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…