莫伊斯+ 18篇文献引用(2000–2019) 软件作者： 乔米·弗雷德·胡布纳（Jomi Fred Hübner）；詹姆·西芒·西赫曼；奥利维尔·博西耶 相关软件： 杰森；岛国；NuSMV… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
ICENI公司 4份文件引用(2002–2010) 软件作者： Nathalie Furmento；安东尼·梅耶（Anthony Mayer）；斯蒂芬·麦高（Stephen McGough）；史蒂文·纽豪斯（Steven Newhouse）；托尼·菲尔德（Tony Field）；约翰·达林顿 相关软件： Condor-G；仙人掌；网格信息软件… 主要字段： 计算机科学（68-XX）