MRMC公司 71篇文献引用(2006–2023) 软件作者： Joost-Pieter Katoen；亚琛工业大学 相关软件： 棱镜；Uppaal；CADP… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
铲刀 30篇文献引用(2000–2023) 软件作者： 彼得·哈里森（Peter G.Harrison）。；本·斯特鲁洛 相关软件： 政治公众人物协议；考德；ipc… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
石匠 14篇文献引用(2009–2023) 软件作者： Luke S.、Cioffi-Revilla C.、Panait L.、Sullivan K.、Balan G。 相关软件： 就餐套房；NetLogo；Mesa… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…