克洛诺斯 246篇文献引用(1997–2022) 软件作者： Conrado Daws、Alfredo Olivero、Stavros Tripakis、Sergio Yovine 相关软件： Uppaal；高科技；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
二郎牌手表 112份文件引用(1993–2023) 软件作者： erlang.org网站 相关软件： 哈斯克尔；JCobox；快速检查… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
信号 51篇文献引用(1987–2020) 软件作者： 诺瓦克，大卫；Jean-Pierre Talpin；蒂埃里·戈蒂埃；保罗·勒格尔尼克 相关软件： 卢斯特；酯类；托勒密… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
OSQP公司 49篇文献引用(2018–2024) 软件作者： Bartolomeo Stellato、Goran Banjac、Paul Goulart、Alberto Bempoad、Stephen Boyd 相关软件： 莫塞克；古罗比；qpOASES… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
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）…
月收入 33篇文献引用(2004–2021) 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；MML；HOL灯… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；数学教育（97-XX）
大表 17篇文献引用(2010–2023) 软件作者： Chang，Fay；杰弗里·迪恩；盖玛瓦特，桑杰；谢伟信（Xieh，Wilson C.）。；黛博拉·瓦拉赫（Deborah A.Wallach）。；Mike Burrows；图沙·钱德拉；安德鲁·菲克斯；罗伯特·格鲁伯 相关软件： MapReduce；发电机；卡桑德拉… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
税收 在15份文件中引用(2001–2017) 软件作者： 艾蒂安·克劳斯；米歇尔·波伊泽（Michel Poize）；雅克·普劳（Jacques Pulou）；约瑟夫·西法基斯（Joseph Sifakis）；帕特里克·文特 相关软件： Uppaal；克罗诺斯；埃菲尔… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
MetaMorph变形 18篇文献引用(1999–2010) 软件作者： 马图拉纳，F。；沈伟（Shen，W.）。；D.H.诺里。 相关软件： Aglet；湿润+；发明人… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-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）…
ASTRAL公司 16篇文献引用（1992-2006） 软件作者： 贾科莫·博纳诺；科恩·波里西尼，阿尔贝托；威廉·福纳西亚里 相关软件： 克罗诺斯；Uppaal；高科技… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
电子数据记录器 9份文件引用（2011年至2022年） 软件作者： 亚历山大·戴维；金·拉森。G。；Legay，Axel；乌尔里克·奈曼；安德烈·索夫斯基 相关软件： Uppaal；MIO工作台；UPPAAL TIGA… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
桅杆 7份文件引用(2008–2018) 软件作者： 冈萨雷斯港，M；JJ古铁雷斯；巴伦西亚，JC；吉咪·德雷克 相关软件： Uppaal；切达干酪；TINA… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
抓斗 8份文件引用(2018–2022) 软件作者： 恩格尔，托拜厄斯；安德烈亚斯·沃尔兹；费利克斯·梅斯默（Felix Mesmer）；Rhein，Sönke；克努特·格雷钦 相关软件： VIATOC；ACADO；qpOASES… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
iFogSim软件 4份文件引用(2020–2023) 软件作者： Harshit Gupta、Amir Vahid Dastjerdi、Soumya K.Ghosh、Rajkumar Buyya 相关软件： YAFS；FogNetSim++；云模拟… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
AMON公司 引用于4份文件(2019–2022) 软件作者： Michael Kallitsis、Stilian Stoev、Shrijita Bhattacharya、George Michailidis 相关软件： 最小修订订单；astsa；远程终端设备 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
布里斯克 2份文件引用(2000–2005) 软件作者： Aleksandar Bakić；马特·穆特卡（Matt W.Mutka）。；黛安·罗弗。 相关软件： CLOS；MICO公司 主要字段： 计算机科学（68-XX）
iOverbook公司 2份文件引用（2015年至2021年） 软件作者： Caglar F、Gokhale A 相关软件： Be-CoDiS公司 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）
MPC工具箱 2份文件引用(2015) 软件作者： N.F.Gade-Nielsen、J.B.Jorgensen和B.Dammann 相关软件： Matlab；PARSMI公司；并行计算工具箱… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
细分（Tessellation） 1份文件引用(2019) 软件作者： J.A.Colmenares、G.Eads、S.Hofmeyr、S.Bird、M.Moretó、D.Chou、B.Gluzman、E.Roman、D.B.Bartolini、N.Mor等人 相关软件： 精密路径指示器；多维数据集浏览器；兄弟竞争… 主要字段： 计算机科学（68-XX）
电子商务 在0个文档中引用 软件作者： 约翰·达拉维；格兰特·爱德华兹；尼克·加内特；谢尔盖·加夫里科夫；伊利亚·科乔；乔纳森·拉穆尔；安德鲁·伦恩（Andrew Lunn）；马克·索尔特；加里·托马斯；巴特·维尔 相关软件： —— 主要字段： ——
muAO-MPC 1份文件引用（2022年） 软件作者： Zometa，P.，Kögel，M.，Findeisen，R。 相关软件： MATMPC；FiOrdOs；LiftOpt… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
机器人API 1份文件引用(2015) 软件作者： 安德烈亚斯·安格勒、阿尔文·霍夫曼、安德烈亚·席尔、迈克尔·维斯坦、沃尔夫冈·雷夫 相关软件： KUKA机器人语言 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
特里尔 1份文件引用(2020) 软件作者： 巴德里什·钱德拉穆利（Badrish Chandramouli）、乔纳森·戈尔茨坦（Jonathan Goldstein）、迈克·巴内特（Mike Barnett 相关软件： 卡尤加；霸王龙；阿帕奇·弗林克 主要字段： 计算机科学（68-XX）
串行段校准器 在0个文档中引用 软件作者： Norbert Lindow、Florian N.Brünig、Vincent J.Dercksen、Gunar Fabig、Robert Kiewiz、Stefanie Redemann、Thomas Müller Reichert、Steffen Prohaska、Daniel Baum 相关软件： —— 主要字段： ——