安全UML 7份文件引用(2002–2014) 软件作者： 托尔斯滕·洛德斯泰特；David Basin；于尔根Doser 相关软件： Z；自旋蛋白；HOL-OCL… 主要字段： 计算机科学（68-XX）
穆瓦尔 8份文件引用(2010–2023) 软件作者： Ou，X.，Govindavajhala，S.，Appel，A.W。 相关软件： ADEPTS；分享；SPSS… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
消防员 5份文件引用(2009–2018) 软件作者： 袁，L。；Mai，J。；苏，Z。；陈，H。；Chuah，C.N。；莫哈帕特拉，P。 相关软件： 马尔格雷夫；菲尔马托；HOL-TestGen… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
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）
梅林 5份文件引用（2013-2017） 软件作者： Livshits VB、Nori AV、Rajamani SK、Banerjee A 相关软件： JavaScript；萨纳尔；TAJ… 主要字段： 计算机科学（68-XX）
AD工具 3份文件引用(2014–2021) 软件作者： 芭芭拉·科尔迪（Barbara Kordy）、彼得·科尔迪（Piotr Kordy，Sjouke Mauw）、帕特里克·施韦策（Patrick Schweitzer） 相关软件： MuSig2；github；ADEPTS… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
香蕉 3份文件引用(2003–2008) 软件作者： 奇亚拉·布拉金（Chiara Braghin）；阿戈斯蒂诺·科尔特斯；斯蒂芬诺·菲利波内；福卡迪、里卡多；Luccio，Flaminia L。；卡拉广场 相关软件： —— 主要字段： 计算机科学（68-XX）
比例 3份文件引用(2016–2019) 软件作者： B.T.里尔登；M.A.杰西 相关软件： 比例尺6.2；COBRA-TF；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；统计力学，物质结构（82-XX）
BanditFuzz乐队 1份文件引用(2022) 软件作者： 斯科特·J。；Sudula，T。；Rehman，H。；莫拉·F。；加内什，V。；Huisman，M。；帕斯勒诺，C。；詹，N。 相关软件： 依兰CoP；VAMPIRE公司；阿凡达… 主要字段： 计算机科学（68-XX）
宾西姆 1份文件引用(2019) 软件作者： Ming，J.，Xu，D.，Jiang，Y.，Wu，D。 相关软件： 戴坦；DynOpVm；VOT4CS… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
BPA-Sec4云 1份文件引用(2016) 软件作者： 费尔南多·林斯；朱利奥·达马西奥（Julio Damasceno）；罗布森·梅德罗斯；埃里卡·索萨；尼尔森·罗莎 相关软件： BPMN2；活动性；轴2… 主要字段： 计算机科学（68-XX）
ExaGO公司 在0个文档中引用 软件作者： 阿比扬卡、施里朗；佩尔斯，斯拉文；塔马拉·贝切亚克；杰西·霍尔泽（Jesse Holzer）；阿舍，曼奇内利；卡梅隆·卢瑟福 相关软件： PETSc；HiOp；拉贾… 主要字段： ——
MATF公司 1份文件引用(2020) 软件作者： M.S.Khan。；M.I.Khan。；苏联马利克。；Khalid，O。；阿齐姆，M。；北卡罗来纳州贾维德。 相关软件： SenetSHM公司 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SCAIMO公司 1份文件引用(2009) 软件作者： 阿米尔·瓦希德·达斯特杰迪；塔巴塔拜，古拉姆·哈桑（Gholam Hassan）说；万·M.N.万·卡迪尔；易卜拉欣、苏哈伊米；Elahe Sarafian 相关软件： —— 主要字段： 计算机科学（68-XX）
海洋怪物 1份文件引用(2014) 软件作者： SINTEF公司；P.H.Meland、D.G.Spampinato、E.Hagen、E.T.Baadshaug、K.-M.Krister、K.S.Velle、， 相关软件： ADEPTS；SecurITree；RRE… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）