状态流 43篇文献引用(1989–2023) 软件作者： MathWorks公司。 相关软件： Simulink；Matlab；托勒密… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
税收 15篇文献引用(2001–2017) 软件作者： 艾蒂安·克劳斯；米歇尔·波伊泽（Michel Poize）；雅克·普鲁；约瑟夫·西法基斯（Joseph Sifakis）；帕特里克·文特 相关软件： Uppaal；克罗诺斯；埃菲尔… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
弗兰 10篇文献引用(1997–2022) 软件作者： 科纳尔·埃利奥特；保罗·哈达克 相关软件： 哈斯克尔；卢斯特；酯类… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；统计学（62-XX）…
莫德哈特 5份文件引用(1997–2017) 软件作者： F.贾汉尼人；A.K.Mok先生 相关软件： 酯类；Uppaal；Kronos… 主要字段： 数学逻辑与基础（03-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
卡尤加 4份文件引用(2012–2022) 软件作者： Alan J.Demers、Johannes Gehrke、Biswanath Panda、Mirek Riedewald、Varun Sharma、Walker M.White 相关软件： 电报CQ；嗅探；StreamQRE… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
仄洛斯 6篇文献引用(2013–2023) 软件作者： 蒂莫西·伯克（Timothy Bourke）、马克·普泽特（Marc Pouzet） 相关软件： Simulink；状态流；LUSTRE… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TeSSLa公司 4份文件引用(2018–2022) 软件作者： 卢卡斯修道院；塞巴斯蒂安·亨格瑞克；Martin Leucker；托本·谢菲尔；施密茨，马尔特；丹尼尔·托马 相关软件： LOLA；蒙保利；副驾驶… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
开放式SFS 1份文件引用(2018) 软件作者： 开放可扩展文件系统公司 相关软件： 火花_DBSCAN；MR-DBSCAN；HPDBSCAN… 主要字段： 统计学（62-XX）；计算机科学（68-XX）