CoLoSS公司 13份文件引用(2009–2020) 软件作者： G.Calin、R.Myers、D.Pattinson、L.Schröder 相关软件： FaCT++；颗粒；伊莎贝尔… 主要字段： 数理逻辑与基础（03-XX）；凸几何和离散几何（52-XX）；计算机科学（68-XX）…
DyNetiKAT公司 2份文件引用(2022) 软件作者： 乔治亚娜·卡尔泰斯；侯赛因·霍贾特；穆萨维、穆罕默德·雷扎；昆卡罐Tunç 相关软件： NetKAT；蟒蛇；莫德… 主要字段： 计算机科学（68-XX）