莫德 646份文件引用(1984–2023) 软件作者： 克拉维尔，M。；杜兰，F。；艾克，S。；林肯，P。；新墨西哥州马丁·奥列特。；莫德团队 相关软件： OBJ咖啡馆；OBJ3；ELAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
莫德-NPA 39篇文献引用(2009–2023) 软件作者： 圣地亚哥埃斯科瓦尔；梅多斯，凯瑟琳作者简介；何塞·梅塞盖尔；圣地亚哥，索尼娅 相关软件： 莫德；塔马林；AVISPA… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
CiME公司 38篇文献引用(1997–2022) 软件作者： Évelyne Contejean、Claude Marché、Andrei Paskevich、Xavier Urbain 相关软件： AProVE；蒂罗尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
日本运通银行 25篇文献引用(2002–2022) 软件作者： 克劳斯·哈维隆德；格里高·罗什乌 相关软件： Java路径查找器；莫德；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
爪哇风扇 在30份文件中引用(2004–2018) 软件作者： 阿扎德·法尔赞；陈峰；何塞·梅塞盖尔；格里高·罗什乌 相关软件： 莫德；K校准仪；MMT… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
MTT公司 27篇文献引用(2008–2023) 软件作者： Durán，F.，Lucas，S.，Meseguer，J。 相关软件： 莫德；AProVE；OBJ3… 主要字段： 一般性和全局性主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
K工具 引用于20份文件(2010–2022) 软件作者： 大卫·拉扎尔（David Lazar）、安德烈·阿鲁索艾（Andrei Arusoaie）、特拉安·弗洛林·埃尔布努（Traian Florinöerbţnu）、丘奇·埃利森（Chucky Ellison）、拉杜·梅雷塔（Radu Mereuta）、多雷尔·卢卡努（Dorel Lucan 相关软件： K校准仪；莫德；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
聚乙烯醇水杨酸 14篇文献引用（2011年-2023年） 软件作者： AlTurki，M.，Meseguer，J 相关软件： 莫德；PMaude；VESTA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
D装货商 12份文件引用(2009–2023) 软件作者： 阿德里安·里斯科；阿尔贝托·维尔德乔（Alberto Verdejo）；马丁·奥列特，纳西索；拉斐尔·卡巴列罗 相关软件： 莫德；阿尼玛；Web-TLR… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MMT公司 13份文件引用(2007–2019) 软件作者： Fabricio Chalub；克里斯蒂亚诺·布拉加 相关软件： 莫德；K校准仪；JavaFAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
驯鹿 14篇文献引用(2004–2012) 软件作者： O.Fissoor、I.Gneedig、H.Kirchner 相关软件： 莫德；AProVE；ELAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
合同专用条款 12份文件引用(2005–2022) 软件作者： 乔·亨德里克斯；Manuel Clavel；何塞·梅塞盖尔 相关软件： 莫德；ITP；咖啡OBJ… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
K-Maude公司 11份文件引用(2010–2021) 软件作者： ⑩erbénuţ\355 ;Ņé，Traian Florin；格里高·罗什乌 相关软件： 莫德；K校准仪；K工具… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
第3章 在10份文件中引用(2010–2020) 软件作者： 弗朗西斯科·杜兰；何塞·梅塞盖尔 相关软件： 莫德；CRC 3；MTT… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）…
时刻2 9份文件引用(2010–2016) 软件作者： 阿图尔·博罗纳特；彼得·科萨巴·奥尔韦茨基 相关软件： 莫德；ITP/OCL；托勒密… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Java+ITP 7份文件引用(2007–2013) 软件作者： Sasse，R.，Meseguer，J。 相关软件： 莫德；爪哇风扇；K校准仪… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
腹板-TLR 5份文件引用(2011–2016) 软件作者： 阿尔普恩特，玛丽亚；巴利斯、德米斯；哈维尔·埃斯佩特；丹尼尔·罗梅罗 相关软件： 莫德；iJulienne；动画… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ITP/OCL公司 5份文件引用(2011–2016) 软件作者： Manuel Clavel；玛丽娜·埃加 相关软件： 莫德；时刻2；咖啡OBJ… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
艾朱利安 5份文件引用(2014–2020) 软件作者： 阿尔普恩特，玛丽亚；巴利斯、德米斯；弗朗西斯科·弗雷奇纳；朱莉娅·萨皮娜 相关软件： 莫德；Web-TLR；动画… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
增量CCS 4份文件引用(2015–2020) 软件作者： 马耳他州洛豪；Stephan Mennicke；Hauke Baller；拉尔斯·里贝克 相关软件： VMC；自旋蛋白；莫德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
Dist兽人 5份文件引用(2011–2015) 软件作者： 穆萨布·阿尔图尔基；何塞·梅塞盖尔 相关软件： 莫德；爪哇风扇；Java+ITP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MFE公司 4份文件引用(2012–2023) 软件作者： 弗朗西斯科·杜兰；卡米洛·罗查；何塞·M·阿尔瓦雷斯。 相关软件： 莫德；ITP；P审计… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
皮尔洛 4份文件引用(2014–2022) 软件作者： 贝尔茨纳，伦茨；德尼古拉（De Nicola）、罗科（Rocco）；安德烈·范丁（Andrea Vandin）；马丁·威尔辛 相关软件： MultiVeStA；SCEL；莫德… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
PSMaude公司 4份文件引用(2013–2023) 软件作者： 卢西安·本蒂亚（Lucian Bentea）；彼得·塞巴·奥维茨基 相关软件： PMaude；莫德；PVeStA… 主要字段： 计算机科学（68-XX）
AADL公司 3份文件引用(2012–2016) 软件作者： Kyungmin Bae、Peterlveczky、JoséMeseguer 相关软件： 电子LOTOS；GRL；LNT2LOTOS… 主要字段： 计算机科学（68-XX）
ABETS公司 4份文件引用(2016–2023) 软件作者： Alpunte，M。；Frechina，F.作者简介；萨皮尼亚，J。；D.巴利斯。 相关软件： 莫德；GLINTS公司；MTT… 主要字段： 计算机科学（68-XX）
咖啡馆数量 3份文件引用(2017–2020) 软件作者： 阿德里安·里斯科；绪方和弘；Kokichi Futatsugi公司 相关软件： 莫德；OBJ咖啡馆；CiMPG… 主要字段： 计算机科学（68-XX）
GLINTS公司 4份文件引用(2019–2023) 软件作者： 玛丽亚·阿尔普特（María Alpunte）、安吉尔·昆卡-奥尔加（Angel Cuenca-Ortega）、圣地亚哥·埃斯科瓦尔（Santiago Escobar）、朱莉娅·萨皮尼亚（Julia Sapiña） 相关软件： 莫德；ABETS；MTT… 主要字段： 一般代数系统（08-XX）；计算机科学（68-XX）
HI-Maud（高强度） 1份文件引用(2015) 软件作者： 穆罕默德·法德利西亚（Muhammad Fadlisyah）；彼得·塞巴·奥维茨基 相关软件： 莫德；莫德-NPA；P审计… 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）
流氓 3份文件引用（2010年至2013年） 软件作者： 希尔斯，马克；Paul Klint；Jurgen J.文朱。 相关软件： 莫德；Stratego；Xtext… 主要字段： 数学逻辑与基础（03-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；液化哈斯克尔… 主要字段： 一般性和全局性主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）
NC-Maude公司 2份文件引用(2014–2023) 软件作者： 马克·博伊尔 相关软件： COINC公司；RTC工具箱；科雷利… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；系统论；对照组（93-XX）；信息与通信理论，电路（94-XX）
tccp公司 3份文件引用(2009–2013) 软件作者： 阿列克谢·莱斯卡伊勒（Alexei Lescaylle）；艾丽西亚·维拉纽埃娃 相关软件： CC Pi；GHC；酯类… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
CBabel公司 2份文件引用(2005–2009) 软件作者： 亚历山大·雷德梅克；克里斯蒂亚诺·布拉加；亚历山大·斯塔金伯格 相关软件： 莫德；GraphML；SLMC… 主要字段： 计算机科学（68-XX）
DyNetiKAT公司 2份文件引用(2022) 软件作者： 乔治亚娜·卡尔泰斯；侯赛因霍贾特；穆萨维、穆罕默德·雷扎；昆卡罐Tunç 相关软件： NetKAT；蟒蛇；莫德… 主要字段： 计算机科学（68-XX）
充满活力的 在0个文档中引用 软件作者： Maude Wagner、Ana W.Capuano、Emmanuelle彗星 相关软件： FlexParamCurve；程序NLMIXED；WinBUGS… 主要字段： –