橡皮擦 36篇文献引用(2000–2021) 软件作者: Savage,S.、Burrows,M.、Nelson,G.、Sobalvarro,P.、Anderson,T。 相关软件: veriSoft;RacerX;班德拉… 主要字段: 计算机科学(68-XX)
DiSCiPl公司 7份文件引用(2007–2016) 软件作者: – 相关软件: 彗星;Oz Explorer;VIFID/TRIFID… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
戴坦 6篇文献引用(2013–2022) 软件作者: Clause,J.、Li,W.、Orso,A。 相关软件: TAJ公司;TaintDroid;像素… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…
BadNets(BadNet) 4份文件引用(2019–2023) 软件作者: 顾天宇、布伦丹·多兰·加维特、西德哈斯·加格 相关软件: ImageNet;AlexNet;Grad-CAM… 主要字段: 统计学(62-XX);计算机科学(68-XX);地球物理学(86-XX)
国际象棋 5份文件引用(2008–2021) 软件作者: Musuvathi M、Qadeer S、Ball T 相关软件: 橡皮擦;veriSoft;AVIO… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
内容CVS 5份文件引用(2014–2019) 软件作者: E.Jiménez-Ruiz、B.Cuenca Grau、I.Horrocks、R.Berlanga 相关软件: CEX;Ontop;MWB… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
辐条 4份文件引用(2008–2020) 软件作者: Gebser,M.、Pührer,J.、Schaub,T.、Tompits,H.、Woltran,S。 相关软件: 格林戈;天基信息平台;SeaLion… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
DynaMine公司 1份文件引用(2022) 软件作者: Livshits,B.,Zimmermann,T。 相关软件: 自旋蛋白;德克萨斯州;PPTL_SPIN… 主要字段: 计算机科学(68-XX)
jMocha公司 5份文件引用(2008–2023) 软件作者: 阿鲁尔(Alur,R.)。;de Alfaro,L。;格罗苏,R。;Henzinger,T。;托马斯,A。;Kang,M。;Kirsch,C。;马朱姆达尔,R。;Mang,F。;王,B.-Y。 相关软件: 摩卡;MCMAS;MCMAS-SLK… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
风景 4份文件引用(2021–2023) 软件作者: 丹尼尔·弗里蒙特。;爱德华·金;托马索·德罗西;Ghosh,Shromona;岳向玉;Sangiovanni-Vincentelli,Alberto L。;Sanjit A.Seshia。 相关软件: 阿波罗;验证;卡拉… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);数值分析(65-XX)…
OntoDebug(开始调试) 4份文件引用(2018年-2023年) 软件作者: Schekotihin、Konstantin;Patrick Rodler;沃尔夫冈·施密德 相关软件: 颗粒;MERGEXPLAIN公司;赫密特… 主要字段: 计算机科学(68-XX)
OrCAD PSpice 4份文件引用(2010–2018) 软件作者: Informer技术公司。 相关软件: Matlab;香料;Sprott的软件… 主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);系统理论;控制(93-XX)…
TensorFuzz公司 引用于2份文件(2020–2021) 软件作者: 奥古斯塔斯·奥德纳(Augustus Odena)、伊恩·古德费罗(Ian Goodfellow) 相关软件: DeepXlore;深度规;DLFuzz… 主要字段: 计算机科学(68-XX)
焦点检查 引用于2份文件(2005–2006) 软件作者: 柯蒂斯·W·凯勒。;Diptikalyan Saha;萨米克·巴苏;斯科特·斯莫尔卡。 相关软件: 卫星抗体;奥兹;DiVer… 主要字段: 计算机科学(68-XX)
VIFID/TRIFID公司 引用于2份文件(2009–2016) 软件作者: 曼纽尔·卡罗;曼努埃尔·赫尔梅内吉尔多 相关软件: DiSCiPl;Oz Explorer;COMET… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
菲亚克 1份文件引用(2022) 软件作者: Fröhler,B。;Elberfeld,T。;Möller,T。;黑格,H。;韦森伯克,J。;De Beenhouwer,J。;Sijbers,J。;Kastner,J。;海因策,C。 相关软件: Starviewer;孔隙度分析仪;MetaTracts… 主要字段: 可变形固体力学(74-XX);信息与通信理论,电路(94-XX)
图4代码 在0个文档中引用 软件作者: 易卜拉欣·阿卜杜拉齐兹(Ibrahim Abdelaziz)、朱利安·杜比(Julian Dolby)、詹姆斯·麦库斯克(James P.McCusker)、卡维塔·斯里尼瓦斯(Kavitha Srinivas) 相关软件: SABER公司;PQL;DynaMine… 主要字段: –
JavaPDG软件 1份文件引用(2018) 软件作者: Shu G、Sun B、Henderson TA、Podgurski A 相关软件: 准确指出;信息;暗黑破坏神… 主要字段: 计算机科学(68-XX)
PerfXplain公司 1份文件引用(2022) 软件作者: Nodira Khoussainova、Magdalena Balazinska、Dan Suciu 相关软件: DeepLog;自动诊断;TensorFlow… 主要字段: 计算机科学(68-XX)