REVEAL公司 24篇文献引用(2003–2022) 软件作者： Liang，S.、Fuhrman，S.和Somogyi，R 相关软件： KEGG；R；BoolNet… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
TCPDUMP公司 12份文件引用(2001–2021) 软件作者： 加州大学伯克利分校劳伦斯伯克利国家实验室的Van Jacobson、Craig Leres和Steven McCanne。 相关软件： 用鼻子哼哼；ns-2；WebStat… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；量子理论（81-XX）…
漫长的时期 3份文件引用(2020–2022) 软件作者： 尼古拉·贝内什；布里姆，卢博什；塞缪尔·帕斯特瓦（Samuel Pastva）；萨夫拉内克，大卫 相关软件： 金西姆；BoolNet；NuSMV… 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
布尔网 7份文件引用(2010–2020) 软件作者： 艾伯特，I。；Thakar，J。；李，S。；张，R。；R·阿尔伯特。 相关软件： 帕奈；格拉夫维兹；CANA… 主要字段： 动力系统与遍历理论（37-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）…
Polynome公司 6篇文献引用(2010–2017) 软件作者： 迪米特洛娃，埃琳娜；加西亚·普恩特（García-Puente），路易斯·戴维（Luis David）；弗兰齐斯卡·辛克尔曼；阿卜杜勒·贾拉。；莱因哈德·劳本巴赫；布兰迪林·斯蒂格勒；迈克尔·斯蒂尔曼；维拉·利科纳（Vera-Licona，Paola） 相关软件： ADAM；麦考利2号；SageMath… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
小队 5份文件引用(2010–2021) 软件作者： 阿克拉姆·门德斯；卡洛斯·拉米雷斯；莫里西奥·佩雷斯·马丁内斯；曼多萨 相关软件： 动态记录仪；gplots；否定… 主要字段： 生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
食蚁兽 5份文件引用(2013–2022) 软件作者： Mai，H.、Khurshid，A.、Agarwal，R.、Caesar，M.、Godfrey，P.、King，S.T。 相关软件： NetKAT；VeriFlow；VeriCon… 主要字段： 计算机科学（68-XX）
Cellnoptr公司 2份文件引用(2015–2018) 软件作者： 特夫，C.D.A。；科克莱尔，T。；亨利克斯，D。；Macnamara，A。；Gonçalves，E。；莫里斯，M。；Van Iersel，M。；劳芬伯格博士。；萨伊兹·罗德里格斯（Saez-Rodriguez，J.）。 相关软件： R；KEGG；BoolNet… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
MaBoSS公司 3份文件引用(2020–2022) 软件作者： 斯托尔，G。；卡隆，B。；维亚拉，E。；杜古德，A。；Zinovyev，A。；Naldi，A。；Kroemer，G。；Barillot，E。；卡尔松，L。 相关软件： BoolNet；R；GitHub… 主要字段： 组合数学（05-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
多个二进制 4份文件引用(2018–2019) 软件作者： 阿德里安·福雷；石佐卡吉 相关软件： 金西姆；格栅；YalSAT… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；生物学和其他自然科学（92-XX）…
NLocalSAT（非本地卫星） 3份文件引用(2021–2023) 软件作者： 张文杰、孙泽瑜、朱启浩、葛丽、蔡少伟、熊英飞、张璐 相关软件： CCAnr；YalSAT；玲玲… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
GraMoFoNe公司 3份文件引用(2013–2020) 软件作者： NoneBlin G、Sikora F、Vialette S 相关软件： QPath；GO-TermFinder；SIMBio… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
ASP-G公司 2份文件引用(2018–2019) 软件作者： Mushthofa，M。；托雷斯，G。；Van de Peer，Y。；Marchal，K。；德科克，M。 相关软件： Potassco公司 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
亚特兰蒂斯 2份文件引用(2019–2021) 软件作者： 沙阿（O.S.Shah）。；Chaudhary，M.F.A。；阿旺，H.A。；Fatima，F。；阿沙德，Z。；阿米娜，B。；艾哈迈德，M。；哈米德，H。；M.Furqan。；哈立德，S。 相关软件： 金西姆；BoolNet；永旺… 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；生物学和其他自然科学（92-XX）
BooleSim公司 2份文件引用(2015–2019) 软件作者： Bock M、Scharp T、Talnikar C、Klipp E。 相关软件： CoCalc；GDSCalc；转动… 主要字段： 偏微分方程（35-XX）；生物学和其他自然科学（92-XX）
布尔过滤器 2份文件引用(2018–2020) 软件作者： 李维·麦克莱尼、马赫迪·伊马尼、乌利塞斯·布拉加·内托 相关软件： CRAN；系统识别工具箱；探戈 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）…
加拿大国家航空公司 1份文件引用(2020) 软件作者： 里昂·布拉蒂格·科雷亚（Rion Brattig Correia）；亚历山大·盖茨（Alexander J.Gates）；王宣；路易斯·罗查 相关软件： 多步控制；github；亚当… 主要字段： 生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
单元格NOpt 1份文件引用(2018) 软件作者： 道格·劳芬伯格（Doug Lauffenburger）、彼得·索格（Peter Sorger） 相关软件： R；Cellnoptr；jPar… 主要字段： 生物学和其他自然科学（92-XX）
多步控制 2份文件引用(2020–2021) 软件作者： 路易斯·索尔多·维埃拉；Laubenbacher，Reinhard C。；大卫·默鲁加拉 相关软件： 卡纳；github；亚当… 主要字段： 生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
SimBoolNet公司 1份文件引用(2013) 软件作者： 郑洁。；张，D。；Przytycki，P.F。；齐林斯基，R。；卡帕拉，J。；Przytycka，T.M。 相关软件： —— 主要字段： 生物学和其他自然科学（92-XX）
CSG网络 1份文件引用(2021) 软件作者： Gopal Sharma、Rishabh Goyal、Difan Liu、Evangelos Kalograkis、Subhransu Maji 相关软件： LKH；深度编码器；Rdkit… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
LUT网络 1份文件引用(2020) 软件作者： 王二伟；詹姆斯·戴维斯（James J.Davis）。；Cheung，Peter Y.K。；乔治·康斯坦丁德斯（George A.Constantinides）。 相关软件： —— 主要字段： 计算机科学（68-XX）