CESAR公司 160篇文献引用(1982–2023) 软件作者： Queille，J.P。；J.西法基斯。 相关软件： 自旋蛋白；SLAM；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
M网络 在11份文件中引用(1998–2012) 软件作者： 艾克·贝斯特（Eike Best）、沃伊切赫·弗里查克（Wojciech Frączak）、理查德·霍普金斯（Richard P.Hopkins）、汉娜·克劳代尔（Hanna Klaudel）、伊丽莎白·佩尔兹 相关软件： 政治公众人物；玛丽亚；Uppaal… 主要字段： 计算机科学（68-XX）
DaGen公司 5份文件引用(1996–2010) 软件作者： Daniel Moldt、Jan Ortmann 相关软件： DAGEN公司；耶拿；RanGen… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
工作工艺 4份文件引用(2011–2022) 软件作者： 伊万·波利亚科夫；丹尼尔·索科洛夫；安德烈·莫霍夫 相关软件： VipTool；基因；石化… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
LEMMA公司 1份文件引用(2002) 软件作者： L.Baresi、F.Consorti、M.Di Paola、A.Gargiulo、M.Pezzè 相关软件： MetaEnv；MetaEdit+；Uppaal公司 主要字段： 计算机科学（68-XX）