拍 34份文件引用(2011–2022) 软件作者： 孙军、刘洋、董金松、庞军 相关软件： Uppaal；自旋蛋白；ProB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
YASM公司 15篇文献引用(2006–2023) 软件作者： Arie Gurfinkel、Ou Wei、Marsha Chechik 相关软件： SLAM；爆炸；CUDD… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
蛋白石 6篇文献引用(2012–2021) 软件作者： Dalsgaard，A.E.、Hansen，R.R.、Jörgensen，K.Y.、Larsen，K.G.、Olesen，M.C.、Olsen，P.、Srba，J。 相关软件： Uppaal；算法97；GitHub… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
C-SHORe公司 6篇文献引用(2013–2017) 软件作者： 克里斯托弗·布劳德本特（Christopher Broadbent）；Carayol，阿诺；马修·黑格；奥利维尔·塞雷 相关软件： AProVE；廷巴克；MoCHi… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
表格/3 2份文件引用(2001–2020) 软件作者： 玛格丽特·伯内特；约翰·阿特伍德（John Atwood）；Djang、Rebecca Walpole；詹姆斯·雷奇温（James Reichwein）；Herkimer Gottfried；杨雪莉 相关软件： VTK；Gencel公司；超级对撞机… 主要字段： 计算机科学（68-XX）
焦点检查 2份文件引用（2005年至2006年） 软件作者： 柯蒂斯·W·凯勒。；Diptikalyan Saha；萨米克·巴苏；斯科特·斯莫尔卡。 相关软件： 卫星抗体；奥兹；DiVer… 主要字段： 计算机科学（68-XX）
TM单元 2份文件引用(2010–2018) 软件作者： Harmanci，D。；Felber，P。；格拉莫利，V。；费泽尔，C。 相关软件： 印章；NOrec；TLRW… 主要字段： 计算机科学（68-XX）
繁荣 在0个文档中引用 软件作者： Gerard Basler；马修·黑格；Daniel Kroening；Ong，C.H.卢克；托马斯·沃尔（Thomas Wahl）；赵浩贤 相关软件： 卫星抗体 主要字段： –
CRDT公司 1份文件引用（2020年） 软件作者： 维克托·戈麦斯（Victor B.F.Gomes）；马丁·克莱普曼；多米尼克·P·穆利根（Dominic P.Mulligan）；阿拉斯泰尔·贝雷斯福德 相关软件： github；存档正式证据；布吉 主要字段： 计算机科学（68-XX）
TSViz公司 在0个文档中引用 软件作者： Shoaib Ahmed Siddiqui、Dominik Mercier、Mohsin Munir、Andreas Dengel、Sheraz Ahmed 相关软件： 不在场证明解释；tf-解释；Python… 主要字段： –