谢尔盖·冈查洛夫;德克·霍夫曼;佩德罗·诺拉;卢茨·施罗德;威尔德,保罗 行为距离的Kantorovich函子和特征逻辑。 (英语) Zbl 07770331号 Kupferman,Orna(编辑)等人,《软件科学和计算结构基础》。第26届国际会议FOSSACS 2023,作为欧洲软件理论与实践联合会议ETAPS 2023的一部分,于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13992, 46-67 (2023).MSC公司:68新元 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Goncharov}等人,Lect。注释计算。科学。13992、46-67(2023年;Zbl 07770331) 全文: 内政部 arXiv公司
乔治·巴奇;乔瓦尼·巴奇;詹森,马蒂亚斯·克劳斯;Larsen,Kim G。 凸晶格方程组。 (英语) Zbl 1528.68206号 Raskin,Jean-François(编辑)等人,《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。13660, 438-455 (2022).MSC公司:60年第68季度 2010年第68季度 第68季度87 91A15型 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,Lect。注释计算。科学。13660438--455(2022年;Zbl 1528.68206) 全文: 内政部
威尔德,保罗;卢茨·施罗德 通过模糊lax扩展的行为半定量特征逻辑。 (英语) Zbl 07566075号 日志。方法计算。科学。 18,第2号,第19号论文,35页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{P.Wild}和\textit{L.Schröder},Log。方法计算。科学。18,第2号,第19号论文,第35页(2022;Zbl 07566075) 全文: arXiv公司 链接
乌里法伦伯格;Legay、Axel;卡琳·夸斯 用定量游戏计算分支距离。 (英语) Zbl 1464.68239号 西奥。计算。科学。 8471934-146(2020).MSC公司:68问题85 65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,Theor。计算。科学。847134-146(2020年;Zbl 1464.68239) 全文: 内政部
乔治·巴奇;乔瓦尼·巴奇;Larsen,Kim G。;拉杜·马达尔 马尔可夫链上双相似距离的完整定量推导系统。 (英语) Zbl 1409.68182号 日志。方法计算。科学。 14,第4号,第15号论文,29页(2018年).MSC公司:68问题85 03B70号 60J20型 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{G.Bacci}等人,日志。方法计算。科学。14,第4号,第15号论文,29页(2018;Zbl 1409.68182) 全文: 内政部 arXiv公司
曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 多维自动机和MSO逻辑。 (英语) 兹比尔1356.68130 理论计算。系统。 59,第2期,231-261(2016).MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste}和\textit{V.Perevoshchikov},理论计算。系统。59,第2号,231--261(2016;Zbl 1356.68130) 全文: 内政部 arXiv公司
马燕芳 软件近似正确性的定量分析。 (英语) Zbl 1394.68077号 数学。问题。工程师。 2015,文章ID 173012,第13页(2015).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ma},数学。问题。Eng.2015,文章ID 173012,13 p.(2015;Zbl 1394.68077) 全文: 内政部
潘海宇;曹永志;张敏;陈一香 格值双标记转移系统的模拟。 (英语) Zbl 1316.68063号 国际J近似推理 55,第3期,797-811(2014).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Pan}等人,《国际近似推理》55,第3期,797--811(2014;Zbl 1316.68063) 全文: 内政部
乌里法伦伯格;Legay、Axel 模态转换系统的一般定量规范理论。 (英语) Zbl 1360.68585号 Acta信息。 51,第5期,261-295(2014).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}和\textit{A.Legay},《信息学报》51,第5期,261--295(2014;Zbl 1360.68585) 全文: 内政部 链接
乌里法伦伯格;Legay、Axel;路易斯·马里·特劳努埃兹 概率和实时系统的规范理论。 (英语) Zbl 1416.68112号 Bensalem,Saddek(编辑)等人,《从程序到系统》。计算中的系统观点。ETAPS研讨会,FPS 2014,纪念约瑟夫·西法克斯,法国格勒诺布尔,2014年4月6日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8415, 98-117 (2014).MSC公司:60年第68季度 68问题85 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,Lect。注释计算。科学。8415,98-117(2014;Zbl 1416.68112) 全文: 内政部
乌里法伦伯格;金·古德斯特兰·拉森;Legay、Axel;路易斯·马里·特劳努埃兹 模态转换系统的参数和定量扩展。 (英语) Zbl 1416.68121号 Bensalem,Saddek(编辑)等人,《从程序到系统》。计算中的系统视角。ETAPS研讨会,FPS 2014,纪念约瑟夫·西法克斯,法国格勒诺布尔,2014年4月6日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8415, 84-97 (2014).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,Lect。注释计算。科学。8415、84-97(2014年;Zbl 1416.68121) 全文: 内政部
乌里法伦伯格;Legay、Axel 定量线性时间分支时间谱。 (英语) Zbl 1359.68191号 西奥。计算。科学。 538, 54-69 (2014).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}和\textit{A.Legay},Theor。计算。科学。538、54-69(2014年;Zbl 1359.68191) 全文: 内政部
塞巴斯蒂安·鲍尔。;乌里法伦伯格;Juhl,线路;Larsen,Kim G。;Legay、Axel;克劳斯·苏兰 加权模态转换系统。 (英语) Zbl 1291.68246号 形式方法系统。设计。 42,第2期,193-220(2013).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人,《形式方法系统》。设计。42,第2号,193--220(2013;Zbl 1291.68246) 全文: 内政部 arXiv公司
Larsen,Kim G。;乌里法伦伯格;克劳斯·苏兰 加权转移系统的度量:公理化和复杂性。 (英语) 兹比尔1216.68191 西奥。计算。科学。 412,第28号,3358-3369(2011).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}等人,Theor。计算。科学。412,第28号,3358--3369(2011;Zbl 1216.68191) 全文: 内政部 链接