班德拉 105篇文献引用(2000–2023) 软件作者： 约翰·哈特克利夫；马修·德怀尔 相关软件： 自旋蛋白；Java PathFinder；veriSoft… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CiaoPP公司 51篇文献引用(1999–2022) 软件作者： Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。 相关软件： Ciao；SICStus公司；汞… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
RACOONWW公司 12份文件引用(2010–2023) 软件作者： A.Denner、S.Dittmier、M.Roth、D.Wackeroth 相关软件： 预言4f；2衰减；政变… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
组成 5份文件引用(2005–2010) 软件作者： Danicic，S。；福克斯，C。；哈曼，M。；Hierons，R。 相关软件： ASTREE公司；CSSV；电视… 主要字段： 计算机科学（68-XX）
艾朱利安 5份文件引用(2014–2020) 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；弗朗西斯科·弗雷奇纳；朱莉娅·萨皮娜 相关软件： 莫德；Web-TLR；动画… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
j预测器 5份文件引用(2007–2018) 软件作者： Feng Chen、Traian Florin Serbanuta、Grigore Rošu 相关软件： AVIO；QuickLex；快速通道… 主要字段： 计算机科学（68-XX）
ABETS公司 4份文件引用(2016–2023) 软件作者： Alpunte，M。；Frechina，F.作者简介；萨皮尼亚，J。；D.巴利斯。 相关软件： 莫德；GLINTS公司；MTT… 主要字段： 计算机科学（68-XX）
桑特 1份文件引用(2018) 软件作者： 奥马尔·切巴罗；尼古拉·科马托夫；阿兰·乔尔盖蒂；雅克·朱利安德 相关软件： Frama-C；PathCrawler；Coq… 主要字段： 计算机科学（68-XX）
朱利安 2份文件引用(2015) 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；弗朗西斯科·弗雷奇纳；丹尼尔·罗梅罗 相关软件： 莫德；阿尼玛；第3章… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DynOpVm公司 1份文件引用(2019) 软件作者： 程晓阳；Lin，Yan；高德宾；贾春福 相关软件： 戴坦；VOT4CS；pyftpdlib… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
可变气门正时（VVT） 1份文件引用(2017) 软件作者： 亨宁·贡瑟；阿尔芬斯·拉阿尔曼（Alfons Laarman）；西蒙·扬奇 相关软件： CTIGAR公司 主要字段： 计算机科学（68-XX）