菲利普·泽纳;斯特凡·贾克斯 广播一致性协议的运行时间分析。 (英语) Zbl 07410424号 Kiefer,Stefan(编辑)等人,《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021,作为欧洲软件理论与实践联合会议ETAPS 2021的一部分,于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12650, 164-183 (2021).理学硕士:68牛顿 68季度xx PDF格式BibTeX公司 XML格式引用 \textit{P.Czerner}和\textit{S.Jaax},莱克特。注释计算。科学。12650164-183(2021;Zbl 07410424) 全文: 内政部 arXiv公司 OA许可证
斯特凡·贾克斯;斯特凡·基弗 关于仿射可达性问题。 (英语) Zbl 07559419号 Esparza,Javier(ed.)等人,第45届计算机科学数学基础国际研讨会,MFCS 2020,2020年8月25日至26日,捷克共和国布拉格。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。170,第48条,第14页(2020年)。理学硕士:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Jaax}和\textit{S.Kiefer},LIPIcs——莱布尼茨国际期刊。通知。170,第48条,第14页(2020;Zbl 07559419) 全文: 内政部 arXiv公司
迈克尔·布隆丁;哈维尔·埃斯帕尔扎;斯特凡·贾克斯 广播共识协议的表达能力。 (英语) Zbl 07649939号 Fokkink,Wan(编辑)等人,第30届并发理论国际会议,CONCUR 2019,荷兰阿姆斯特丹,2019年8月27日至30日。诉讼程序。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼兹·泽特鲁姆(Leibniz-Zentrum für Informatik)。LIPIcs–莱布尼茨国际程序。通知。140,第31条,第16页(2019年)。理学硕士:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Blondin}等人,LIPIcs——莱布尼茨国际程序。通知。140,第31条,第16页(2019年;Zbl 07649939) 全文: 内政部 arXiv公司