Uppaal公司 568份文件引用(1990–2023) 软件作者： 瑞典乌普萨拉大学；丹麦奥尔堡大学 相关软件： 克罗诺斯；高科技；旋转… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
克洛诺斯 246篇文献引用(1997–2022) 软件作者： Conrado Daws、Alfredo Olivero、Stavros Tripakis、Sergio Yovine 相关软件： Uppaal；高科技；旋转… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CADP公司 115篇文献引用(1997–2023) 软件作者： 休伯特·加拉维；赫尔曼斯，霍尔格；CONFACS团队 相关软件： 自旋蛋白；mCRL2；LOTOS… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
皮克特 74份文件引用(1996–2022) 软件作者： 本杰明·皮尔斯（Benjamin C.Pierce）。；大卫·N·特纳 相关软件： JoCaml公司；莫德；Oz… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
OMNet公司++ 33篇文献引用(2001–2021) 软件作者： 安德拉斯·瓦尔加 相关软件： ns-2；和弦；GloboSim… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
全球移动模拟 37篇文献引用(2001–2015) 软件作者： 向曾；拉吉夫·巴格罗迪亚；马里奥·格拉 相关软件： 帕塞克；ns-2；OMNet++… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
Uppaal2k公司 38篇文献引用(2000–2017) 软件作者： Kim G.Larsen、Wang Yi、Paul Pettersson、Alexandre David、Brian Nielsen、Arne Skou、John Håkansson、Jacob Illum Rasmussen、Pavel Krcál、Ulrik Larsen、Marius Mikucionis、Leonid Mokrushin 相关软件： Uppaal；克罗诺斯；高科技… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
OMRS公司 39篇文献引用(1995–2009) 软件作者： 亚历山德罗·阿曼多；Michael Kohlhase；西尔维奥·兰伊斯 相关软件： 分析；定理；PVS… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数论（11-XX）…
PMaude公司 30篇文献引用(2005–2023) 软件作者： 古尔·阿加；何塞·梅塞格尔；库什克森 相关软件： 莫德；PVeStA；棱镜… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
银色 21篇文献引用(2021–2023) 软件作者： 杰弗里·库托；彼得·林达尔（Peter Rindal）；斯里尼瓦桑·拉古拉曼 相关软件： 自行车；github；ABY… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
BCI2000型 12份文件引用(2016–2022) 软件作者： Schalk G、McFarland D J、Hinterberger T、Birbaumer N、Wolpow J R 相关软件： PhysioToolkit；EEGLAB；OpenViBE… 主要字段： 常微分方程（34-XX）；统计学（62-XX）；计算机科学（68-XX）…
飞天螳螂 14篇文献引用(2009–2017) 软件作者： 克雷默斯，C。 相关软件： AVISPA；阿克斯；塔马林… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
GNUC公司 14篇文献引用(2013–2022) 软件作者： 丹尼斯·霍夫海因茨（Dennis Hofheinz）；大声呼喊，维克多 相关软件： 国防部；隐秘HOL；塔马林… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
N模型 10篇文献引用(2007–2021) 软件作者： 乔纳森·杰基；Veanes、Marqus；科林·坎贝尔（Colin Campbell）；沃尔夫拉姆·舒尔特 相关软件： SpecExplorer；UniTESK；DART… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
伊比斯 1份文件引用(2009) 软件作者： Nieuwpoort R.、Maassen J.、Wrzesinska G.、Hofman R.F.H.、Jacobs C.J.H.、Kielmann T.、Bal H.E 相关软件： CUDA；MPJ Express；NAS并行基准… 主要字段： 计算机科学（68-XX）
LOTOSphere公司 6篇文献引用(2000–2015) 软件作者： T.Bolognesi、J.van de Lagemaat、C.Vissers 相关软件： LOTOS；并发工作台；HOL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
蛋白石 6篇文献引用(2012–2021) 软件作者： Dalsgaard，A.E.、Hansen，R.R.、Jörgensen，K.Y.、Larsen，K.G.、Olesen，M.C.、Olsen，P.、Srba，J。 相关软件： Uppaal；算法97；GitHub… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
BotMiner公司 5份文件引用（2010年-2023年） 软件作者： Gu G F、Perdisci R、Zhang J等。 相关软件： ExecScent；机器人嗅探器；Rishi… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
J-Sim公司 4份文件引用(2009–2016) 软件作者： Sobeih A、Hou J、Kung L-C、Li N、Zhang H、Chen W-P、Tyan H-Y、Lim H 相关软件： 标签 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
传感器模拟 2份文件引用(2003–2012) 软件作者： S.Park、A.Savvides、M.B.Srivastava 相关软件： Wiselib；ns-2；升压… 主要字段： 计算机科学（68-XX）
低温TFlow2 4份文件引用(2021–2024) 软件作者： Rathee，迪瓦什沃；马扬克省Rathee；Nishant Kumar；Nishanth Chandran；迪维亚·古普塔；阿西姆·拉斯托吉 相关软件： 瞪羚；n图-HE；TensorFlow… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
不正确 引用于3份文件(2021–2022) 软件作者： 弗朗西斯科·法里纳（Francesco Farina）、安德烈亚·卡米萨（Andrea Camisa）、Andrea Testa、伊万诺·诺塔尼科拉（Ivano Notarnicola）、朱塞佩·诺塔斯法诺（Giuseppe Notarstefano） 相关软件： Ipopt；朱莉娅；GLPK… 主要字段： 运筹学、数学规划（90-XX）；系统论；控制（93-XX）
SimulaQron公司 2份文件引用(2019–2022) 软件作者： 阿克塞尔·达尔伯格；斯蒂芬妮·维纳 相关软件： 项目Q；液体；Python… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
KSACI公司 2份文件引用(2002–2009) 软件作者： Ryan L.阿尔伯克基。；Hübner，Jomi F。；德保拉（de Paula），古斯塔沃（Gustavo E.）。；Jaime S.Sichman。；Geber L.Ramalho。 相关软件： 跳跃 主要字段： 计算机科学（68-XX）
蒙哥 引用于3份文件(2018–2020) 软件作者： 库扎帕斯、迪米特里奥斯；奥尔内拉·达达；罗利·佩雷拉；西蒙·盖伊。 相关软件： session-ocaml；睫毛；z3（零3） 主要字段： 计算机科学（68-XX）
ZKPDL公司 1份文件引用(2021) 软件作者： Sarah Meiklejohn、C.Christopher Erway、Alptekin Küpçü、Theodora Hinkle、Anna Lysyanskaya 相关软件： bplib；艾美奖；LIBSCAPI… 主要字段： 信息与通信理论，电路（94-XX）
SeQUeNCe公司 1份文件引用(2022) 软件作者： 吴晓亮、Alexander Kolar、Joaquin Chung、Dong Jin、Tian Zhong、Rajkumar Kettimuthu、Martin Suchara 相关软件： 网鱼；QuNetSim；SimulaQron… 主要字段： 计算机科学（68-XX）
SRUMMA公司 2份文件引用(2008–2010) 软件作者： 马诺伊库马尔·克里希南（Manojkumar Krishnan）、贾里克·尼普洛查（Jarek Nieplocha） 相关软件： MATLAB实验；mftoolbox；PUMMA… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
EPOCHS公司 1份文件引用(2017) 软件作者： K.Hopkinson、X.Wang、R.Giovani、J.Thorp、K.Birman、D.Coury 相关软件： —— 主要字段： 光学、电磁理论（78-XX）；信息与通信理论，电路（94-XX）
G2C公司 1份文件引用(2012) 软件作者： 迈克尔·巴克斯（Michael Backes）；马特奥·马菲；Pecina，Kim；拉斐尔·雷舒克（Raphael M.Reischuk）。 相关软件： Gecode公司；AURA公司 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
一般公认会计原则 1份文件引用(2001) 软件作者： 米歇尔·迪亚兹；罗伯托·卡诺尼科；路易斯·科斯塔；谢尔盖·菲迪达；大卫·哈奇森（David Hutchison）；Laurent Mathy；安德烈亚斯·梅斯纳；斯蒂芬·奥维扎尔斯基（Stephane Owezarski）；维达、罗兰；沃尔夫、拉尔斯 相关软件： —— 主要字段： 计算机科学（68-XX）
杰西 1份文件引用(2001) 软件作者： 哈吉·伊斯梅尔（Abdul S.Haji-Ismail）。；陈敏；Phil W.Grant。；马克·基德尔 相关软件： —— 主要字段： 计算机科学（68-XX）
微型CPS 在0个文档中引用 软件作者： 丹尼尔·安东尼奥利（Daniele Antonioli）、尼尔斯·奥勒·蒂彭豪尔（Nils Ole Tippenhauer） 相关软件： OMNet++；pycomm；POX… 主要字段： ——
质量工程控制 1份文件引用（2018年） 软件作者： Ardeshir-Larijani，易卜拉欣；西蒙·盖伊（Simon J.Gay）。；拉贾戈帕尔·纳加拉扬 相关软件： —— 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
UCX公司 在0个文档中引用 软件作者： P.Shamis、M.G.Venkata、M.G Lopez、M.B.Baker、O.Hernandez、Y.Itigin、M.Dubman、G.Shainer、R.L.Graham、L.Liss、Y.Shahar、S.Potluri、D.Rossetti、D.Becker、D.Poole、C.Lamb、S.Kumar、C.Stunkel、G.Bosilca、A.Bouteiller、， 相关软件： 易于构建；PMIx；xCAT… 主要字段： 计算机科学（68-XX）