橡皮擦 36篇文献引用(2000–2021) 软件作者: Savage,S.、Burrows,M.、Nelson,G.、Sobalvarro,P.、Anderson,T。 相关软件: veriSoft;RacerX;班德拉… 主要字段: 计算机科学(68-XX)
爪哇风扇 30篇文献引用(2004年至2018年) 软件作者: 阿扎德·法尔赞;陈峰;何塞·梅塞盖尔;格里高·罗什乌 相关软件: 莫德;K校准仪;MMT… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
巴黎证券交易所 7份文件引用(2010–2021) 软件作者: 比尼亚,C。;库马尔,S。;辛格,J.P。;Li,K。 相关软件: 溅射-2;ALPBeck;LLVM… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
VerCors公司 12份文件引用(2014–2023) 软件作者: 阿米吉,阿夫申;斯特凡·布洛姆;赛义德·达拉比;赫斯曼(Marieke Huisman);沃伊切赫·莫斯托夫斯基;玛丽娜·扎哈里耶瓦·斯托亚诺夫斯基 相关软件: 蝰蛇;布吉;Dafny… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
HPCTOOLKIT公司 6篇文献引用(2010–2022) 软件作者: L.Adhianto;S.Banerjee;M.Fagan;M.克伦特尔;G.马林;J.Mellor-Crummey;N.R.塔伦特 相关软件: TAU;Scalasca;PARAVER… 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…
金发姑娘 9份文件引用(2009–2017) 软件作者: Elmas,T.、Qadeer,S.、Tasiran,S。 相关软件: 橡皮擦;雾化器;快速通道… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
地球——曼纳 4份文件引用(2002–2004) 软件作者: 安吉拉·苏丹。 相关软件: Multilisp;西尔克;NAS并行基准… 主要字段: 数值分析(65-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
单轨 6篇文献引用(2009–2017) 软件作者: 凯特林·萨多夫斯基;斯蒂芬·弗伦德(Stephen N.Freund);科马克·弗拉纳根 相关软件: 雾化器;速度记录;烟尘… 主要字段: 计算机科学(68-XX)
G空间 引用于3份文件(2015–2022) 软件作者: Mai Zheng、Vignesh T.Ravi、Feng Qin、Gagan Agrawal 相关软件: CUDA;GKLEE;GPU验证… 主要字段: 数学逻辑与基础(03-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…
层压 4份文件引用(2017–2022) 软件作者: Roy I、Porter DE、Bond MD、McKinley KS、Witchel E 相关软件: JFlow;JRIF;Jif… 主要字段: 计算机科学(68-XX)
MetaFork公司 引用于3份文件(2017–2022) 软件作者: Chen,C.,Chen,X.,Keita,A.,Moreno Maza,M.,Xie,N。 相关软件: 生物模型;HOM4PS;多面体… 主要字段: 代数几何(14-XX);凸和离散几何(52-XX);数值分析(65-XX)…
多种族 1份文件引用(2017) 软件作者: 埃利·波兹尼安斯基(Eli Pozniansky),阿萨夫·舒斯特(Assaf Schuster) 相关软件: 螺纹消毒剂;CDS检查器;ktsan… 主要字段: 计算机科学(68-XX)
LCT公司 1份文件引用(2016) 软件作者: Kähkönen,K。;Launiainen,T。;萨里基维,O。;Kauttio,J.等人。;Heljanko,K。;尼美拉,我 相关软件: 薄片;LLVM;STP… 主要字段: 计算机科学(68-XX)