VeriCon公司 5份文件引用(2014–2021) 软件作者： Ball，T.、Bjorner，N.、Gember，A.、Itzhaky，S.、Karbyshev，A.、Sagiv，M.、Schapira，M.和Valadarsky，A。 相关软件： NetKAT；食蚁兽；Kuai… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
vnep近似值 4份文件引用(2016–2022) 软件作者： INET/TU柏林；马蒂亚斯·罗斯特（Matthias Rost）、斯特凡·施密德（Stefan Schmid） 相关软件： 梅林；开放式神经网络；Python… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
JESS公司 引用于3份文件(2020–2022) 软件作者： 卡尔坎，K。；阿勒泰，L。；Gür，G。；Alagöz，F。 相关软件： NetKAT；SGS；SDSNM… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
NetCore公司 2份文件引用(2013–2018) 软件作者： 克里斯托弗·孟山都；福斯特，内特；罗伯·哈里森（Rob Harrison）；大卫·沃克 相关软件： GitHub；NetKAT；菲尔马托… 主要字段： 计算机科学（68-XX）
Kuai公司 2份文件引用(2019–2021) 软件作者： Majumdar，R.，Tetali，S.D.，Wang，Z。 相关软件： 食蚁兽；VeriCon公司；NetKAT… 主要字段： 计算机科学（68-XX）
RUNOS公司 2份文件引用(2018–2019) 软件作者： ARCCN公司 相关软件： 氮氧化物；Mininet；HyperFlow… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
认知 1份文件引用(2014) 软件作者： 艾米莉亚·坦塔尔；玛丽亚·丽塔（Maria Rita Palattella）；阿瓦内索夫，提格朗；Miroslaw Kantor；托马斯·恩格尔 相关软件： ParaDisEO公司 主要字段： 计算机科学（68-XX）
Flowfence公司 1份文件引用(2020) 软件作者： Piedrahita，A.F.M。；Rueda，S。；马托斯，D.M。；杜阿尔特，O.C.M 相关软件： NetKAT；SGS；SDSNM… 主要字段： 计算机科学（68-XX）
微型CPS 在0个文档中引用 软件作者： 丹尼尔·安东尼奥利（Daniele Antonioli）、尼尔斯·奥勒·蒂彭豪尔（Nils Ole Tippenhauer） 相关软件： OMNet++；pycomm；POX… 主要字段： –
开放流SIA 1份文件引用(2020) 软件作者： Phan，T.V。；Van Toan，T。；Van Tuyen，D。；Huong，T.T。；新罕布什尔州Thanh。 相关软件： NetKAT；SGS；SDSNM… 主要字段： 计算机科学（68-XX）
StateSec（状态秒） 1份文件引用(2020) 软件作者： Boite，J。；Nardin，P.-A。；Rebecchi，F。；布埃特，M。；柯南，V。 相关软件： NetKAT；SGS；SDSNM… 主要字段： 计算机科学（68-XX）
SDN-OpenFlowBackupRules 在0个文档中引用 软件作者： Niels L.M.van Adrichem、Farabi Iqbal、Fernando A.Kuipers 相关软件： – 主要字段： –