PSync（同步） 9份文件引用(2016–2023) 软件作者： 塞扎拉奥盖医生；托马斯·亨辛格（Thomas A.Henzinger）。；达米安·祖弗里 相关软件： 威尔第；常春藤；字节码… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
交通 8份文件引用(2015–2022) 软件作者： Udupa，A.、Raghavan，A.、Deshmukh，J.V.、Mador-Haim，S.、Martin，M.M.、Alur，R。 相关软件： CVC4；z3；简单… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
QuIt公司 1份文件引用(2018) 软件作者： 格雷斯，伯恩哈德；劳拉·科瓦奇（Laura Kovács）；西蒙·罗比拉德 相关软件： VAMPIRE公司；InvGen；CVC4… 主要字段： 计算机科学（68-XX）