皮克特 74份文件引用(1996–2022) 软件作者： 本杰明·皮尔斯（Benjamin C.Pierce）。；大卫·N·特纳 相关软件： 乔卡姆；莫德；Oz… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
阿克斯 20篇文献引用(2012–2023) 软件作者： 罗希特·查达（Rohit Chadha）、文森特·雪娃（Vincent Cheval）、特凡·乔布（tefan CiobácȘ）、史蒂夫·克莱默（Steve Kremer） 相关软件： 塔马林；AVISPA；Maude-NPA… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
亚帕 18篇文献引用(2009–2020) 软件作者： 马修·波德特；科蒂尔、维罗尼克；斯特凡尼德劳恩 相关软件： AVISPA；阿克斯；Maude-NPA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
图拉法勒 12份文件引用(2004–2012) 软件作者： Bhargavan，Karthikeyan；Fornet，塞德里克；安德鲁·戈登（Andrew D.Gordon）。；里卡多·普切拉 相关软件： Spi2Java；ProVerify；AVISPA… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Psi-calculi公司 12份文件引用(2009–2021) 软件作者： 杰斯珀·本特森 相关软件： 名义上的伊莎贝尔；Isabelle/HOL；Twelf… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
斯皮科 10篇文献引用(2007–2020) 软件作者： 科特勒，塞林；塞德里克·侯赛因；约阿希姆·尼伦 相关软件： 生物-PEPA；BioNetGen；BlenX… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
生物SPI 8份文件引用(2004–2022) 软件作者： – 相关软件： 棱镜；BioNetGen；游戏… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；生物学和其他自然科学（92-XX）
occam-pi型 6篇文献引用（2005年至2021年） 软件作者： 彼得·韦尔奇。；弗雷德里克·巴恩斯。 相关软件： 皮克特；韩国石油公司；Boids… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
韩国石油公司 3份文件引用（2002年至2018年） 软件作者： 弗雷德·巴恩斯；皮特·韦尔奇 相关软件： Handel-C；occam-pi；FDR3… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
JavaSPI（JavaSPI） 1份文件引用(2018) 软件作者： 里卡多·西斯托；比塔萨·科佩特（Bettasa Copet），皮尔吉乌塞佩（Piergiuseppe）；阿瓦莱，马蒂奥；阿尔弗雷多·皮隆蒂 相关软件： MJ；AGVI；Bouncy Castle… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
新HOPLA 3份文件引用(2004–2014) 软件作者： 格林·温斯克尔（Glynn Winskel）；弗朗西斯科·扎帕·纳德利 相关软件： HOPLA公司 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
SOL公司 3份文件引用(2019–2022) 软件作者： 马科托·哈马纳 相关软件： 辅酶q；哈斯克尔；咖啡OBJ… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
CLF公司 2份文件引用(2007–2018) 软件作者： 凯文·沃特金斯；伊利亚诺·塞维萨托；弗兰克·芬宁（Frank Pfenning）；大卫·沃克 相关软件： 名义上的伊莎贝尔；阿格达；Abella… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PIC2LNT公司 2份文件引用（2013年） 软件作者： Radu Mateescu；格温·萨拉恩 相关软件： 电子LOTOS；ProVerify；CADP… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
毕加索 1份文件引用(2012) 软件作者： 达米安·祖弗里（Damien Zufferey）；托马斯·怀斯（Thomas Wies）；托马斯·汉津格 相关软件： 电梯 主要字段： 计算机科学（68-XX）