Uppaal2k公司 38篇文献引用(2000–2017) 软件作者： 金·拉森（Kim G.Larsen）、王毅（Wang Yi）、保罗·佩特森（Paul Pettersson）、亚历山大·戴维（Alexandre David）、布莱恩·尼尔森（Brian Nielsen）、阿恩·斯科（Arne Skou）、约翰·哈坎森（John Hákansson）、雅各布·伊勒姆·拉斯穆森（Jacob Illum Rasmussen） 相关软件： Uppaal；克罗诺斯；高科技… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
太阳神 29篇文献引用(2013–2023) 软件作者： 阿迪达，B 相关软件： 贝莱尼奥斯；github；塔马林… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
GW模型 1份文件引用(2021) 软件作者： Binbin Lu、Paul Harris、Martin Charlton、Chris Brunsdon 相关软件： R；gwrr；ArcGIS… 主要字段： 运筹学、数学规划（90-XX）
EEMC公司 4份文件引用(2008–2022) 软件作者： 金、燕；王玲；Kim，Yoohwan；杨晓宗 相关软件： odmd；Boids；ABC… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
民主党人 4份文件引用(2015–2020) 软件作者： 格恩瑟·查瓦特；安德烈亚斯·普范德勒 相关软件： Isabelle/HOL；通用电气；PSPLIB… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
分布式电源 3份文件引用(2009–2013) 软件作者： Thomas Weise；迈克尔·扎普夫（Michael Zapf）；汗，穆罕默德·乌拉；盖斯，库尔特 相关软件： MSOPS-II；西戈亚；基因组学… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
选择差距 1份文件引用(2016) 软件作者： 埃多亚多·塞拉（Edoardo Serra）；弗朗西斯卡·斯佩萨诺（Francesca Spezzano）；苏布拉曼尼亚，V.S。 相关软件： 数据日志；探测日志 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）
粪便 1份文件引用(2017) 软件作者： Ben Baumer，Eva Gjekmarkaj 相关软件： mdsr；Hmisc公司；knitr… 主要字段： 统计学（62-XX）；计算机科学（68-XX）