NetKAT公司 33篇文献引用(2014–2023) 软件作者： Anderson，C.J.，Foster，N.，Guha，A.，Jeannin，J.-B.，Kozen，D.，Schlesinger，C.，Walker，D。 相关软件： 狂热；VeriFlow；食蚁兽… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；结合环与代数（16-XX）…
签名 4份文件引用(2010–2018) 软件作者： 金，H.A.，卡普，B。 相关软件： 多谱仪；用鼻子哼哼；哈马斯… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）；信息与通信理论，电路（94-XX）
平面图 9份文件引用(1997–2005) 软件作者： 希克斯，迈克尔；潘卡杰·卡卡尔；乔纳森·摩尔（Jonathan T.Moore）。；卡尔·A·冈特。；斯科特·奈特尔斯 相关软件： OCaml；番石榴；AtomCaml… 主要字段： 计算机科学（68-XX）
MicroGrid公司 6篇文献引用(2001–2009) 软件作者： H.J.Song、X.Liu、D.Jakobsen、R.Bhagwan、X.Zhang、K.Taura、A.Chien；夏，华夏；简，安德鲁·A。 相关软件： 网格模拟；Globus工具包；SIMGRID… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
狂热的 7份文件引用(2011–2021) 软件作者： Foster，N.、Harrison，R.、Freedman，M.J.、Monsanto，C.、Rexford，J.、Story，A.、Walker，D。 相关软件： NetKAT；荨麻；VeriCon… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
Tmix公司 2份文件引用(2015–2019) 软件作者： M.C.Weigle、P.Adurthi、F.Hernandez-Campos、K.Jeffay、F.D.Smith 相关软件： ns-3；QKDNetSim；QKD… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）
AMON公司 4份文件引用(2019–2022) 软件作者： Michael Kallitsis、Stilian Stoev、Shrijita Bhattacharya、George Michailidis 相关软件： 最小修订订单；astsa；远程终端设备 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
网络核心 2份文件引用(2013–2018) 软件作者： 克里斯托弗·孟山都；福斯特，内特；罗伯·哈里森（Rob Harrison）；大卫·沃克 相关软件： github；NetKAT；菲马托… 主要字段： 计算机科学（68-XX）
模拟活动 2份文件引用(2009–2019) 软件作者： 迈斯沃克 相关软件： Matlab；UMDES；Simulink… 主要字段： 运筹学、数学规划（90-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
DyNetiKAT公司 2份文件引用(2022) 软件作者： 乔治亚娜·卡尔泰斯；侯赛因·霍贾特；穆萨维、穆罕默德·雷扎；昆卡罐Tunç 相关软件： NetKAT；蟒蛇；莫德… 主要字段： 计算机科学（68-XX）
Kuai公司 2份文件引用(2019–2021) 软件作者： Majumdar，R.，Tetali，S.D.，Wang，Z。 相关软件： 食蚁兽；VeriCon公司；NetKAT… 主要字段： 计算机科学（68-XX）
eGHWT公司 1份文件引用(2022) 软件作者： 斋藤直树；邵一群 相关软件： 多尺度图形信号变换.jl；MTSG_工具箱；Wavelets.jl… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
通用汽车金融服务公司 1份文件引用(2008) 软件作者： 巴勃罗·哥特尔夫；亚历杭德罗·祖尼诺；克里斯蒂安·马特奥斯；马塞洛·坎波 相关软件： BRITE；糕点；和弦… 主要字段： 计算机科学（68-XX）
MATF公司 1份文件引用(2020) 软件作者： M.S.Khan。；M.I.Khan。；苏联马利克。；Khalid，O。；阿齐姆，M。；北卡罗来纳州贾维德。 相关软件： SenetSHM公司 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
MLMIN（最大最小值） 1份文件引用(2008) 软件作者： 迪特马尔·图施（Dietmar Tutsch）；Hommel，G\“计数器 相关软件： MINSimulate；CINSim公司；阿卡罗阿 主要字段： 计算机科学（68-XX）
PDG-GEN公司 1份文件引用(2014) 软件作者： 凯文·麦克唐纳；克里斯托弗·尼塔；马修·法伦斯（Matthew Farrens）；文卡特斯·阿凯拉 相关软件： —— 主要字段： 信息与通信理论，电路（94-XX）
XFogSim软件 在0个文档中引用 软件作者： Malik A.W.、Qayyum T.、Rahman A.U.、Khan M.A.、Khalid O.和Khan S.U。 相关软件： 去；FogNetSim++；YAFS… 主要字段： ——
SDN-OpenFlowBackupRules 在0个文档中引用 软件作者： Niels L.M.van Adrichem、Farabi Iqbal、Fernando A.Kuipers 相关软件： —— 主要字段： ——