STM台架7 6篇文献引用(2010–2012) 软件作者： R Guerraoui、M Kapalka、J Vitek 相关软件： 印章；PARSEC；Lee-TM… 主要字段： 计算机科学（68-XX）
环STM 5份文件引用(2010–2022) 软件作者： M.F.斯皮尔、M.M.迈克尔、C.冯·普劳恩。 相关软件： NOrec；印章；TLRW… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
层压 4份文件引用(2017–2022) 软件作者： Roy I、Porter DE、Bond MD、McKinley KS、Witchel E 相关软件： JFlow；JRIF；Jif… 主要字段： 计算机科学（68-XX）
任务检查器 2份文件引用(2012–2022) 软件作者： Raghavan Raman；赵继生；维维克·萨卡尔（Vivek Sarkar）；马丁·维切夫（Martin Vechev）；埃兰·雅哈夫 相关软件： github；罗斯林；RacerX… 主要字段： 计算机科学（68-XX）
LightSpMV公司 2份文件引用(2016–2017) 软件作者： Y.Liu、B.Schmidt 相关软件： 解析；CSR5；yaSpMV… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
CCMpred公司 引用于1份文件(2016) 软件作者： Stefan Seemayer、Markus Gruber、Johannes Söding 相关软件： 剂量；阿波罗；DBAli工具… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
CodeNet公司 引用于1份文件(2019) 软件作者： 桑哈米特拉·杜塔（Sanghamitra Dutta）、白子谦（Ziqian Bai）、谢孟洛（Tze Meng Low）、普基特·格罗弗（Pulkit Grover） 相关软件： 一半；BFloat16s；rpe… 主要字段： 数值分析（65-XX）
迪索拉 在0个文档中引用 软件作者： 弗朗西斯·罗素。；迈克尔·梅勒（Michael R.Mellor）。；Paul H.J.Kelly。；奥拉夫·贝克曼 相关软件： SUIF；Blitz++库；BLAS… 主要字段： –
软绑定（SoftBound） 引用于1份文件(2020) 软件作者： Nagarakatte，S.、Zhao，J.、Martin，M.M.、Zdancewic，S 相关软件： Jinja线程；存档正式证据 主要字段： 计算机科学（68-XX）