莫德 646份文件引用(1984–2023) 软件作者： Clavel，M。；杜兰，F。；艾克，S。；林肯，P。；新墨西哥州马丁·奥列特。；莫德团队 相关软件： OBJ咖啡馆；OBJ3；ELAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
莫德-NPA 引用于39份文件(2009–2023) 软件作者： 圣地亚哥埃斯科瓦尔；梅多斯，凯瑟琳作者简介；何塞·梅塞盖尔；圣地亚哥，索尼娅 相关软件： 莫德；塔马林；AVISPA… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
日本运通银行 25篇文献引用(2002–2022) 软件作者： 克劳斯·哈弗伦德；格里高·罗什乌 相关软件： Java PathFinder；莫德；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MTT公司 27篇文献引用(2008–2023) 软件作者： Durán，F.，Lucas，S.，Meseguer，J。 相关软件： 莫德；AProVE；OBJ3… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
D装货商 12份文件引用(2009–2023) 软件作者： 阿德里安·里斯科；阿尔贝托·维尔德乔（Alberto Verdejo）；马丁·奥列特，纳西索；拉斐尔·卡巴列罗 相关软件： 莫德；阿尼玛；Web-TLR… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
加勒比 14篇文献引用(2004–2012) 软件作者： O.Fissore、I.Gnaedig、H.Kirchner 相关软件： 莫德；AProVE；ELAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
时刻2 9份文件引用(2010–2016) 软件作者： 阿图尔·博罗纳特；彼得·塞巴·奥尔夫茨基 相关软件： 莫德；ITP/OCL；托勒密… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
腹板-TLR 5份文件引用(2011–2016) 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；哈维尔·埃斯伯特；丹尼尔·罗梅罗 相关软件： 莫德；iJulienne公司；动画… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MFE公司 4份文件引用(2012–2023) 软件作者： 弗朗西斯科·杜兰；卡米洛·罗查；何塞·M·阿尔瓦雷斯。 相关软件： 莫德；ITP；P审计… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PSMaude公司 4份文件引用(2013–2023) 软件作者： 卢西安·本蒂亚（Lucian Bentea）；彼得·塞巴·奥维茨基 相关软件： PMaude；莫德；PVeStA… 主要字段： 计算机科学（68-XX）
ABETS公司 4份文件引用(2016–2023) 软件作者： Alpunte，M。；Frechina，F.作者简介；萨皮尼亚，J。；D.巴利斯。 相关软件： 莫德；GLINTS公司；MTT法… 主要字段： 计算机科学（68-XX）
GLINTS公司 4份文件引用(2019–2023) 软件作者： 玛丽亚·阿尔普特（María Alpunte）、安吉尔·昆卡-奥尔加（Angel Cuenca-Ortega）、圣地亚哥·埃斯科瓦尔（Santiago Escobar）、朱莉娅·萨皮尼亚（Julia Sapiña） 相关软件： 莫德；ABETS；MTT法… 主要字段： 一般代数系统（08-XX）；计算机科学（68-XX）
同步AADL2音频 2份文件引用(2015) 软件作者： Bae，K.，Ølveczky，P.C.，Meseguer，J.，Al-Nayeem，A。 相关软件： 莫德；Uppaal公司；TSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
美国汽车制造商协会 3份文件引用（2018年-2020年） 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；朱莉娅·萨皮娜 相关软件： 莫德；ABETS；Liquid Haskell… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）
tccp公司 3份文件引用(2009–2013) 软件作者： 阿列克谢·莱斯卡伊勒（Alexei Lescaylle）；艾丽西亚·维拉纽埃娃 相关软件： CC-Pi；GHC；酯类… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
CBabel公司 2份文件引用（2005-2009年） 软件作者： 亚历山大·雷德梅克；克里斯蒂亚诺·布拉加；亚历山大·斯塔金伯格 相关软件： 莫德；GraphML；SLMC… 主要字段： 计算机科学（68-XX）