ByMC公司 10篇文献引用(2014–2023) 软件作者: Igor Konnov、Marijana Lazic、Helmut Veith、Josef Widder 相关软件: z3;威尔第;旋转… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
Sycraft公司 6篇文献引用(2009–2015) 软件作者: B.Bonakdarpour,S.Kulkarni 相关软件: CUDD;Uppaal;Vertaf… 主要字段: 计算机科学(68-XX);系统论;对照(93-XX)
CheapBFT公司 1份文件引用(2020年) 软件作者: Rüdiger Kapitza、Johannes Behl、Christian Cachin、Tobias Distler、Simon Kuhnle、Seyed Vahid Mohammadi、Wolfgang Schröder 相关软件: MS SQL Server;阿帕奇·卡夫卡;MySQL… 主要字段: 计算机科学(68-XX)
PoWerStore公司 1份文件引用(2017) 软件作者: Dobre,D.,Karame,G.,Li,W.,Majuntke,M.,Suri,N.,Vukolic,M 相关软件: – 主要字段: 计算机科学(68-XX)