MCMAS公司 86篇文献引用(2006–2023) 软件作者： 阿莱西奥·洛穆西奥（Alessio Lomuscio）、洪阳区（Hongyang Qu）、弗兰科·雷蒙迪（Franco Raimondi） 相关软件： MCK；摩卡；MCMAS-SLK… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
克利夫亚 73篇文献引用(2007–2023) 软件作者： 雷扎伊普尔，达伍德；Mohamad Rushdan马里兰州。 相关软件： 出席；短笛；LBlock；…（L块；…）… 主要字段： 数论（11-XX）；算子理论（47-XX）；计算机科学（68-XX）…
OFMC公司 25篇文献引用(2005–2022) 软件作者： 塞巴斯蒂安·莫德谢姆，卢卡·维甘诺 相关软件： AVISPA；NRL；Casper… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
KASUMI公司 20篇文献引用(2002–2016) 软件作者： 佐藤、阿卡西；住友县森冈 相关软件： 山茶花；漩涡；SageMath… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
XooTools公司 19份文件引用(2021–2023) 软件作者： Daeman，J.、Hoffert，S.、Van Assche，G.、Van Keer，R。 相关软件： 凯卡克；金利；GitHub… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
TLAPS（TLAPS） 14篇文献引用(1999–2023) 软件作者： 拉波特 相关软件： 薄层色谱法；常春藤；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
图拉法勒 12份文件引用(2004–2012) 软件作者： Bhargavan，Karthikeyan；Fornet，塞德里克；安德鲁·戈登（Andrew D.Gordon）。；里卡多·普切拉 相关软件： Spi2Java；ProVerify；AVISPA… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
FoCaLiZe公司 9份文件引用(2015–2023) 软件作者： INRIA公司；佩索，F.，维娅，P.，多利盖兹，D。 相关软件： 辅酶q；dedukti；PVS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MulVAL公司 8份文件引用(2010–2023) 软件作者： Ou，X.，Govindavajhala，S.，Appel，A.W。 相关软件： ADEPTS；分享；SPSS… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
LoPSiL公司 5份文件引用(2009–2023) 软件作者： 杰·利加蒂（Jay Ligatti）；比利·里基；纳林·赛加尔 相关软件： 方面J；BCEL；TaintDroid公司 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
旋风 7份文件引用(2010–2023) 软件作者： 保罗·巴雷托；文茨拉夫·尼科夫；斯维特拉·尼科娃；Vincent Rijmen；Elmar Tischhauser公司 相关软件： 极瘦的；漩涡；QARMA… 主要字段： 数论（11-XX）；算子理论（47-XX）；计算机科学（68-XX）…
莱姆 4份文件引用(2011–2021) 软件作者： 多米尼克·P·穆利根。；斯科特·欧文斯；格雷，凯瑟琳·E。；汤姆·里奇；彼得·休厄尔 相关软件： Isabelle/HOL；辅酶q；ACL2… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
梅林 5份文件引用(2013–2017) 软件作者： Livshits VB、Nori AV、Rajamani SK、Banerjee A 相关软件： JavaScript；萨纳尔；TAJ… 主要字段： 计算机科学（68-XX）
Spi2Java软件 3份文件引用(2007–2014) 软件作者： 波扎，D.，西斯托，R.，杜兰特，L。 相关软件： ASPIER公司；AGVI；项目验证… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
AGVI公司 3份文件引用(2001–2018) 软件作者： 宋，黎明；阿德里安·佩里格（Adrian Perrig）；潘，多安坦 相关软件： JavaSPI；MJ；Spi2Java… 主要字段： 计算机科学（68-XX）
塞尔夫 4份文件引用(2008–2023) 软件作者： 安德斯·沙克·奈尔森（Anders Schack-Nielsen）；卡斯滕·舒尔曼 相关软件： TALx86；洛利；混合型… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
UML秒 2份文件引用(2014–2018) 软件作者： Jürjens J、Shabalin P、Alter E、Gilg A、Höhn S、Kopjev D、Lehrhuber M、Schwarzmüller S、Shen S 相关软件： 跳跃；TGV；LUSTRE… 主要字段： 计算机科学（68-XX）
香蕉 3份文件引用(2003–2008) 软件作者： 奇亚拉·布拉金（Chiara Braghin）；阿戈斯蒂诺·科尔特斯；斯蒂芬诺·菲利波内；福卡迪、里卡多；Luccio，Flaminia L。；卡拉广场 相关软件： – 主要字段： 计算机科学（68-XX）
四层楼 3份文件引用(2013–2020) 软件作者： Sridharan，M。；阿尔齐，S。；皮斯托亚，M。；瓜尼埃里，S。；跳闸，O。；R·伯格。 相关软件： TAJ公司；戴坦；像素… 主要字段： 计算机科学（68-XX）
KAoS公司 2份文件引用(2004) 软件作者： 安德烈·乌斯科（Andrzej Uszok）；Jeffrey M.Bradshaw。；雷妮娅·杰弗斯 相关软件： – 主要字段： 计算机科学（68-XX）
VCGen公司 2份文件引用(2015–2023) 软件作者： 陈，陈；贾利民；徐浩；罗成；周文超；Loo，Boon Thau先生 相关软件： SANDLog；辅酶q；KeY… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CompoSAT公司 2份文件引用(2018–2022) 软件作者： Porncharoenwase，索拉维；蒂姆·纳尔逊（Tim Nelson）；克里希纳穆提，施莱姆 相关软件： MiniSat；科科德；梅斯4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
加密验证 2份文件引用(2012–2013) 软件作者： 大卫·卡德；布鲁诺·布兰切特 相关软件： ASPIER公司；OCaml；密码点… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SANDLog公司 1份文件引用(2015) 软件作者： 陈，陈；贾利民；徐浩；罗成；周文超；Loo，Boon Thau先生 相关软件： VCGen；辅酶q；RapidNet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
AdJail监狱 1份文件引用（2013年） 软件作者： Ter Louw，M。；Ganesh，K。；Venkatakrishnan，V.，Adjail（阿贾尔） 相关软件： FlowFox；水仙；AD安全… 主要字段： 计算机科学（68-XX）
BanditFuzz乐队 1份文件引用(2022) 软件作者： 斯科特·J。；Sudula，T。；Rehman，H。；莫拉·F。；加内什，V。；Huisman，M。；帕斯勒诺，C。；詹，N。 相关软件： 依兰CoP；VAMPIRE公司；阿凡达… 主要字段： 计算机科学（68-XX）
G2C公司 1份文件引用(2012) 软件作者： 迈克尔·巴克斯（Michael Backes）；马菲，马泰奥；Pecina，Kim；拉斐尔·雷舒克（Raphael M.Reischuk）。 相关软件： 通用电气；AURA公司 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）