阿达95 277份文件引用(1979–2023) 软件作者： 让·伊克比亚 相关软件： 调制；埃菲尔；Smalltalk… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
酯类 137篇文献引用(1985–2023) 软件作者： 杰拉德·贝瑞 相关软件： 卢斯特；信号；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
PPL（公私合营） 108篇文献引用（2002年-2023年） 软件作者： 罗伯托·巴格纳拉；利玛窦（Elisa Ricci）；埃纳州扎法内拉；帕特里夏·M·希尔。 相关软件： 高科技；停机坪；ASTREE… 主要字段： 数学逻辑与基础（03-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
信号 51篇文献引用(1987–2020) 软件作者： 诺瓦克，大卫；Jean-Pierre Talpin；蒂埃里·戈蒂埃；保罗·勒格尼 相关软件： 卢斯特；酯类；托勒密… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
洛拉 23篇文献引用(2009–2023) 软件作者： D’Angelo，B。；等。 相关软件： 蒙保利；Java-MOP；LUSTRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
SCADE公司 14篇文献引用(2001–2019) 软件作者： 杰拉德·贝里；Esterel科技 相关软件： Simulink；卢斯特；酯类… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
PSync（同步） 9份文件引用(2016–2023) 软件作者： 塞扎拉奥盖医生；托马斯·亨辛格。；达米安·祖弗里 相关软件： 威尔第；常春藤；ByMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
时代广场 3份文件引用(2015–2016) 软件作者： 朱利安·德安东尼（Julien DeAntoni），弗雷德里克·马莱特（Frédéric Mallet） 相关软件： 酯类；Uppaal公司；信号… 主要字段： 计算机科学（68-XX）
威斯特利亚 4份文件引用(2016–2023) 软件作者： 拉斯托吉，A.，哈默，M.A.，希克斯，M。 相关软件： JustGarble；HyCC；分享者… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；信息与通信理论，电路（94-XX）
简约RaTT 1份文件引用(2023) 软件作者： 帕特里克·巴尔（Patrick Bahr）；Graulund，基督徒；拉斯穆斯·莫格伯格 相关软件： MiniML；效率；阿格达 主要字段： 计算机科学（68-XX）