艾尔维拉·阿尔伯特;科里亚斯，杰苏斯;德国普埃布拉;吉列尔莫·罗曼·迪兹 多域增量分析引擎及其在增量资源分析中的应用。 （英语） Zbl 1327.68076号 西奥。计算。科学。 585, 91-114 (2015).MSC公司：68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人，Theor。计算。科学。585、91——114（2015年；Zbl 1327.68076） 全文： 内政部
艾尔维拉·阿尔伯特;普里阿雷纳斯;萨米尔·根奈姆;普埃布拉，德国;达米亚诺·扎纳尔迪尼 面向对象字节码程序的成本分析。 （英语） Zbl 1236.68042号 西奥。计算。科学。 413，第1期，142-159（2012）.MSC公司：68纳米30 68甲19 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人，Theor。计算。科学。413，第1号，142--159（2012；Zbl 1236.68042） 全文： 内政部
艾尔维拉·阿尔伯特;普里阿雷纳斯;萨米尔·根奈姆;德国普埃布拉 静态成本分析中的闭式上限。 （英语） Zbl 1213.68200号 J.汽车。推理 第2期第46页，第161-203页（2011年）.MSC公司：68纳米30 68号01 PDF格式BibTeX公司 XML格式引用 \textit｛E.Albert｝等人，J.Autom。推理46，No.2，161--203（2011；Zbl 1213.68200） 全文： 内政部
艾尔维拉·阿尔伯特;普里阿雷纳斯;萨米尔·根奈姆;德国普埃布拉 成本分析中递归关系上界的自动推断。 （英语） Zbl 1149.68345号 Alpunte，María（编辑）等人，《静态分析》。2008年7月16日至18日在西班牙巴伦西亚举行的2008年SAS第15届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-69163-1/pbk）。计算机科学课堂讲稿5079221-237（2008）。MSC公司：68纳米30 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人，Lect。注释计算。科学。5079、221--237（2008年；Zbl 1149.68345） 全文： 内政部 链接