艾尔维拉·阿尔伯特;萨米尔·根奈姆;劳尔·古铁雷斯;马丁·马丁，恩里克 利用类型规范推理进行资源分析的转换方法。 （英文） Zbl 1472.68033号 理论与实践。日志。程序。 20，第3号，310-357（2020）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人，《理论与实践》。日志。程序。20，第3号，310-357（2020；Zbl 1472.68033） 全文： 内政部
艾尔维拉·阿尔伯特;普里阿雷纳斯;萨米尔·根奈姆;普埃布拉，德国;达米亚诺·扎纳尔迪尼 面向对象字节码程序的成本分析。 （英文） 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.汽车。推理 46，第2期，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 1317.68027号 Jhala，Ranjit（编辑）等人，《验证、模型检查和抽象解释》。2011年1月23日至25日，第12届国际会议，VMCAI 2011，美国德克萨斯州奥斯汀。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-18274-7/pbk）。计算机科学课堂讲稿6538，38-53（2011）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人，Lect。注释计算。科学。6538，38-53（2011；Zbl 1317.68027） 全文： 内政部
艾尔维拉·阿尔伯特;普里阿雷纳斯;萨米尔·根奈姆;德国普埃布拉 成本分析中递归关系上界的自动推断。 （英文） 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） 全文： 内政部 链接