数学参考文献

1. Arias，Joaqueín；Carro，Manuel:使用表列CLP*评估抽象解释算法的实施情况*（2019年）
2. Lipton，James；Nieva，Susana:用于约束逻辑编程语言的高阶类型理论的Kripke语义（2018）
3. Liqat，Umer；Banković，Zorana；Lopez Garcia，Pedro；Hermenegildo，Manuel V.：通过基本区块的静态程序分析和演化建模推断能量边界（2018年）
4. Lopez Garcia，P.；Darmawan，L.；Klemen，M.；Liqat，U.；Bueno，F.；Hermenegildo，M.V.：基于区间的资源使用验证（通过转换为Horn条款和能源消耗应用）（2018年）
5. Schulze Frielinghaus，Stefan；Seidl，Helmut；Vogler，Ralf：强制终止过程间分析（2018）
6. Straccia，Umberto；Bobillo，Fernando:从模糊到注释语义web语言（2017）
7. García-Contreras，Isabel；Morales，JoséF.；Hermenegildo，Manuel V.：语义代码浏览（2016）
8. Haemmerlé，R.；López García，P.；Liqat，U.；Klemen，M.；Gallagher，J.P.；Hermenegildo，M.V.：参数累积成本静态分析的转换方法（2016年）
9. Lopez Garcia，P.；Klemen，M.；Liqat，U.；Hermenegildo，M.V.：参数资源使用静态分析的一般框架（2016年）
10. Morales，JoséF.；Carro，Manuel；Hermenegildo，Manuel:Prolog方言中抽象机器的描述和优化（2016）
11. Stulova，Natalia；Morales，JoséF.；Hermenegildo，Manuel V.：通过不引人注目的属性缓存进行实际运行时检查（2015）
12. Serrano，A.；Lopez Garcia，P.；Hermenegildo，M.V.：通过使用大小类型进行抽象解释的逻辑程序的资源使用分析（2014）
13. Albert，Elvira；Arenas，Puri；Genaim，Samir；Puebla，German；Zanardini，Damiano:面向对象字节码程序的成本分析（2012）
14. Lopez Garcia，Pedro；Darmawan，Luthfi；Bueno，Francisco；Hermenegildo，Manuel:基于区间的资源使用验证：形式化和原型（2012）
15. Albert，Elvira；Arenas，Puri；Genaim，Samir；Puebla，Germanán:静态成本分析中的封闭式上界（2011）
16. 卢伦金：逻辑程序的多态型依赖分析（2011）
17. Sáenz-Pérez，Fernando:DES:演绎数据库系统（2011）ioport公司
18. Lopez Garcia，Pedro；Bueno，Francisco；Hermenegildo，Manuel:使用模式和类型分析的逻辑程序确定性和互斥性的自动推理（2010）
19. Lopez Garcia，Pedro；Darmawan，Luthfi；Bueno，Francisco:资源使用属性验证和调试框架：资源使用验证（2010）
20. Cousot，Patrick；Cousot，Radhia；Giacobazzi，Roberto：《基于解析的语义的抽象解释》（2009）