马丁·霍夫曼;洛伦兹·勒特盖布;大卫·奥布瓦勒;格奥尔格·莫瑟;弗洛里安·祖勒格 对数摊销复杂度的基于类型的分析。 (英语) Zbl 1517.68070号 数学。结构。计算。科学。 32,编号6,794-826(2022).MSC公司:68甲18 03B38型 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Hofmann}等人,《数学》。结构。计算。科学。32,编号6,794--826(2022;Zbl 1517.68070) 全文: 内政部 arXiv公司
尼尔斯·洛曼;费比安·梅耶;吉尔根·吉斯尔 基于三角弱非线性循环的整数程序复杂性自动分析。 (英语) Zbl 07628219号 Blanchette,Jasmin(编辑)等人,《自动推理》。第十一届国际联合会议,2022年8月8日至10日,以色列海法,IJCAR 2022。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13385, 734-754 (2022).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{N.Lommen}等人,Lect。注释计算。科学。13385,734--754(2022;Zbl 07628219) 全文: 内政部 arXiv公司
陆天汉;Chang,Bor Yuh Evan;阿舒托什·特里维迪 选择性缓冲资源边界。 (英语) Zbl 1497.68117号 Drágoi,Cezara(编辑)等人,《静态分析》。第28届国际研讨会,SAS 2021,美国伊利诺伊州芝加哥,2021年10月17日至19日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12913, 286-307 (2021).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.Lu}等人,Lect。注释计算。科学。12913,286--307(2021;Zbl 1497.68117) 全文: 内政部 arXiv公司
艾尔维拉·阿尔伯特;萨米尔·根奈姆;恩里克·马丁·马汀;艾丽西亚·梅拉约;阿尔伯特·鲁比奥 使用回路专门化和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年;Zbl 1493.68098) 全文: 内政部
洛伦兹·勒特盖布;格奥尔格·莫瑟;弗洛里安·祖勒格 ATLAS:自动摊销自调整数据结构的复杂性分析。 (英语) Zbl 1493.68129号 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:施普林格。莱克特。注释计算。科学。12760, 99-122 (2021).MSC公司:68第05页 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{L.Leutgeb}等人,Lect。注释计算。科学。12760,99-122(2021;Zbl 1493.68129) 全文: 内政部
阿米尔·本·阿姆拉姆。;杰夫·汉密尔顿 多项式空间中循环程序的紧多项式界。 (英语) Zbl 07471667号 日志。方法计算。科学。 17,第4号,第7号论文,51页(2021年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Ben-Amram}和\textit{G.Hamilton},Log。方法计算。科学。17,第4号,第7号论文,51页(2021;Zbl 07471667) 全文: arXiv公司 链接
瞿伟浩;马可·加博阿迪;迪帕克·加格 功能命令环境中的关系成本分析。 (英语) Zbl 07453895号 J.功能。程序。 31,论文编号e27,62 p.(2021).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{W.Qu}等人,J.Funct。程序。31,论文编号e27,62 p.(2021;Zbl 07453895) 全文: 内政部 arXiv公司
托马斯·帕尼;格奥尔格·魏森巴赫;弗洛里安·祖勒格 参数化并发共享内存程序的可靠性保证界分析。应用于证明非阻塞算法是有界无锁的。 (英语) Zbl 1522.68161号 形式方法系统。设计。 57,第2期,270-302(2021).MSC公司:68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Pani}等人,《形式方法系统》。设计。57,第2号,270--302(2021;Zbl 1522.68161) 全文: 内政部
奥伦·伊什·沙洛姆;沙迦·伊扎基;诺姆·里内茨基;莎伦·肖姆 使用挤压器的运行时复杂性边界。 (英语) Zbl 1473.68046号 Yoshida,Nobuko(编辑),《编程语言和系统》。2021年3月27日至4月1日,作为欧洲软件理论与实践联合会议(ETAPS 2021)的一部分,在卢森堡卢森堡市举行了第30届欧洲编程研讨会(ESOP 2021)。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12648, 320-347 (2021).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Ish Shalom}等人,Lect。注释计算。科学。12648,320-347(2021;Zbl 1473.68046) 全文: 内政部
费比安·梅耶;马塞尔·哈克;吉尔根·吉斯尔 使用预期大小推断概率整数程序的预期运行时间。 (英语) Zbl 1467.68066号 Groote,Jan Friso(编辑)等人,《系统构建和分析的工具和算法》。第27届国际会议,TACAS 2021,作为欧洲软件理论与实践联合会议的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12651, 250-269 (2021).MSC公司:65年第68季度 90立方厘米 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Meyer}等人,Lect。注释计算。科学。12651,250-269(2021;Zbl 1467.68066) 全文: 内政部 arXiv公司
艾尔维拉·阿尔伯特;雷纳·哈内尔;艾丽西亚·梅拉约;多米尼克·施泰因霍费尔 经认证的抽象成本分析。 (英语) 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 1442.68154号 Goubault-Larrecq,Jean(编辑)等人,《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12077, 622-641 (2020).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Zuleger},莱克特。注释计算。科学。12077、622--641(2020;Zbl 1442.68154) 全文: 内政部 arXiv公司
大卫·M·卡恩。;霍夫曼,简 指数自动摊销资源分析。 (英语) Zbl 07250947号 Goubault-Larrecq,Jean(编辑)等人,《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020,作为欧洲软件理论与实践联合会议的一部分,于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12077, 359-380 (2020).MSC公司:68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{D.M.Kahn}和\textit{J.Hoffmann},莱克特。注释计算。科学。12077、359--380(2020;Zbl 07250947) 全文: 内政部 arXiv公司
阿米尔·本·阿姆拉姆。;杰夫·汉密尔顿 循环程序的紧多项式最坏情况边界。 (英语) Zbl 1528.68076号 日志。方法计算。科学。 16,第2号,第4号文件,第39页(2020).MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.M.Ben-Amram}和\textit{G.Hamilton},Log。方法计算。科学。16,第2号,第4号论文,39页(2020年;Zbl 1528.68076) 全文: arXiv公司 链接
本杰明·利希特曼;简·霍夫曼 资源感知ML中的数组和引用。 (英语) Zbl 1441.68018号 Miller,Dale(编辑),第二届计算和演绎形式结构国际会议。FSCD 2017,英国牛津,2017年9月3-9日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84,第26条,第20页(2017年)。MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{B.Lichtman}和\textit{J.Hoffmann},LIPIcs——莱布尼茨国际程序。通知。84,第26条,第20页(2017;Zbl 1441.68018) 全文: 内政部
艾尔维拉·阿尔伯特;弗洛雷斯·蒙托亚,安东尼奥;萨米尔·根奈姆;恩里克·马丁·马汀 具有并发交织的环路的可靠保证端接和成本分析。 (英语) Zbl 1409.68071号 J.汽车。推理 59,第1号,47-85(2017).MSC公司:68号30 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,J.Autom。推理59,No.1,47--85(2017;Zbl 1409.68071) 全文: 内政部
莫里茨·辛恩;弗洛里安·祖勒格;赫尔穆特·维思 使用差异约束的命令式程序的复杂性和资源限制分析。 (英语) Zbl 1409.68076号 J.汽车。推理 59,第1期,第3-45页(2017年).MSC公司:68号30 65年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Sinn}等人,J.Autom。推理59,No.1,3--45(2017;Zbl 1409.68076) 全文: 内政部