J-Sim公司 4份文件引用(2009–2016) 软件作者： Sobeih A、Hou J、Kung L-C、Li N、Zhang H、Chen W-P、Tyan H-Y、Lim H 相关软件： 标签 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
S-RIP型 3份文件引用(2004–2009) 软件作者： 万涛；克拉纳基斯、埃文格洛斯；Paul C.van Oorschot。 相关软件： – 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
VCGen公司 2份文件引用(2015–2023) 软件作者： 陈，陈；贾立民；徐浩；罗成；周文超；Loo，Boon Thau先生 相关软件： SANDLog；Coq；KeY… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
最低有效期 1份文件引用(2006) 软件作者： Reddy，T.Bheemarjuna；Sriram，S。；Manoj，B.S。；C.Siva Ram Murthy 相关软件： 全球移动模拟 主要字段： 计算机科学（68-XX）
SANDLog日志 1份文件引用(2015) 软件作者： 陈，陈；贾立民；徐浩；罗成；周文超；Loo，Boon Thau先生 相关软件： VCGen；Coq；RapidNet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CARRADS公司 1份文件引用（2010年） 软件作者： Joseph，John Felix Charles；达斯，阿弥陀佛；李步松（Lee，Bu-Sung）；西特，文冲 相关软件： – 主要字段： 计算机科学（68-XX）
MATF公司 1份文件引用（2020年） 软件作者： Khan，M.S。；M.I.Khan。；苏联马利克。；哈立德，O。；阿齐姆，M。；北卡罗来纳州贾维德。 相关软件： SenetSHM公司 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）