BIDE公司 16篇文献引用(2006–2019) 软件作者： 王杰、韩杰 相关软件： PrefixSpan；铲刀；CloSpan… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
派克斯 23篇文献引用(2009–2018) 软件作者： 尼古拉·蒂尔曼（Nikolai Tillmann）、乔纳森·德哈勒克斯（Jonathan de Halleux） 相关软件： 投掷；可爱的；z3… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
PyCUDA公司 23篇文献引用(2011–2023) 软件作者： NVIDIA公司 相关软件： PyOpenCL；CUDA；Python… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
有限责任公司 13份文件引用(2012–2022) 软件作者： 斯蒂芬·福克（Stephan Falke）；弗洛里安·默兹（Florian Merz）；卡斯滕·辛兹 相关软件： 不明飞行物；注册会计师检查；CBMC… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
麦克尔朗 引用于3份文件(2009–2018) 软件作者： Earle，C.B.，Fredlund，L.-奥伊。 相关软件： 埃尔朗；快速检查；MapReduce… 主要字段： 计算机科学（68-XX）
土拨鼠 5份文件引用(2008–2017) 软件作者： Krammer，B.，Bidmon，K.，Müller，M.S.，Resch，M.M。 相关软件： ISP；MPI-检查；TotalView… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
梅林 5份文件引用(2013–2017) 软件作者： Livshits VB、Nori AV、Rajamani SK、Banerjee A 相关软件： JavaScript；赛纳；TAJ… 主要字段： 计算机科学（68-XX）
ABETS公司 4份文件引用(2016–2023) 软件作者： Alpunte，M。；Frechina，F.作者简介；萨皮尼亚，J。；D.巴利斯。 相关软件： 莫德；闪烁；MTT… 主要字段： 计算机科学（68-XX）
瑞士法郎 4份文件引用(2002–2018) 软件作者： Christian Holzbaur、Tom Schrijvers、Tom Schrijvers 相关软件： 哈斯克尔；SCIFF；ACORDA… 主要字段： 计算机科学（68-XX）
GPU棱镜 4份文件引用(2016–2021) 软件作者： 博什纳奇奇D、埃德尔坎普S、苏鲁夫斯基D、威伊斯A 相关软件： CUDA；mCRL2；棱镜… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
杰霍恩 引用于3份文件(2020–2021) 软件作者： Temesghen Kahsai；Rody Kersten；菲利普·吕默；华斯卡·桑切斯；马丁·施瓦夫 相关软件： SeaHorn；z3；FunArray… 主要字段： 计算机科学（68-XX）
HLIO公司 引用于3份文件(2015–2019) 软件作者： 巴勃罗，布瑞斯；Vytiniotis，Dimitrios；亚历杭德罗·拉索 相关软件： 哈斯克尔；流量凸轮；哈哈… 主要字段： 计算机科学（68-XX）
J-LO公司 引用于3份文件(2009–2012) 软件作者： 埃里克·博登（Eric Bodden）；沃尔克·斯托尔茨 相关软件： 方面J；Java-MOP；DaCapo… 主要字段： 计算机科学（68-XX）
TS公司# 2份文件引用(2014–2017) 软件作者： 尼基尔·斯瓦米；Fornet，塞德里克；拉斯托吉（Aseem Rastogi）；卡尔蒂基扬·巴尔干；Chen，Juan；支柱，Pierre-Yves；加文·比尔曼 相关软件： JavaScript；ProVerify；网址（Ur/Web）… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
隐喻 2份文件引用(2006–2011) 软件作者： 格雷戈里·内弗罗夫（Gregory Neverov）、保罗·罗（Paul Roe） 相关软件： OCaml；方面J；Cayenne… 主要字段： 计算机科学（68-XX）
宾西姆 1份文件引用(2019) 软件作者： Ming，J.，Xu，D.，Jiang，Y.，Wu，D。 相关软件： 戴坦；DynOpVm；VOT4CS… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
D3S公司 1份文件引用(2020) 软件作者： 刘学政、郭振宇、王曦、陈飞波、连晓晨、汤健、吴铭、M.Frans Kaashoek、郑章 相关软件： ASM；PeerSim；Coq… 主要字段： 计算机科学（68-XX）
软绑定（SoftBound） 1份文件引用(2020) 软件作者： Nagarakatte，S.、Zhao，J.、Martin，M.M.、Zdancewic，S 相关软件： Jinja线程；存档正式证据 主要字段： 计算机科学（68-XX）
TXP公司 1份文件引用(2005) 软件作者： Dudani，S.、Geada，J.、Jakacki，G.、Vainer，D。 相关软件： Java-MaC；LTL2BA；自旋蛋白 主要字段： 计算机科学（68-XX）
ND序列 在0个文档中引用 软件作者： 雅各布·伯尼姆（Jacob Burnim）、泰富·埃尔马斯（Tayfun Elmas）、乔治·内库拉（George Necula）、库什克·森（Koushik Sen） 相关软件： —— 主要字段： ——