CADP公司 116篇文献引用(1997–2023) 软件作者： 休伯特·加拉维；赫尔曼斯，霍尔格；CONVCS团队 相关软件： 自旋蛋白；mCRL2；LOTOS… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
CAESAR_解决 11份文件引用(2006–2022) 软件作者： Radu Mateescu公司 相关软件： CADP；到期未结；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
凯撒 11份文件引用(2004–2021) 软件作者： 休伯特·加拉维；温德林·塞尔韦；INRIA罗纳阿尔卑斯山 相关软件： CADP；NUPN_INFO；caesar.bdd… 主要字段： 计算机科学（68-XX）
米纳尔普尔 12份文件引用(2015–2022) 软件作者： Sasaki Y.、Todo Y.、Aoki K.、Naito Y.、Sugawara T.、Murakami Y.，Matsui M.、Hirose S。 相关软件： ELmD；瘦骨嶙峋；LED… 主要字段： 组合数学（05-XX）；信息与通信理论，电路（94-XX）
nuScenes公司 5份文件引用(2020–2023) 软件作者： Holger Caesar、Varun Bankiti、Alex H.Lang、Sourabh Vora、Venice Erin Liong、Qiang Xu、Anush Krishnan、Yu Pan、Giancarlo Baldan、Oscar Beijbom 相关软件： MS-COCO；ApolloScape；基蒂… 主要字段： 计算机科学（68-XX）；系统论；对照（93-XX）
雅典 7份文件引用(2011–2021) 软件作者： Gaj，K.、Kaps，J.P.、Amirineni，V.、Rogawski，M.、Homsirikamol，E.、Brewster，B.Y。 相关软件： 西蒙；凯卡克；电子广播公司… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
LNT2LOTOS公司 7份文件引用(2012–2022) 软件作者： David Champelovier、Xavier Clerc、Hubert Garavel、Yves Guerte、Frédéric Lang、Christine McKinty、Vincent Powazny、Wendelin Serwe、Gideon Smeding 相关软件： CADP；自旋蛋白；Exp.打开… 主要字段： 计算机科学（68-XX）
VeriFlow公司 7份文件引用(2016–2022) 软件作者： A.Khurshid、X.Zou、W.Zhou、M.Caesar、P.B.Godfrey 相关软件： NetKAT；食蚁兽；VeriCon… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
凯撒大帝 6篇文献引用（2015年-2023年） 软件作者： 达米安·贝加米尼（Damien Bergamini）；休伯特·加拉维；INRIA罗纳阿尔卑斯山 相关软件： NUPN_INFO；凯撒；TINA… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
食蚁兽 5份文件引用(2013–2022) 软件作者： Mai，H.、Khurshid，A.、Agarwal，R.、Caesar，M.、Godfrey，P.、King，S.T。 相关软件： NetKAT；VeriFlow；VeriCon… 主要字段： 计算机科学（68-XX）
PointPillars（点支柱） 2份文件引用(2023) 软件作者： Alex H.Lang、Sourabh Vora、Holger Caesar、Lubing Zhou、Jiong Yang、Oscar Beijbom 相关软件： VoxelNet；ImageNet；nuScenes… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；系统论；对照（93-XX）
加密卫星 3份文件引用(2014–2021) 软件作者： 弗雷德里克·拉斐特 相关软件： 迷你卫星；SMAC；PSATO… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
TGV公司 3份文件引用(2005–2014) 软件作者： Jean-Claude Fernandez、Claude Jard、Thierry Jéron、Cesar Viho 相关软件： Z；跳跃；UML秒… 主要字段： 计算机科学（68-XX）
国际汽联 2份文件引用(2019–2021) 软件作者： 拉梅赞普尔（Ramezanpour），基万（Keyvan）；Paul Ampadu；威廉·迪尔 相关软件： 雅典；XooTools；龙卷风… 主要字段： 信息与通信理论，电路（94-XX）
密涅瓦 1份文件引用(2019) 软件作者： Farahmand，F.，Ferozpuri，A.，Diehl，W.，Gaj，K。 相关软件： NTRU公司 主要字段： 量子理论（81-XX）；信息与通信理论，电路（94-XX）