数据日志 282份文件引用(1978–2022) 软件作者： Ceri，S.、Gottlob，G.、Tanca，L 相关软件： 亚萨特；格林戈；Clingo… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
山茶花 97篇文献引用(2001–2023) 软件作者： 青木，Kazumaro；铁杉一川；神田，Masayuki；松井、三井；森井、希荷；中岛俊子；Tokita、Toshio 相关软件： 克利夫亚；出席；方形… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
卡斯珀 83份文件引用（1999年至2018年） 软件作者： Gavin Lowe/牛津大学计算实验室 相关软件： AVISPA；TAPS；OFMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
AVISPA公司 82篇文献引用(2005–2023) 软件作者： 信息社会技术方案下的欧洲共同体（1998-2002） 相关软件： 卡斯珀；ProVerify；OFMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SWIFFT银行 51篇文献引用(2008–2021) 软件作者： 卢巴什夫斯基，瓦迪姆；丹尼尔·米恰尼西奥（Daniele Micciancio）；佩克特，克里斯；阿隆·罗森 相关软件： NTRU；NTL；SWIFFTX… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
小把戏 52篇文献引用(2014–2023) 软件作者： Jean，Jérémy；伊维卡·尼科利奇；托马斯·佩林 相关软件： 极瘦的；西蒙；方形… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
海绵状的 35篇文献引用(2011–2024) 软件作者： Bogdanov，A.，Kneíević，M.，Leander，G.，Toz，D.，Varíc，K.，Verbauwhede，I。 相关软件： 出席；凯卡克；金利… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
塔马林 33篇文献引用(2015–2023) 软件作者： Meier，S.、Schmidt，B.、Cremers，C.、Basin，D。 相关软件： 莫德-NPA；莫德；Akiss… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
OFMC公司 25篇文献引用(2005–2022) 软件作者： 塞巴斯蒂安·莫德谢姆，卢卡·维甘诺 相关软件： AVISPA；NRL；Casper… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
MOPS公司 15篇文献引用(2003–2019) 软件作者： Chen，H.、Wagner，D。 相关软件： SLAM；爆炸；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
陌生人 引用于22份文件(2011–2023) 软件作者： Fang Yu、Muath Alkhalaf、Tevfik Bultan 相关软件： 汉普；S3；Z3str3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CRAFT（手工艺） 21篇文献引用(2020–2023) 软件作者： 拜尔勒，C。；莱安德，G。；莫拉迪，A。；拉苏尔扎德，S。 相关软件： 极瘦的；出席；西蒙… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
银色 21篇文献引用(2021–2023) 软件作者： 杰弗里·库托；彼得·林达尔（Peter Rindal）；斯里尼瓦桑·拉古拉曼 相关软件： 自行车；github；ABY… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
兔子 19份文件引用(2003–2023) 软件作者： Martin Boesgaard、Mette Vesterager、Thomas Pedersen、Jesper Christiansen、Ove Scavenius 相关软件： eSTREAM；索塞曼英国；谷物… 主要字段： 数论（11-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
萨图尔宁 18篇文献引用(2020–2023) 软件作者： Canteaut，A.等人。 相关软件： 极瘦的；凯卡克；微调… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
飞天螳螂 14篇文献引用(2009–2017) 软件作者： 克雷默斯，C。 相关软件： AVISPA；阿克斯；塔马林… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
BitBlaze公司 引用于7份文件(2012–2023) 软件作者： D.X.Song、D.Brumley、H.Yin、J.Caballero、I.Jager、M.G.Kang、Z.Liang、J.Newsome、P.Poosankam、P.Saxena 相关软件： BAP；KLEE公司；Dytan… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
询问人 9份文件引用(1997–2013) 软件作者： 乔纳森·米伦 相关软件： OFMC；Isabelle/HOL；PVS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
芯片语者 11份文件引用(2014–2023) 软件作者： 科林·奥弗林；陈志章 相关软件： github；PQM4；McEliece… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
MulVAL公司 8份文件引用(2010–2023) 软件作者： Ou，X.，Govindavajhala，S.，Appel，A.W。 相关软件： ADEPTS；分享；SPSS… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
萨纳 9份文件引用(2009–2023) 软件作者： Balzarotti，D.、Cova，M.、Felmetsger，V.、Jovanovic，N.、Kirda，E.、Kruegel，C.、Vigna，G。 相关软件： 陌生人；StringFuzz；CVC4… 主要字段： 计算机科学（68-XX）
航空地理信息系统 10篇文献引用(2014–2023) 软件作者： 吴红军；普伦尼尔，巴特 相关软件： 下雪；微调；山茶花… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
海狸 9份文件引用(2010–2021) 软件作者： 桑吉特·塞希亚 相关软件： Yices；z3；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
通用乙醇提取物 引用于3份文件(2021–2023) 软件作者： Gorelick，N.、Hancher，M.、Dixon，M.，Ilyushchenko，S.、Thau，D.、Moore，R。 相关软件： 蟒蛇；R；geemap… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；粒子和系统力学（70-XX）…
节点XL 引用于7份文件(2013–2022) 软件作者： 施奈德曼，本；科迪·邓恩 相关软件： 格菲；帕杰克；亚当… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
QC-LDPC公司 10篇文献引用(2008–2020) 软件作者： 马尔科·巴尔迪；马尔科·博德拉托；佛朗哥·恰拉卢斯 相关软件： 低密度聚乙烯；麦克利埃塞 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TaintDroid公司 8份文件引用(2013–2023) 软件作者： Enck，W.、Gilbert，P.、Han，S.、Tendulkar，V.、Chun，B.-G.、Cox，L.P.、Jung，J.、McDaniel，P.和Sheth，A.N。 相关软件： FlowDroid；戴坦；JFlow… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
KJS公司 9份文件引用(2015–2021) 软件作者： 格里戈·罗什u安德烈·特夫内斯库大峻公园 相关软件： K-Java；莫德；Coq… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
Z3str2型 8份文件引用(2017–2023) 软件作者： 郑云辉；维杰·加内什；萨努语Subramanian；特里普，奥马尔；墨菲·贝尔齐什；朱利安·杜比（Julian Dolby）；张湘玉 相关软件： 陌生人；汉普；诺恩… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
缓存审核 8份文件引用(2017–2021) 软件作者： Doychev，G.、Feld，D.、Köpf，B.、Mauborgne，L.、Reineke，J。 相关软件： 布吉；LLVM；JFlow… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
戴坦 6篇文献引用(2013–2022) 软件作者： Clause，J.、Li，W.、Orso，A。 相关软件： TAJ公司；TaintDroid；像素… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-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）
BCTRU公司 引用于7份文件(2017–2022) 软件作者： Yassein，H.R。；新墨西哥州Al-Saidi。 相关软件： MaTRU；NTRU；HXDTRU… 主要字段： 结合环与代数（16-XX）；非结合环与代数（17-XX）；计算机科学（68-XX）…
消防员 5份文件引用(2009–2018) 软件作者： 袁，L。；Mai，J。；苏，Z。；陈，H。；Chuah，C.N。；莫哈帕特拉，P。 相关软件： 马尔格雷夫；菲尔马托；HOL-TestGen… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
旋风 引用于7份文件(2010–2023) 软件作者： 保罗·巴雷托；文茨拉夫·尼科夫；妮科娃，斯维特拉；Vincent Rijmen；Elmar Tischhauser公司 相关软件： 极瘦的；漩涡；QARMA… 主要字段： 数论（11-XX）；算子理论（47-XX）；计算机科学（68-XX）…
奥特罗斯 6篇文献引用(2022–2023) 软件作者： 巴尼克，S。；Isobe，T。；刘，F。；Minematsu，K。；Sakamoto，K。 相关软件： QARMA；速度；存在… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
岩盐矿 6篇文献引用(2015–2021) 软件作者： 莫里塞特·G、谭·G、塔萨罗蒂·J、特里斯坦·J·B、甘·E。 相关软件： Coq；GDSL；CompCertS… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ASASP公司 4份文件引用(2012–2020) 软件作者： 弗朗西斯科·阿尔贝蒂；亚历山德罗·阿曼多；西尔维奥·兰伊斯 相关软件： Mcmt公司；验证；助推器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DynaMine公司 1份文件引用(2022) 软件作者： Livshits，B.，Zimmermann，T。 相关软件： 自旋蛋白；德克萨斯州；PPTL_SPIN… 主要字段： 计算机科学（68-XX）
莱姆 4份文件引用（2011年至2021年） 软件作者： 多米尼克·P·穆利根。；斯科特·欧文斯；凯瑟琳·格雷（Kathryn E.Gray）。；汤姆·里奇；彼得·休厄尔 相关软件： Isabelle/HOL；Coq；ACL2… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
梅林 5份文件引用（2013-2017） 软件作者： Livshits VB、Nori AV、Rajamani SK、Banerjee A 相关软件： JavaScript；萨纳尔；TAJ… 主要字段： 计算机科学（68-XX）
皮克斯 引用于3份文件(2014–2020) 软件作者： N.Jovanovic、C.Kruegel、E.Kirda 相关软件： 失忆症；TAJ公司；GitHub… 主要字段： 计算机科学（68-XX）
SAFKASI公司 引用于3份文件（2005年至2015年） 软件作者： D.S.Wallach、A.W.Appel、E.W.Felten 相关软件： 棱镜；JFlow；活页夹… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
简洁 5份文件引用(2004–2010) 软件作者： 尼尔森，弗莱明；尼尔森、汉内·里斯；孙红燕；米凯尔·巴赫霍尔茨（Mikael Buchholtz）；Hansen、Rene Rydhof；亨里克·皮莱加德；赫尔穆特·塞德尔 相关软件： 琳达；科莱姆；政治公众人物协议… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
符号自动机 5份文件引用(2012–2017) 软件作者： 玛格斯·维纳斯（Margus Veanes）；尼古拉·比约纳 相关软件： 汉普；陌生人；GitHub… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
AD工具 引用于3份文件(2014–2021) 软件作者： 芭芭拉·科尔迪、彼得·科尔迪、绍克·茅、帕特里克·施韦策 相关软件： MuSig2；github；ADEPTS… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
塞尔夫 4份文件引用(2008–2023) 软件作者： Schack Nielsen，安德斯；卡斯滕·舒尔曼 相关软件： TALx86；洛利；混合型… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
德莱宾 引用于3份文件(2017–2023) 软件作者： Daniel Arp、Michael Spreitzenbarth、Hugo Gascon、Konrad Rieck 相关软件： ADAM；DroidMat；机器人变色龙… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
马尔格雷夫 引用于3份文件(2018–2019) 软件作者： Nelson，T.、Barratt，C.、Dougherty，D.J.、Fisler，K.、Krishnamurthi，S.：T 相关软件： 科科德；z3；合金*… 主要字段： 计算机科学（68-XX）
开放式转弯 2份文件引用(2012) 软件作者： 米夏·鲍丁；安妮·杜特福（Anne Dutfoy）；贝特朗·洛斯；Anne-Laure府绸 相关软件： Scikit；蟒蛇；蝙蝠侠… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
QUAIL公司 引用于3份文件(2016–2019) 软件作者： 法布里奇奥·比昂迪（Fabrizio Biondi）、阿克塞尔·莱吉（Axel Legay）、路易斯·马里·特劳诺兹（Louis-marie Traonouez） 相关软件： ANTLR；DTA++；泄漏监视 主要字段： 统计学（62-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
子图形2vec 2份文件引用(2019–2020) 软件作者： Annamalai Narayanan、Mahinthan Chandramohan、Lihui Chen、Yang Liu、Santhoshkumar Saminathan 相关软件： node2vec；蟒蛇；快速DTW… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
UML秒 2份文件引用(2014–2018) 软件作者： Jürjens J、Shabalin P、Alter E、Gilg A、Höhn S、Kopjev D、Lehrhuber M、Schwarzmüller S、Shen S 相关软件： 跳跃；TGV；LUSTRE… 主要字段： 计算机科学（68-XX）
AnZenMail公司 2份文件引用（2003年） 软件作者： 志山、Etsuya；Shigeki Hagihara；NaokiKobayashi，；Nishizaki，Shin-ya；KenjiroTaura，；渡边，Takuo 相关软件： Coq；TALx86；JFlow… 主要字段： 计算机科学（68-XX）
香蕉 引用于3份文件(2003–2008) 软件作者： 奇亚拉·布拉金（Chiara Braghin）；阿戈斯蒂诺·科尔特斯；斯特凡诺·菲利波内；福卡迪、里卡多；Luccio，Flaminia L。；卡拉广场 相关软件： – 主要字段： 计算机科学（68-XX）
卡斯特雷姆 2份文件引用(2014–2018) 软件作者： 达斯，苏拉夫；迪潘维塔·罗伊乔杜里 相关软件： eSTREAM；CAR30；谷物 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
加密卫星 引用于3份文件(2014–2021) 软件作者： 弗雷德里克·拉斐特 相关软件： MiniSat；SMAC；PSATO… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
eThor公司 引用于3份文件(2021–2022) 软件作者： 克拉拉·施奈德温德、伊利亚·格里什琴科、马库斯·谢勒、马特奥·马菲 相关软件： SMT-LIB；CVC4；棱镜… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
四层楼 引用于3份文件(2013–2020) 软件作者： Sridharan，M。；阿尔齐，S。；皮斯托亚，M。；瓜尼埃里，S。；跳闸，O。；R·伯格。 相关软件： TAJ公司；戴坦；像素… 主要字段： 计算机科学（68-XX）
GDSL公司 2份文件引用(2015–2018) 软件作者： 朱利安·克兰兹（Julian Kranz）；亚历山大·塞普（Alexander Sepp）；埃克塞尔·西蒙 相关软件： 岩盐；X苏加；贝克斯菲尔德… 主要字段： 计算机科学（68-XX）
MoTE-ECC公司 引用于3份文件(2014–2015) 软件作者： 刘哲；温格，埃里希；乔安·格罗·谢德尔 相关软件： 曲线25519；纳米ECC；微型ECC 主要字段： 代数几何（14-XX）；信息与通信理论，电路（94-XX）
S-RIP型 引用于3份文件(2004–2009) 软件作者： 万涛；克拉纳基斯、埃文格洛斯；Paul C.van Oorschot。 相关软件： – 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
比例 引用于3份文件(2016–2019) 软件作者： B.T.里尔登；M.A.杰西 相关软件： 比例尺6.2；COBRA-TF；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；统计力学，物质结构（82-XX）
塞林克 引用于3份文件(2014–2022) 软件作者： 丹尼尔·斯科佩（Daniel Schoepe）；丹尼尔·赫丁（Daniel Hedin）；安德烈·萨贝尔菲尔德 相关软件： JSLINQ公司；用户/网络；GitHub… 主要字段： 计算机科学（68-XX）
WAGE公司 引用于3份文件(2021–2023) 软件作者： Mark Aagaard、Riham AlTawy、Guang Gong、Kalikinkar Mandal、Raghvendra Rohit、Nusa Zidaric 相关软件： eSTREAM；出席；深啄 主要字段： 组合数学（05-XX）；数论（11-XX）；信息与通信理论，电路（94-XX）
CASPA公司_ 1份文件引用(2015) 软件作者： 迈克尔·巴克斯（Michael Backes）；斯特凡·洛伦茨；马特奥·马菲；金·佩西纳 相关软件： F*；塔马林；隐秘… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ConScript（ConScript） 2份文件引用(2013–2021) 软件作者： Meyerovich，L。；B.利夫希茨。 相关软件： FlowFox；水仙；监狱… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
EFADS公司 2份文件引用（2014年） 软件作者： 魏贵义；吕荣星；邵军 相关软件： SiRiUS公司；普鲁特斯 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
GADAPT公司 2份文件引用(2019–2023) 软件作者： 斯特凡·拉斯；朱全艳 相关软件： HyRiM；R（右） 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
Klockwork公司 1份文件引用（2014年） 软件作者： Rogue Wave软件公司。 相关软件： MiniSat；SPARK Pro；STP… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）
OOABKS公司 2份文件引用(2020–2023) 软件作者： 崔，J。；周，H。；Xu，Y。；钟，H。 相关软件： PBC图书馆 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
第3页 1份文件引用(2018) 软件作者： Partha Pal；格雷格·劳尔（Greg Lauer）；Joud Khoury；尼克·霍夫；乔·洛亚尔 相关软件： INGRES公司；REXX；Matlab… 主要字段： 计算机科学（68-XX）
SeVe公司 2份文件引用(2012–2015) 软件作者： Luu，Anh Tuan；孙军；刘，杨；董金松 相关软件： 棱镜；拍打；Casper… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
伊塞斯 1份文件引用(2020) 软件作者： Müller，T.、Dewald，A.、Freiling，F。 相关软件： TransCrypt；HyperCrypt；武装… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
阿莱提亚 1份文件引用(2020) 软件作者： Tripp，O.，Guarnieri，S.，Pistoia，M.，Aravkin，A。 相关软件： 戴坦；TAJ公司；像素… 主要字段： 计算机科学（68-XX）
武装 1份文件引用(2020) 软件作者： Götzfried，J.，Müller，T。 相关软件： TransCrypt；HyperCrypt；Salsa20… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
艺术家 在0个文档中引用 软件作者： M.Backes、S.Bugiel、O.Schranz、P.Von Styp-Rekowsky、S.Weisgerber 相关软件： AppTrace；夫人；ARTDroid… 主要字段： –
宾西姆 1份文件引用(2019) 软件作者： Ming，J.，Xu，D.，Jiang，Y.，Wu，D。 相关软件： 戴坦；DynOpVm；VOT4CS… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）