政治公众人物 在30份文件中引用(1993–2014) 软件作者： L.Baldo、L.Fernandes、P.Roisenberg、P.Velho、T.Webber 相关软件： 政治公众人物协议；智能_；GTAEXPRESS… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
麦道 1份文件引用（2013年） 软件作者： 乔纳森·博格多尔、亚历山大·戴维、阿恩德·哈特曼斯、霍尔格·赫尔曼斯 相关软件： Uppaal；PHAVer；SpaceEx… 主要字段： 计算机科学（68-XX）