LiQuor公司 19份文件引用(2007–2019) 软件作者： – 相关软件： 棱镜；MRMC；拉比尼泽… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
LNT2LOTOS公司 7份文件引用(2012–2022) 软件作者： David Champelovier、Xavier Clerc、Hubert Garavel、Yves Guerte、Frédéric Lang、Christine McKinty、Vincent Powazny、Wendelin Serwe、Gideon Smeding 相关软件： CADP；自旋蛋白；Exp.打开… 主要字段： 计算机科学（68-XX）