联合 183份文件引用（1988年至2021年） 软件作者： K.Mani Chandy；贾亚德夫·米斯拉 相关软件： NQTHM；PVS；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
查龙 17篇文献引用(2000–2017) 软件作者： 拉杰夫·阿鲁尔；格鲁苏，拉杜；Hur，Yerang；维杰·库马尔；李因苏普 相关软件： 高科技；SpaceEx；酯类… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
澄清器 5份文件引用(1995–2005) 软件作者： 肯尼·亨特（Kenny Hunt）；詹姆斯·克里默 相关软件： 分子；鹦鹉螺；ACSL… 主要字段： 凸和离散几何（52-XX）；统计学（62-XX）；计算机科学（68-XX）…
多PDEVS 1份文件引用(2018) 软件作者： 四分，达米恩；弗朗西斯科尼，罗曼；双冈比亚，保尔·安托因；贝尔纳·齐格勒（Bernard P.Zeigler）。 相关软件： DEVS-鲁比 主要字段： 系统论；控制（93-XX）