ASTRAL公司 16篇文献引用(1992–2006) 软件作者: 贾科莫·博纳诺;科恩·波里西尼,阿尔贝托;威廉·福纳西亚里 相关软件: 克罗诺斯;Uppaal;高科技… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);系统论;控制(93-XX)
熔岩 11份文件引用(2002–2018) 软件作者: Bjesse,P.、Claessen,K.、Sheeran,M.、Singh,S。 相关软件: 哈斯克尔;muFP;Coquet… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
ISDL公司 8份文件引用(2001–2006) 软件作者: 乔治·哈吉伊安尼斯(George Hadjiyiannis);西尔维娜·哈诺诺;斯里尼瓦斯·德瓦达斯 相关软件: FFmpeg;酯类;MIMOLA… 主要字段: 计算机科学(68-XX)
Verilog公司 引用于9份文件(1999–2020) 软件作者: 斯图亚特·萨瑟兰 相关软件: VPI;电源保护;卡米… 主要字段: 数值分析(65-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
VESTA公司 10篇文献引用(2006–2016) 软件作者: 艾伦·海登、罗伊·莱文、蒂莫西·曼、袁瑜 相关软件: OCaml;Freshml;ULM… 主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
盖泽尔 6篇文献引用(2002–2018) 软件作者: 迈克尔·汉森(Michael R.Hansen)。;Madsen,Jan;布雷克林(Aske Wiid Brekling) 相关软件: Uppaal;克罗诺斯;UPPAAL TIGA… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
皮纳帕 4份文件引用(2008–2011) 软件作者: Moy,M.、Maraninchi,F.、Maillet-Contoz,L。 相关软件: 系统C;veriSoft;酯类… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);系统论;控制(93-XX)…
SAFL公司 5份文件引用(2000–2007) 软件作者: 阿兰·迈克罗夫特(Alan Mycroft);理查德·夏普 相关软件: 手柄-C;系统C;Cayenne… 主要字段: 计算机科学(68-XX)
CoSA公司 2份文件引用(2020–2022) 软件作者: Mattarei,C.、Mann,M.、Barrett,C.等人。 相关软件: 尤瑟斯;BtorMC;Pono… 主要字段: 计算机科学(68-XX)
普尔 3份文件引用(2003–2022) 软件作者: Theelen,B.D。;Voeten,J.P.M。;R.D.J.克莱默。 相关软件: 蟒蛇;TypeScript;酯类… 主要字段: 计算机科学(68-XX)
三叉戟 1份文件引用(2015年) 软件作者: Tripp,J.L.,Gokhal,M.B.,Peterson,K.D。 相关软件: CHStone公司;MiBench公司;熔岩… 主要字段: 计算机科学(68-XX)
BWI罐 1份文件引用(2019) 软件作者: 坎德尔瓦尔、S.张、J.辛纳波夫、M.莱昂内蒂、J.托马森、F.杨、I.戈里、M.斯维特利克、P.坎特、V.利夫施奇茨、J.阿加瓦尔、R.穆尼、P.斯通 相关软件: 人民;克林孔;PDDL… 主要字段: 计算机科学(68-XX)
流体防火阀 2份文件引用(2020–2022) 软件作者: C.T.雅各布斯,M.D.皮戈特 相关软件: PETSc/TS;ADCIRC;FEniCS… 主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)
原型Quipper-M 2份文件引用(2018–2022) 软件作者: 里奥斯,弗朗西斯科;彼得·塞林格 相关软件: 奎珀;哈斯克尔 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…
稳定的 2份文件引用(2014–2018) 软件作者: Pavlenko,E。;韦德勒,M。;斯托菲尔,D。;Kunz,W。;等。 相关软件: 单一;宠物老板;ABC… 主要字段: 交换代数(13-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
xMAML公司 在0个文档中引用 软件作者: Lallet,J.、Pillement,S.、Sentieys,O。 相关软件: OCaml;FPath;通过ADL… 主要字段: 计算机科学(68-XX)
TXP公司 1份文件引用(2005) 软件作者: Dudani,S.、Geada,J.、Jakacki,G.、Vainer,D。 相关软件: Java-MaC;LTL2BA;自旋蛋白 主要字段: 计算机科学(68-XX)
v2c版本 1份文件引用(2019) 软件作者: Mukherjee,R.,Tautschnig,M.,Kroening,D。 相关软件: 火焰;PIPS;萨马图利亚塔… 主要字段: 计算机科学(68-XX)