旋转 软件作者：ADRIAN PERRIG、ROBERT SZEWCZYK、J.D.TYGAR、VICTOR WEN和DAVID E.CULLER 参考文献： 26种出版物（2002-2022） 相关软件： 廷耶克；标签；阿维斯帕；电报；海绵状；出席… 主要领域： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
XtremWeb 软件作者： – 参考文献： 10种出版物（2001-2017） 相关软件： BOINC公司；夏洛特；标枪++；Globus工具包；佐藤；诗篇… 主要领域： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
坚实的 软件作者：Bartal，Y.，Mayer，A.，Nissim，K.，羊毛，A。 参考文献： 6种出版物（2001-2018） 相关软件： 消防员；天空盒；用鼻子哼哼；格拉夫维兹；nftables公司；iptables… 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
夏洛特 软件作者：Baratloo A、Karaul M、Kedem Z和Wijckoff P 参考文献： 4种出版物（2006-2017） 相关软件： BOINC公司；XtremWeb；标枪++；Globus工具包；MapReduce；玛格达… 主要领域： 计算机科学（68-XX）；运筹学，数学规划（90-XX）
冥王星 软件作者：Kallahalla，M.，Riedel，E.，Swaminathan，R.，Wang，Q.，Fu，K。 参考文献： 6种出版物（2009-2019） 相关软件： 天狼星；发电机；地下室；密码数据库；卡桑德拉；格培多… 主要领域： 数论（11-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
斯皮哈什 软件作者：奥马森，让-菲利普；伯恩斯坦，丹尼尔J。 参考文献： 10种出版物（2012-2021） 相关软件： ARXtools公司；Poly1305 AES；萨尔萨20；XTEA；西蒙；GitHub… 主要领域： 计算机科学（68-XX）；运筹学，数学规划（90-XX）；信息与通信理论，电路（94-XX）
麦克比特 软件作者：丹尼尔伯恩斯坦，周董，彼得施瓦比 参考文献： 9种出版物（2013-2021） 相关软件： 麦克莱斯；蛋糕；弗罗多肯；LIBOQ；BKZ公司；开放式SSL 主要领域： 数论（11-XX）；数值分析（65-XX）；量子理论（81-XX）
发现 软件作者：五。Mann，V.Matossian，R.Muralidhar，M.Parashar 参考文献： 4种出版物（2001-2002） 相关软件： Globus工具包；特里亚纳；秃鹰-G；网格流；和弦；IPARS… 主要领域： 计算机科学（68-XX）
穆尔瓦尔 软件作者：Ou，X.，Govindavajhala，S.，阿佩尔，A.W。 参考文献： 5种出版物（2010-2020） 相关软件： 熟练者；夏普；柱状图；tcp泵；证券树；西蒙斯特… 主要领域： 概率论与随机过程（60-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
NodeXL公司 软件作者：斯奈德曼，本；邓恩，科迪 参考文献： 6种出版物（2013-2022） 相关软件： 盖菲；帕耶克；沃迪杰；Ipopt公司；同相匹配；recmap… 主要领域： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）
消防员 软件作者：元，L。；麦，J。；苏，Z。；陈，H。；Chuah，C.N。；莫哈帕特拉，P。 参考文献： 6种出版物（2009-2020） 相关软件： 马尔格雷夫；公司；HOL试验原；CP矿工；科德科德；z3… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
宙斯盾 软件作者：吴洪军；普雷内尔，巴特 参考文献： 6种出版物（2014-2022） 相关软件： 奎基；山茶花；土星素；正方形；Poly1305 AES；恰恰… 主要领域： 信息与通信理论，电路（94-XX）
康科迪亚 软件作者：王大卫，诺米·帕索雷克，汤姆·沃尔什，乔·迪切利，迈克·杨，比尔·皮特 参考文献： 6种出版物（2001-2006） 相关软件： 肩带；旅行者；胃；PVM公司 主要领域： 计算机科学（68-XX）
J-Sim卡 软件作者：Sobeih A，Hou J，Kung L-C，Li N，Zhang H，Chen W-P，Tyan H-Y，Lim H 参考文献： 4种出版物（2009-2016） 相关软件： 标签 主要领域： 计算机科学（68-XX）；运筹学，数学规划（90-XX）；系统论；控制（93-XX）
瞪羚 软件作者：Chiraag Juvekar、Vinod Vaikuntanathan、Anantha Chandrakasan 参考文献： 4种出版物（2021-2022） 相关软件： MNIST公司；印章；TFHE；库达大学；图形HE；紧张的；紧张的… 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
哈姆萨 软件作者：Li，Z.，Sanghi，M.，Chen，Y.，Kao，M.Y.，查韦斯，B。 参考文献： 2种出版物（2010-2018） 相关软件： 测谎仪；亲笔签名；用鼻子哼哼；KEA公司；全景图；公司… 主要领域： 计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
梅塔克莱姆 软件作者：法拉利，吉安鲁吉；莫吉，尤金尼奥；普利斯，罗萨里奥 参考文献： 5种出版物（2003-2020） 相关软件： 克莱姆；克拉瓦；权杖；SCEL公司；琳达；多维斯塔… 主要领域： 计算机科学（68-XX）
坏蛋 软件作者：天宇谷，布伦丹·多兰·加维特，悉达特·加尔格 参考文献： 2个出版物（2019-2022） 相关软件： 模型动物园；图像网；Advbox公司；艺术；二月；特洛伊… 主要领域： 统计学（62-XX）；计算机科学（68-XX）；地球物理学（86-XX）
僵尸图 软件作者：Zhao，Y.，Xie，Y.，Yu，F.，Ke，Q.，Yu，Y.，Chen，Y.，Gillum，E。 参考文献： 2份出版物（2009-2015） 相关软件： VisFlowConnect公司；里希；肉毒杆菌；博茨尼弗；猎手；EMD 主要领域： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）
网格安全 软件作者：黄凯；郭玉光；宋，姗姗；陈敏才；陈颖；周润芳；卢，小松 参考文献： 2份出版物（2005-2010） 相关软件： 开放科学网格；秃鹰-G；咬合；网格信息软件；磁盘加密软件 主要领域： 计算机科学（68-XX）
磁铁 软件作者：孟冬雨、郝晨 参考文献： 3种出版物（2020-2022） 相关软件： 梯度凸轮；克利夫汉；图像网；Pythorch公司；形状；Advbox… 主要领域： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
NVisionIP公司 软件作者：基兰·拉卡拉朱；威廉·尤里克；亚当·J·李 参考文献： 1份出版物（2020年） 相关软件： Nfdump；非转储；VisFlowConnect公司；细胞景观；github；BLINC公司；山姆… 主要领域： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）
拉达 软件作者：范，T.，沃伦，M.W。 参考文献： 4种出版物（2015-2018） 相关软件： CVC4；z3；大锤；伊莎贝尔/霍尔；SMT-LIB；StarExec… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
偏差 软件作者：周亚琴、刘尚庆、徐静凯、杜晓宁、刘洋 参考文献： 2个出版物（2021-2022） 相关软件： 代码2vec；科德伯特；word2vec；米西姆；国家质检总局；椰子壳… 主要领域： 计算机科学（68-XX）
跑路者 软件作者：阿德南贝萨尔；Şahin，Sühap 参考文献： 3种出版物（2016-2022） 相关软件： 工艺；斑点；带路；米多里；极瘦的；西蒙… 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
S-RIP公司 软件作者：万、道；克拉纳基斯，伊万盖洛斯；范·奥尔肖特，保罗·C。 参考文献： 3份出版物（2004-2009） 相关软件： – 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
VisFlowConnect公司 软件作者：Yin，X.，Yurcik，W.，Treaster，M.，Li，Y.，Lakkaraju，K。 参考文献： 0个出版物 相关软件： NVisionIP；僵尸图；BLINC公司；山姆；Nfdump；非转储；动态图… 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
有说服力 软件作者：里斯卡拉，克里斯汀；林，雅弗；长岛岛、裕隆岛；索厄尔，托马斯；陈子霖；奥康纳，利亚姆；莫里，托比；凯勒，加布里埃尔；克莱恩，格温 参考文献： 2个出版物（2016-2021） 相关软件： github；seL4；卡格默尔；伊莎贝尔/霍尔 主要领域： 计算机科学（68-XX）
博物馆 软件作者：雷迪，T.Bheemarjuna；斯里拉姆，S。；Manoj，理学学士。；莫西，C.湿婆拉姆 参考文献： 1本出版物（2006年） 相关软件： 舌状瘤 主要领域： 计算机科学（68-XX）
P3 软件作者：帕塔帕尔；格雷格·劳尔；焦德库里；尼克·霍夫；乔·忠诚 参考文献： 出版1期（2018年） 相关软件： 斯诺波；格拉夫布拉斯；分子网络；通用银行；炮石；CryptDB… 主要领域： 计算机科学（68-XX）
赛比尔雷达 软件作者：穆兰巴，D。；雷，我。；雷，我。 参考文献： 2种出版物（2019-2021） 相关软件： gsbm公司；missSBM公司；石墨酶；R；克兰 主要领域： 统计学（62-XX）；运筹学，数学规划（90-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
音乐会 软件作者：张伯玉埃文；克莱里，卡尔；德拉普，玛格丽特；哈珀，罗伯特；利兹卡，杰森；墨菲，汤姆七世；芬宁，弗兰克 参考文献： 1本出版物（2002年） 相关软件： JFlow公司；Globus工具箱 主要领域： 计算机科学（68-XX）
配置检查器 软件作者：阿尔沙尔，E.，阿尔萨雷，M。 参考文献： 出版1期（2018年） 相关软件： nftables公司；iptables；pgf公司；路由；阁楼；玛格瑞夫… 主要领域： 计算机科学（68-XX）
柱状图 软件作者：诺埃尔，S。；哈雷，E。；谭，K。；利米罗，M。；分享，M。 参考文献： 出版1期（2018年） 相关软件： 穆尔瓦尔；TCP泵 主要领域： 概率论与随机过程（60-XX）；计算机科学（68-XX）
埃弗 软件作者：马祖雷克，Łukasz 参考文献： 1次出版（2021年） 相关软件： 溶剂图；曼蒂科雷；神话里尔；github；为什么；为什么3… 主要领域： 博弈论、经济学、金融学和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
火烈鸟 软件作者：Oberheide J、Goff M、Karir M 参考文献： 1本出版物（2014） 相关软件： 开放式街道地图；IPv4热图；广东；墨鱼 主要领域： 运筹学，数学规划（90-XX）
流动围栏 软件作者：皮德拉希塔，A.F.M。；鲁埃达，S。；马托斯博士。；杜阿尔特，O.C.M 参考文献： 1份出版物（2020年） 相关软件： SGS公司；开放性；SDSNM公司；TDDAD；FADM；杰西… 主要领域： 计算机科学（68-XX）
fP2P HN 软件作者：库瓦斯，鲁本；卡贝洛斯·阿帕里西奥，阿尔伯特；奎瓦斯，天使；多明戈·帕斯卡，约尔迪；阿兹科拉，阿图罗 参考文献： 1本出版物（2009年） 相关软件： – 主要领域： 计算机科学（68-XX）
疯子 软件作者：刘天明、王浩宇、李莉、罗霞浦、冯东、郭瑶、王刘旺、特加文德夫·比西安德、雅克·克莱因 参考文献： 0个出版物 相关软件： 天秤座；国际cta；欺诈；monkeyrunner公司；约洛；小提琴手… 主要领域： –
马特夫 软件作者：可汗，硕士。；可汗，麻省理工学院。；马里克，苏联。；哈立德，O。；阿齐姆，M。；贾维德，N。 参考文献： 1份出版物（2020年） 相关软件： SenetSHM先生 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
网络安全策略验证 软件作者：迪克曼，C。 参考文献： 出版1期（2016年） 相关软件： 定理证明器；正则_代数；巴比伦人；罗宾斯猜想；归档正式证据；流浪汉… 主要领域： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
全副武装 软件作者：希韦塔·申德；天大饭店；树冠；普拉蒂克萨克森纳 参考文献： 出版1期（2018年） 相关软件： 迷你箱；瑞安；核实；码头工人 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Pcapy公司 软件作者：核心安全 参考文献： 出版1期（2019年） 相关软件： github；斯卡比 主要领域： 线性代数和多线性代数；矩阵理论（15-XX）；算子理论（47-XX）；数值分析（65-XX）
SDSNM公司 软件作者：王，X。；陈，M。；邢，C。 参考文献： 1份出版物（2020年） 相关软件： SGS公司；开放性；流动围栏；TDDAD；FADM；杰西… 主要领域： 计算机科学（68-XX）
状态秒 软件作者：博伊特，J。；纳丁，P.-A。；丽贝基，F。；布埃，M。；柯南，V。 参考文献： 1份出版物（2020年） 相关软件： SGS公司；开放性；SDSNM公司；流动围栏；TDDAD；时尚… 主要领域： 计算机科学（68-XX）
紧张的 软件作者：Ayoub Benaissa、Bilal Retiat、Bogdan Cebere、Alaa Eddine Belfedhal 参考文献： 0个出版物 相关软件： 印章；TFHE；库达大学；图形HE；瞪羚；MNIST公司 主要领域： –
UPF防火墙 软件作者：阿希姆·D·布鲁克、卢卡斯·布吕格尔、伯克哈特·沃尔夫 参考文献： 出版1期（2018年） 相关软件： nftables公司；iptables；pgf公司；路由；配置检查器；阁楼… 主要领域： 计算机科学（68-XX）
核实 软件作者：托普，舒拉蒂；索扬公园；康敏淑；萨克森那，普拉蒂克 参考文献： 出版1期（2018年） 相关软件： 迷你箱；瑞安；全副武装；码头工人 主要领域： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）