数据日志 282份文件引用(1978–2022) 软件作者： Ceri，S.、Gottlob，G.、Tanca，L 相关软件： 亚萨特；格林戈；Clingo… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
JPEG2000格式 61篇文献引用(2002–2023) 软件作者： Seo、Yeong Geon；Kim，Kwon Soo；Kim、Sung Gyun 相关软件： 蟒蛇；BM3D；VisualSEEk… 主要字段： 欧氏空间（42-XX）的调和分析；数值分析（65-XX）；计算机科学（68-XX）…
JBoss公司 23篇文献引用（2004年-2023年） 软件作者： Red Hat公司。 相关软件： 口水；方面J；WebSphere… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
冷凝器-G 22篇文献引用(2001–2014) 软件作者： 詹姆斯·弗雷（James Frey）、托德·坦尼鲍姆（Todd Tannenbaum）、米伦·利夫尼（Miron Livny）、伊恩·福斯特（Ian Foster）、史蒂文·图埃克（Steven Tuecke） 相关软件： Globus工具包；Java CoG工具包；Nimrod/G… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
EasyCrypt公司 35篇文献引用(2011–2022) 软件作者： Barthe，Gilles公司；本杰明·格雷戈里；Sylvain Heraud；贝盖林，圣地亚哥·扎内拉 相关软件： Coq；F*；AVISPA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
陌生人 22篇文献引用(2011–2023) 软件作者： Fang Yu、Muath Alkhalaf、Tevfik Bultan 相关软件： 汉普；S3；Z3str3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SNAP（快照） 10篇文献引用(2002–2013) 软件作者： 卡尔·查伊科夫斯基（Karl Czajkowski）；伊恩·福斯特（Ian Foster）；卡尔·凯塞尔曼；沃尔克·桑德；史蒂文·塔克 相关软件： Globus工具包；开放科学网格；Condor-G… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；生物学和其他自然科学（92-XX）…
VIFF公司 17篇文献引用(2009–2023) 软件作者： 伊凡·达姆加德；马丁·盖斯勒（Martin Geisler）；米克尔·克里加德；杰斯珀·布乌斯·尼尔森 相关软件： 分享者；FairplayMP；美味… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；信息与通信理论，电路（94-XX）
UNICORE公司 13份文件引用(2001–2010) 软件作者： 瓦伦蒂娜·胡贝尔 相关软件： 北欧电网；Globus工具包；网格模拟… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
ARX工具 16篇文献引用(2013–2023) 软件作者： 勒伦特，加勒坦 相关软件： 西蒙；SipHash；ChaCha… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-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份文件引用(2009–2023) 软件作者： Balzarotti，D.、Cova，M.、Felmetsger，V.、Jovanovic，N.、Kirda，E.、Kruegel，C.、Vigna，G。 相关软件： 陌生人；StringFuzz；CVC4… 主要字段： 计算机科学（68-XX）
夏洛特 4份文件引用(2006–2017) 软件作者： Baratloo A、Karaul M、Kedem Z、Wijckoff P 相关软件： BOINC公司；XtremWeb；标枪++… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
发现 4份文件引用(2001–2002) 软件作者： V.Mann、V.Matosian、R.Muralidhar、M.Parashar 相关软件： Globus工具包；特里亚纳；Condor-G… 主要字段： 计算机科学（68-XX）
戴坦 6篇文献引用(2013–2022) 软件作者： Clause，J.、Li，W.、Orso，A。 相关软件： TAJ公司；TaintDroid；像素… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
TAJ公司 7份文件引用(2013–2021) 软件作者： Tripp，O.、Pistoia，M.、Fink，S.J.、Sridharan，M.和Weisman，O。 相关软件： FlowDroid；F4F；Dytan… 主要字段： 计算机科学（68-XX）
阿马迪洛 7份文件引用(2010–2021) 软件作者： 斯特凡·巴德尔（Stéphane Badel）、尼莱·达特金（Nilay Daótekin）、小豪尔赫·纳卡拉（Jorge Nakahara Jr 相关软件： 出席；HIGHT（高度）；王子… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ConfiChair公司 4份文件引用(2013–2021) 软件作者： 阿拉皮尼斯（Arapinis），梅尔托（Myrto）；塞尔吉·布尔苏克；马克·瑞恩 相关软件： ProVerify；FlowFox；CoSMed… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
LoPSiL公司 5份文件引用(2009–2023) 软件作者： 杰·利加蒂（Jay Ligatti）；比利·里基；纳林·赛加尔 相关软件： 方面J；BCEL；TaintDroid公司 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
证书密码 5份文件引用(2009–2017) 软件作者： Barthe，Gilles公司；本杰明·格雷戈里；圣地亚哥Zanella Béguelin 相关软件： Coq；Coq/SS反射；EasyCrypt… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
康考迪亚 6篇文献引用(2001–2006) 软件作者： David Wong、Noemi Paciorek、Tom Walsh、Joe DiCelie、Mike Young、Bill Peet 相关软件： Aglet；旅行者号；MAWS… 主要字段： 计算机科学（68-XX）
J-Sim公司 4份文件引用（2009-2016年） 软件作者： Sobeih A、Hou J、Kung L-C、Li N、Zhang H、Chen W-P、Tyan H-Y、Lim H 相关软件： 标签 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）；系统论；控制（93-XX）
DynaMine公司 1份文件引用(2022) 软件作者： Livshits，B.，Zimmermann，T。 相关软件： 自旋蛋白；德克萨斯州；PPTL_SPIN… 主要字段： 计算机科学（68-XX）
AGVI公司 3份文件引用(2001–2018) 软件作者： 宋，黎明；阿德里安·佩里格（Adrian Perrig）；多安塔姆·潘 相关软件： MJ；JavaSPI；Spi2Java… 主要字段： 计算机科学（68-XX）
BotGraph（机器人程序图） 2份文件引用(2009–2015) 软件作者： Zhao，Y.，Xie，Y.、Yu，F.、Ke，Q.、Yu.、Chen，Y.和Gillum，E。 相关软件： VisFlowConnect；EMD；Rishi… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
地穴 1份文件引用(2006) 软件作者： Erez Zadok、Ion Badulescu、Alex Shender 相关软件： SiRiUS公司；冥王星；Iolus… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
层压 4份文件引用(2017–2022) 软件作者： Roy I、Porter DE、Bond MD、McKinley KS、Witchel E 相关软件： JFlow；JRIF；Jif… 主要字段： 计算机科学（68-XX）
密码yc 3份文件引用(2005–2015) 软件作者： A.D.Gordon、C.Haack、A.Jeffrey 相关软件： F*；塔马林；OFMC… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
e激素 3份文件引用(2021–2022) 软件作者： 克拉拉·施奈德温德、伊利亚·格里什琴科、马库斯·谢勒、马特奥·马菲 相关软件： SMT-LIB；CVC4；RAHFT… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
四层楼 3份文件引用(2013–2020) 软件作者： Sridharan，M。；阿尔齐，S。；皮斯托亚，M。；瓜尼埃里，S。；跳闸，O。；R·伯格。 相关软件： TAJ公司；戴坦；像素… 主要字段： 计算机科学（68-XX）
KAoS公司 2份文件引用(2004) 软件作者： 安德烈·乌斯科（Andrzej Uszok）；Jeffrey M.Bradshaw。；雷妮娅·杰弗斯 相关软件： – 主要字段： 计算机科学（68-XX）
SCAPI公司 1份文件引用(2017) 软件作者： Yael Ejgenberg、Moriya Farbstein、Meital Levy、Yehuda Lindell 相关软件： VMCrypt；FairplayMP；美味… 主要字段： 信息与通信理论，电路（94-XX）
塞林克 3份文件引用(2014–2022) 软件作者： 丹尼尔·斯科佩（Daniel Schoepe）；丹尼尔·赫丁（Daniel Hedin）；安德烈·萨贝尔菲尔德 相关软件： JSLINQ公司；用户/网络；GitHub… 主要字段： 计算机科学（68-XX）
VisFlowConnect 在0个文档中引用 软件作者： Yin，X.，Yurcik，W.，Treaster，M.，Li，Y.，Lakkaraju，K。 相关软件： NVisionIP；BotGraph；动态图像… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ConScript（ConScript） 2份文件引用(2013–2021) 软件作者： Meyerovich，L。；B.利夫希茨。 相关软件： FlowFox；水仙；监狱… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
JSLINQ公司 2份文件引用(2017–2022) 软件作者： Balliu先生。；Liebe，B。；斯科佩·D·。；Sabelfeld，A。 相关软件： 塞林克；用户/网络；GitHub… 主要字段： 计算机科学（68-XX）
MinEX公司 2份文件引用(2002–2006) 软件作者： Das，Sajal K。；丹尼尔·哈维（Daniel J.Harvey）。；鲁帕克·比斯瓦斯 相关软件： METIS公司；网络解决方案 主要字段： 计算机科学（68-XX）
SessionShield（会话屏蔽） 1份文件引用(2013) 软件作者： Nikiforakis，N。；Meert，W。；尤南，Y。；约翰，M。；佐森，W。 相关软件： FlowFox；水仙；监狱… 主要字段： 计算机科学（68-XX）
装箱 在0个文档中引用 软件作者： M.Backes、S.Bugiel、C.Hammer、O.Schranz、P.von Styp-Rekowsky 相关软件： AppTrace；夫人；ARTDroid… 主要字段： –
BreakApp（中断应用程序） 在0个文档中引用 软件作者： Nikos Vasilakis、Ben Karel、Nick Roessler、Nathan Dautenhahn、AndréDeHon、Jonathan M.Smith 相关软件： Retired.js；冲突JS；简介… 主要字段： –
协同检查器 1份文件引用(2014) 软件作者： 崔兴民；于达；Patrick Chan；Lucas C.K.Hui。；Yiu，S.M。；Qing，思涵 相关软件： 机器人工作台 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
认知 1份文件引用(2014) 软件作者： 艾米莉亚·坦塔尔；玛丽亚·丽塔（Maria Rita Palattella）；阿瓦内索夫，提格朗；Miroslaw Kantor；托马斯·恩格尔 相关软件： ParaDisEO公司 主要字段： 计算机科学（68-XX）
ConCert公司 1份文件引用(2002) 软件作者： Chang，Bor-Yuh Evan；卡尔·克里；玛格丽特·德拉普；罗伯特·哈珀；贾森·利什卡（Jason Liszka）；汤姆七世墨菲；弗兰克·芬宁 相关软件： JFlow；Globus工具包 主要字段： 计算机科学（68-XX）
EnclaveDom公司 在0个文档中引用 软件作者： 马塞拉·梅拉拉（Marcela S.Melara）、迈克尔·弗里德曼（Michael J.Freedman）、米克·鲍曼（Mic Bowman） 相关软件： Retired.js；冲突JS；合成码… 主要字段： –
EviCheck公司 1份文件引用(2015) 软件作者： 穆罕默德·纳西姆·塞吉尔（Mohamed Nassim Seghir）；大卫·阿斯皮纳尔 相关软件： AppGuard；应用镜检查；双人护卫… 主要字段： 计算机科学（68-XX）
加洛瓦 1份文件引用(2023) 软件作者： 贾塔拉，V。；Dathathri，R。；吉尔，G。；Hoang，L。；南迪瓦达，V.K。；平加利，K。 相关软件： IGA-ADS公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；光学、电磁理论（78-XX）
J轨道 在0个文档中引用 软件作者： Mehran Sahandi Far、Michael Stolz、Jona M.Fischer、Simon B.Eickhoff、Juergen Dukart 相关软件： TemplateFlow；git-annex；Python… 主要字段： –
MISSYM公司 1份文件引用(2007) 软件作者： 第页，Y.L。 相关软件： cctbx；MOE Crystal Builder；FINDSYM… 主要字段： 计算机科学（68-XX）；统计力学，物质结构（82-XX）
Panoply公司 1份文件引用(2018) 软件作者： Shweta Shinde；大乐天；Shruti头饰；Prateek Saxena公司 相关软件： 迷你盒子；瑞安；VeriCount… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
萨卢斯 在0个文档中引用 软件作者： 尼尔斯·阿文兹（Niels Avonds）、拉乌尔·斯特拉克（Raoul Strackx）、彼得·阿格滕（Pieter Agten）、弗兰克·皮森斯（Frank Piessens） 相关软件： Retired.js；冲突JS；合成码… 主要字段： –
TryLinks（尝试链接） 在0个文档中引用 软件作者： 朱诺·吴（Junao Wu）、阿雷克·米科拉扎克（Arek Mikolajczak）、詹姆斯·切尼（James Cheney） 相关软件： Pingdom工具；AngularDart；链接 主要字段： –
VMHunt（VMHunt） 1份文件引用(2019) 软件作者： Xu，D.，Ming，J.，Fu，Y.，Wu，D。 相关软件： 戴坦；DynOpVm；VOT4CS… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SO塞尔维亚 在0个文档中引用 软件作者： 米哈伊洛·约瓦诺维奇；伊万·巴比奇（Ivan Babic）；米兰卡巴卡帕；Jelena Misic；米亚尔科维奇，萨萨；沃伊坎·尼科利奇；Randjelovic，Dragan；米盖尔·富恩特斯 相关软件： – 主要字段： –