嗯 105篇文献引用（2001年-2023年） 软件作者： 克劳奇克，雨果 相关软件： NAXOS；金利；XooTools… 主要字段： 组合数学（05-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
BKZ公司 100篇文献引用（2011年-2023年） 软件作者： 陈远米；阮凤琴。 相关软件： github；NTRU；fpLLL… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
卡斯珀 83份文件引用（1999年至2018年） 软件作者： Gavin Lowe/牛津大学计算实验室 相关软件： AVISPA；TAPS；OFMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
纳克索斯 94份文件引用(2007–2023) 软件作者： Berkant Ustaoglu；拉马奇亚；劳特；米提亚金 相关软件： HMQV；CMQV+；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
MCMAS公司 86篇文献引用(2006–2023) 软件作者： 阿莱西奥·洛穆西奥（Alessio Lomuscio）、洪阳区（Hongyang Qu）、弗兰科·雷蒙迪（Franco Raimondi） 相关软件： MCK；摩卡；MCMAS-SLK… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
极瘦的 89份文件引用(2016–2023) 软件作者： 克里斯托夫·贝尔；Jean，Jérémy；科尔贝尔，斯特凡；格雷戈尔，莱安德；阿米尔·莫拉迪；托马斯·佩林（Thomas Peyrin）；Yu Sasaki；帕斯卡·萨斯德里奇；Sim，Siang Meng先生 相关软件： 出席；西蒙；王子… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
Nitpick公司 77份文件引用(1999–2023) 软件作者： 布兰切特，贾斯敏·克里斯蒂安；托比亚斯·尼普科 相关软件： Isabelle/HOL；大锤；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
XM2VTSDB 22篇文献引用(2000–2017) 软件作者： Messer，K.、Mastas，J.、Kittler，J.，Luettin，J.和Maitre，G。 相关软件： 费雷特；AR面；CMU PIE… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CMQV公司+ 41篇文献引用(2005–2023) 软件作者： 李慧；吴传坤 相关软件： NAXOS；HMQV；AVISPA… 主要字段： 数论（11-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
海洋标志 39篇文献引用(2019–2023) 软件作者： Luca De Feo；史蒂文·加尔布雷思。 相关软件： CSI-FiSh；SageMath；CSIDH… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
斯巴达人 37篇文献引用(2020–2023) 软件作者： 斯琳塔·塞蒂 相关软件： 力比奥；马林鱼；GitHub… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
OFMC公司 在25份文件中引用(2005–2022) 软件作者： 塞巴斯蒂安·莫德谢姆，卢卡·维甘诺 相关软件： AVISPA；NRL；Casper… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
UCLID公司 24篇文献引用(2002–2020) 软件作者： Randal E.Bryant；Shuvendu K.Lahiri；桑吉特·塞希亚 相关软件： 糠；PVS；MiniSat… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
拖把 在15份文件中引用(2003–2019) 软件作者： Chen，H.、Wagner，D。 相关软件： SLAM；爆炸；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
查斯基 22篇文献引用(2014–2023) 软件作者： 穆哈，N。；Mennink，B。；Van Herrewege，A。；渡边捷昭。；Preneel，B。；Verbauwhede，I。；Joux，A。；A.优素福。 相关软件： 斑点；西蒙；Salsa20… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
CRAFT（手工艺） 21篇文献引用(2020–2023) 软件作者： 拜尔勒，C。；莱安德，G。；莫拉迪，A。；拉苏尔扎德，S。 相关软件： 极瘦的；出席；西蒙… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
阿基斯 20篇文献引用(2012–2023) 软件作者： 罗希特·查达（Rohit Chadha）、文森特·雪娃（Vincent Cheval）、特凡·乔布（tefan CiobácȘ）、史蒂夫·克莱默（Steve Kremer） 相关软件： 塔马林；AVISPA；Maude-NPA… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SNAP（快照） 10篇文献引用(2002–2013) 软件作者： Czajkowski，卡尔；伊恩·福斯特（Ian Foster）；卡尔·凯塞尔曼；沃尔克·桑德；史蒂文·图克 相关软件： Globus工具包；开放科学网格；Condor-G… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）…
飞天螳螂 14篇文献引用(2009–2017) 软件作者： 克雷默斯，C。 相关软件： AVISPA；阿克斯；塔马林… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
方庭 在15份文件中引用(2006–2020) 软件作者： 科特迪瓦贝尔班；亨利·吉尔伯特；雅克·帕塔林 相关软件： 麦克利埃塞；eSTREAM；ZHFE… 主要字段： 数论（11-XX）；计算机科学（68-XX）；量子理论（81-XX）…
聪明人 10篇文献引用(2020–2023) 软件作者： N.Papernot、I.Goodfellow、R.Shetsley、R.Feinman、P.McDaniel 相关软件： CIFAR；深度愚人；PyTorch… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
DeepXlore公司 9份文件引用(2019–2023) 软件作者： 裴可欣、曹银芝、杨俊峰、苏曼·贾纳 相关软件： 深度愚人；ImageNet；GitHub… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；计算机科学（68-XX）…
菲尔马托 6篇文献引用(2001–2018) 软件作者： Bartal，Y.，Mayer，A.，Nissim，K.，Wool，A。 相关软件： 消防员；github；NetKAT… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
G-Hadoop公司 8份文件引用(2014–2018) 软件作者： 赵家琦；王丽芝；陶杰；陈金军；孙伟业；拉吉夫·兰扬；乔安娜·科洛德齐耶（Joanna Kolodziej）；阿希姆·斯特里特；迪米特里奥斯·乔治科普洛斯 相关软件： Hadoop；MapReduce；CUDA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
询问人 9份文件引用(1997–2013) 软件作者： 乔纳森·米伦 相关软件： OFMC；Isabelle/HOL；PVS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
EC2C-PAKA公司 9份文件引用(2007–2013) 软件作者： Byun、Jin Wook；Lee，Dong Hoon；林钟英 相关软件： CMQV+；嗯 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
穆瓦尔 8份文件引用(2010–2023) 软件作者： Ou，X.，Govindavajhala，S.，Appel，A.W。 相关软件： ADEPTS；分享；SPSS… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
夏洛特 4份文件引用(2006–2017) 软件作者： Baratloo A、Karaul M、Kedem Z、Wijckoff P 相关软件： BOINC公司；XtremWeb；标枪++… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
DVNIZK公司 10篇文献引用(2018–2023) 软件作者： 白鹿座；杰弗里·库托 相关软件： xJsnark；github；gmp… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
穆西格2 10篇文献引用(2021–2023) 软件作者： Nick，J.、Ruffing，T.、Seurin，Y。 相关软件： github；霜；SR-MuSig2… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
深啄 9份文件引用(2019–2023) 软件作者： 阿隆·戈尔 相关软件： 西蒙；斑点；SIMECK… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
爱马仕 8份文件引用(2005–2009) 软件作者： Bozga，L.、Lakhnech，Y.、Perin，M。 相关软件： AVISPA；卡斯珀；Timbuk… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SATMC公司 6篇文献引用(2005–2018) 软件作者： 亚历山德罗·阿尔曼多，卢卡·孔波尼亚 相关软件： AVISPA；OFMC；Maude-NPA… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
TAJ公司 7份文件引用(2013–2021) 软件作者： Tripp，O.、Pistoia，M.、Fink，S.J.、Sridharan，M.和Weisman，O。 相关软件： FlowDroid；F4F；Dytan… 主要字段： 计算机科学（68-XX）
ASPIER公司 6篇文献引用（2011年-2023年） 软件作者： Chaki，S；达塔，A。 相关软件： ProVerify；NAXOS；EasyCrypt… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
消防员 5份文件引用(2009–2018) 软件作者： 袁，L。；Mai，J。；苏，Z。；陈，H。；Chuah，C.N。；莫哈帕特拉，P。 相关软件： 马尔格雷夫；菲尔马托；HOL-TestGen… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
阿普特 5份文件引用(2017–2018) 软件作者： V.雪娃；David Baelde、Stephanie Delaune、Lucca Hirschi 相关软件： 阿克斯；塔马林；AVISPA… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
BadNets（BadNet） 4份文件引用(2019–2023) 软件作者： 顾天宇、布伦丹·多兰·加维特、西德哈斯·加格 相关软件： ImageNet；AlexNet；Grad-CAM… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；地球物理学（86-XX）
岩盐矿 6篇文献引用(2015–2021) 软件作者： 莫里塞特·G、谭·G、塔萨罗蒂·J、特里斯坦·J·B、甘·E。 相关软件： Coq；GDSL；CompCertS… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
值得信赖的朋友 6篇文献引用(2007–2021) 软件作者： 米兰堡、费利克斯·弗雷林、卢西娅·德拉克·彭索、齐奈达·本内森、多根·凯斯多根 相关软件： 分享者；VIFF；水肺 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ASASP公司 4份文件引用(2012–2020) 软件作者： 弗朗西斯科·阿尔贝蒂；亚历山德罗·阿曼多；西尔维奥·兰伊斯 相关软件： Mcmt公司；验证；助推器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
哈姆萨 2份文件引用(2010–2018) 软件作者： Li，Z.、Sanghi，M.、Chen，Y.、Kao，M.Y.、Chavez，B。 相关软件： 多谱仪；签名；Snort… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
莱姆 4份文件引用(2011–2021) 软件作者： 多米尼克·P·穆利根。；斯科特·欧文斯；凯瑟琳·格雷（Kathryn E.Gray）。；汤姆·里奇；彼得·休厄尔 相关软件： Isabelle/HOL；Coq；ACL2… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
艾莉亚 4份文件引用(2018–2023) 软件作者： 乔纳森·布特尔（Jonathan Bootle）；安德烈亚·塞鲁利（Andrea Cerulli）；格罗斯、延斯；雅各布森，苏内；玛丽·马勒 相关软件： C的SNARK；力比奥；斯巴达人… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
层压 4份文件引用(2017–2022) 软件作者： Roy I、Porter DE、Bond MD、McKinley KS、Witchel E 相关软件： JFlow；JRIF；Jif… 主要字段： 计算机科学（68-XX）
QUAIL公司 引用于3份文件(2016–2019) 软件作者： 法布里奇奥·比昂迪（Fabrizio Biondi）、阿克塞尔·莱吉（Axel Legay）、路易斯·马里·特劳诺兹（Louis-marie Traonouez） 相关软件： ANTLR；DTA++；泄漏监视 主要字段： 统计学（62-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Adv-BNN公司 引用于3份文件(2021–2023) 软件作者： 刘宣清；李、姚；吴崇若；谢卓瑞 相关软件： MagNet；AlexNet；ImageNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
EAGL公司 引用于3份文件(2014–2022) 软件作者： 蒲、石；刘，Jyh-Charn 相关软件： 熊猫；MIRACL公司；CUDA公司 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
被遗忘者 引用于3份文件(2015–2021) 软件作者： 穆罕默德·萨迪克·多斯蒂（Mohammad Sadeq Dousti）；拉苏尔·贾利利 相关软件： HMQV；DUKPT；FrodoKEM… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
JavaSPI（JavaSPI） 1份文件引用(2018) 软件作者： 里卡多·西斯托；比塔萨·科佩特（Bettasa Copet），皮尔吉乌塞佩（Piergiuseppe）；阿瓦莱，马蒂奥；阿尔弗雷多·皮隆蒂 相关软件： MJ；AGVI；Bouncy Castle… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
JESS公司 引用于3份文件(2020–2022) 软件作者： Kalkan，K。；阿勒泰，L。；Gür，G。；Alagöz，F。 相关软件： NetKAT；SGS；SDSNM… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
LDYIS公司 引用于3份文件（2008年至2011年） 软件作者： 阿莱西奥·洛穆西奥；沃伊切赫·彭泽克 相关软件： MCMAS-X；MCMAS；Casper… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
MANTIS公司 引用于3份文件(2016–2018) 软件作者： Yu Sasaki；萨斯德里奇，帕斯卡尔作家简介；Sim，Siang Meng先生 相关软件： 出席；卡坦；皮卡罗… 主要字段： 信息与通信理论，电路（94-XX）
恰亚 在0个文档中引用 软件作者： Mark S Miller、Mike Samuel、Ben Laurie、Ihab Awad、Mike Stay 相关软件： JSand公司；砂壳；Privman… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CAPA公司 2份文件引用(2018–2023) 软件作者： O.Reparaz、L.De Meyer、B.Bilgin、V.Arribas、S.Nikova、V.Nikov、N.Smart 相关软件： 卡坦；出席；Keras… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CompoSAT公司 2份文件引用(2018–2022) 软件作者： Porncharoenwase，索拉维；蒂姆·纳尔逊（Tim Nelson）；克里希那穆尔蒂，施里拉姆 相关软件： 迷你卫星；科科德；梅斯4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
地窖管理员 2份文件引用(2014–2020) 软件作者： 彼得森，P.A.H。 相关软件： 泰索；TransCrypt；HyperCrypt… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
加密验证 2份文件引用(2012–2013) 软件作者： 大卫·卡德；布鲁诺·布兰切特 相关软件： ASPIER公司；OCaml；密码点… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
EFADS公司 2份文件引用（2014年） 软件作者： 魏贵义；吕荣星；邵军 相关软件： SiRiUS公司；普鲁特斯 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
EMBER公司 1份文件引用（2023年） 软件作者： Hyrum S.Anderson、Phil Roth 相关软件： github；AlexNet；单词2vec… 主要字段： 计算机科学（68-XX）
GADAPT公司 2份文件引用(2019–2023) 软件作者： 斯特凡·拉斯；朱全燕 相关软件： HyRiM；R（右） 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
NN修复 2份文件引用(2022) 软件作者： 穆罕默德·乌斯曼；Divya Gopinath；孙友成；诺勒，亚尼克；科琳娜·帕萨雷努 相关软件： 马拉博；Reluplex；DL2… 主要字段： 计算机科学（68-XX）
MAMBA秤 2份文件引用(2021–2022) 软件作者： 奈杰尔·斯马特；KU鲁汶 相关软件： MP-SPDZ；github；曲线25519… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
安全ML 在0个文档中引用 软件作者： 马可·梅利斯（Marco Melis）、安布拉·戴蒙蒂斯（Ambra Demontis）、毛拉·平托（Maura Pintor）、安吉洛·索特吉乌（Angelo Sotgiu）、巴蒂斯塔·比吉奥（Battista Biggio） 相关软件： PyTorch公司；蟒蛇；烬… 主要字段： –
SeVe公司 2份文件引用(2012–2015) 软件作者： Luu，Anh Tuan；孙军；刘，杨；董金松 相关软件： 棱镜；拍打；Casper… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
阿尔雷德 1份文件引用(2012) 软件作者： 马科斯·琼·辛普利西奥（Marcos A.jun.Simplicio）。；Paulo S.L.M.巴雷托。 相关软件： 信件汤；马文 主要字段： 计算机科学（68-XX）
BPA-Sec4云 1份文件引用(2016) 软件作者： 费尔南多·林斯；朱利奥·达马西奥（Julio Damasceno）；罗布森·梅德罗斯；埃里卡·索萨；尼尔森·罗莎 相关软件： BPMN2；活动性；轴2… 主要字段： 计算机科学（68-XX）
CARRADS公司 1份文件引用(2010) 软件作者： Joseph，John Felix Charles；达斯，阿弥陀佛；李步松（Lee，Bu-Sung）；西特，文冲 相关软件： – 主要字段： 计算机科学（68-XX）
CloudSec（云安全） 在0个文档中引用 软件作者： 易卜拉欣，A.，哈姆林·哈里斯，J.，格兰迪，J 相关软件： ReVirt；RSYSLOG；SecVisor… 主要字段： 计算机科学（68-XX）
协同检查器 1份文件引用（2014年） 软件作者： 崔兴民；于达；Patrick Chan；Hui，Lucas C.K。；Yiu，S.M。；青思汗 相关软件： 机器人工作台 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
CyGraph（赛格图） 1份文件引用(2018) 软件作者： Noel，S。；哈雷，E。；Tam，K。；利米埃罗，M。；共享，M。 相关软件： MulVAL；TCPDUMP公司 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）
d3p公司 在0个文档中引用 软件作者： Lukas Prediger、Niki Loppi、Samuel Kaski、Antti Honkela 相关软件： 高温；TensorFlow；Python… 主要字段： –
EthVer公司 1份文件引用(2021) 软件作者： 尤卡斯·马祖雷克 相关软件： 地幔；甲氰菊酯；Why3… 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
加洛瓦 1份文件引用（2023年） 软件作者： 贾塔拉，V。；Dathathri，R。；吉尔·G。；黄光裕。；南迪瓦达，V.K。；Pingali，K。 相关软件： IGA-ADS公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；光学、电磁理论（78-XX）
联合太平洋航空公司 1份文件引用(2003) 软件作者： 斯蒂芬·马吉尔（Stephen Magill）；布拉德利·斯卡格斯；毛里西奥·爸爸；约翰·黑尔 相关软件： – 主要字段： 计算机科学（68-XX）
信件汤 1份文件引用(2012) 软件作者： 马科斯·琼·辛普利西奥（Marcos A.jun.Simplicio）。；Paulo S.L.M.巴雷托。 相关软件： 马文；阿尔雷德 主要字段： 计算机科学（68-XX）