马塞尔·穆斯布鲁克;埃齐奥·巴托西;Joost-Pieter卡托恩;劳拉·科瓦奇 概率终止工具呈琥珀色。 (英语) Zbl 07785152号 形式方法系统。设计。 61,第1期,90-109(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Moosbrugger}等人,《形式方法系统》。设计。61,第1号,90--109(2022;Zbl 07785152) 全文: 内政部 arXiv公司 OA许可证
蒂姆·夸特曼;塞巴斯蒂安·荣格斯;Joost-Pieter卡托恩 多目标马尔可夫自动机。 (英语) Zbl 1522.68345号 形式方法系统。设计。 60,编号1,33-86(2022).MSC公司:60年第68季度 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Quatmann}等人,《形式方法系统》。设计。60,编号1,33--86(2022;Zbl 1522.68345) 全文: 内政部 arXiv公司
安东·威伊斯;Joost-Pieter卡托恩;博什纳奇·德拉甘 高效的GPU算法,用于将图并行分解为强连通和最大端点分量。 (英语) Zbl 1404.68204号 形式方法系统。设计。 48,第3号,274-300(2016).MSC公司:68宽10 05C40号 05C85号 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{A.Wijs}等人,《形式方法系统》。设计。48,第3号,274--300(2016;Zbl 1404.68204) 全文: 内政部
乔纳森·海宁;克里斯蒂娜·詹森;Joost-Pieter卡托恩;诺尔,托马斯 Juggrnaut:使用图形语法抽象无限堆结构。 (英语) Zbl 1341.68033号 形式方法系统。设计。 第2号第47页,第159-203页(2015年).MSC公司:68第05页 68号30 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Heinen}等人,《形式方法系统》。设计。47,No.2,159--203(2015;Zbl 1341.68033) 全文: 内政部
恩斯特·莫里茨·哈恩;阿恩·哈特曼斯;霍尔格·赫尔曼斯;Joost-Pieter卡托恩 随机混合系统的组合建模和分析框架。 (英语) Zbl 1291.68293号 形式方法系统。设计。 43,第2期,191-232(2013).MSC公司:87年第68季度 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Hahn}等人,《形式方法系统》。设计。43,第2号,191--232(2013;Zbl 1291.68293) 全文: 内政部
克里斯特尔·拜尔;布,露西娅;Boudewijn R.哈维尔科特。;霍尔格·赫尔曼斯;Joost-Pieter卡托恩 通过马尔可夫报酬模型的模型检查进行性能评估。 (英语) Zbl 1209.68309号 形式方法系统。设计。 36,第1期,1-36页(2010年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《形式方法系统》。设计。36,第1号,1-36(2010;Zbl 1209.68309) 全文: 内政部 链接