InteGrade公司 2份文件引用(2005–2010) 软件作者: 达席尔瓦·E·席尔瓦,弗朗西斯科·何塞;法比奥·康;Goldman,Alfredo;马塞洛·芬格;De Camargo,Raphael Y。;费尔南多·卡斯托(Fernando Castor);Fábio M.科斯塔。 相关软件: 夏洛特;HTCondor MW;GridSAT… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
HiperTM(嬉皮士TM) 3份文件引用(2017–2023) 软件作者: 雇佣,Sachin;罗伯托·帕尔米耶里(Roberto Palmieri);比诺伊·拉文德兰 相关软件: 埃尔朗;DudeTM;DiSTM… 主要字段: 计算机科学(68-XX)
MR4UM公司 2份文件引用(2013–2019) 软件作者: 陈景舒;桑迪普·库尔卡尼 相关软件: Uppaal;Vertaf;Sycraft… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
BuzzPSS系统 1份文件引用(2020) 软件作者: 努诺·马查多;梅亚,弗朗西斯科;米盖尔·马托斯;鲁伊·奥利维拉 相关软件: ASM;PeerSim;Coq… 主要字段: 计算机科学(68-XX)
EFTOS公司 1份文件引用(1997) 软件作者: Deconick,G。;De Florio,V.公司。;Lauwereins,R。;瓦瓦里古,T。 相关软件: – 主要字段: 计算机科学(68-XX)