×

找到13个文档（结果1-13）

最新的 引文 关联
艾尔维拉·阿尔伯特;萨米尔·根奈姆;马丁·马丁，恩里克;艾丽西亚·梅拉约;阿尔伯特·鲁比奥

使用回路专门化和Max-SMT的下限合成。 （英语） Zbl 1493.68098号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 863-886 (2021).
MSC公司：68号30 60年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{E.Albert}等人，Lect。注释计算。科学。12760863-886（2021年；兹比尔1493.68098）
全文： 内政部
艾尔维拉·阿尔伯特;雷纳·哈内尔;艾丽西亚·梅拉约;多米尼克·施泰因霍费尔

经认证的抽象成本分析。 （英语） Zbl 1467.68034号

Guerra，Esther（编辑）等人，《软件工程的基本方法》，第24届国际会议，FASE 2021，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2021，卢森堡市，2021年3月27日至4月1日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12649, 24-45 (2021).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{E.Albert}等人，Lect。注释计算。科学。12649，24-45（2021；Zbl 1467.68034）
全文： 内政部
艾尔维拉·阿尔伯特;米克尔波菲尔;克里斯蒂娜·博拉莱拉斯;马丁·马丁，恩里克;阿尔伯特·鲁比奥

由（有条件的）终止证明驱动的资源分析。 （英语） Zbl 1434.68101号

理论与实践。日志。程序。 19，编号5-6，722-739（2019）.
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{E.Albert}等人，《理论与实践》。日志。程序。19，编号5--6722--739（2019；Zbl 1434.68101）
全文： 内政部 arXiv公司
艾尔维拉·阿尔伯特;萨米尔·根奈姆;劳尔·古铁雷斯

使用类型规范进行资源分析的转换方法。 （英语） Zbl 1453.68041号

Gupta，Gopal（编辑）等，基于逻辑的程序合成和转换。2013年9月18日至19日在西班牙马德里举行的2013年LOPSTR第23届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。8901, 38-53 (2014).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{E.Albert}等人，Lect。注释计算。科学。8901、38--53（2014；Zbl 1453.68041）
全文： 内政部 arXiv公司 链接
艾尔维拉·阿尔伯特;玛丽亚·加西亚·德·拉班达;米盖尔·戈梅斯·扎马洛亚;何塞·米盖尔·罗哈斯;彼得·斯塔基

用于生成测试用例的CLP堆解算器。 （英语） Zbl 1286.68065号

理论与实践。日志。程序。 13，No.4-5，721-735（2013）.
MSC公司：68号30 68N17号 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{E.Albert}等人，《理论与实践》。日志。程序。13、编号4--5、721--735（2013；Zbl 1286.68065）
全文： 内政部
艾尔维拉·阿尔伯特;萨米尔·根奈姆;阿布·纳赛尔·马苏德

更精确但广泛适用的成本分析。 （英语） 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）
全文： 内政部
艾尔维拉·阿尔伯特;米盖尔·戈梅斯·扎马洛亚;德国普埃布拉

通过CLP部分求值测试字节码的数据生成。 （英语） Zbl 1185.68146号

Michael Hanus（编辑），基于逻辑的程序合成和转换。2008年7月17日至18日在西班牙巴伦西亚举行的2008年LOPSTR第18届国际研讨会。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-00514-5/pbk）。计算机科学课堂讲稿5438，4-23（2009）。
MSC公司：68N17号
PDF格式BibTeX公司 XML格式引用
\textit{E.Albert}等人，Lect。注释计算。科学。5438，4--23（2009年；Zbl 1185.68146）
全文： 内政部 链接
艾尔维拉·阿尔伯特;普里阿雷纳斯;萨米尔·根奈姆;德国普埃布拉

成本分析中递归关系上界的自动推断。 （英语） 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）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件