乌里法伦伯格;克里斯蒂安·约翰森;乔治·斯特鲁斯;Krzysztof，Zimiañski Catoid和模态卷积代数。 （英语） Zbl 07657582号 代数大学。 84，第2期，第10号论文，40页（2023年）.MSC公司：03B45 2007年6月 20M75型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，代数大学。84，第2号，第10号论文，40页（2023；Zbl 07657582） 全文： 内政部 OA许可证
乌里法伦伯格;克里斯蒂安·约翰森;乔治·斯特鲁斯;Krzysztof，Zimiañski 以接口作为并发模型的Poset。 （英语） Zbl 1515.68204号 Inf.计算。 285，B部分，文章ID 104914，20 p.（2022）. 审核人：沃尔夫冈·雷西格（柏林） MSC公司：68问题85 06年06月06日 18B35型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，《信息计算》。285，B部分，文章ID 104914，20 p.（2022；Zbl 1515.68204） 全文： 内政部 arXiv公司
卡梅隆·卡克;乌里法伦伯格;克里斯蒂安·约翰森;乔治·斯特鲁斯;Krzysztof，Zimiañski \（\ell r）-多半群、模态量子数和位置的起源。 （英语） Zbl 07670513号 Fahrenberg，Uli（编辑）等人，《计算机科学中的关系和代数方法》。第19届国际会议，RAMiCS 2021，法国马赛，2021年11月2-5日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13027, 90-107 (2021).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{C.Calk}等人，Lect。注释计算。科学。13027、90-107（2021；Zbl 07670513） 全文： 内政部
乌里法伦伯格;克里斯蒂安·约翰森;乔治·斯特鲁斯;拉坦·巴哈杜尔·塔帕 生成更多偏序集N个. （英语） Zbl 07578336号 Fahrenberg，Uli（编辑）等人，《计算机科学中的关系和代数方法》。2020年10月26日至29日在法国帕莱索举行的2020年RAMiCS第18届国际会议。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。12062, 82-99 (2020).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，Lect。注释计算。科学。12062，82-99（2020；Zbl 07578336） 全文： 内政部 arXiv公司
乌里法伦伯格;Legay、Axel;卡琳·夸斯 用定量游戏计算分支距离。 （英语） Zbl 1464.68239号 西奥。计算。科学。 847, 134-146 (2020).MSC公司：68问题85 65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，Theor。计算。科学。847134-146（2020年；Zbl 1464.68239） 全文： 内政部
尼古拉·贝内什;乌里法伦伯格;简·Křetínsk;Legay、Axel;路易斯·马里·特劳努埃兹 逻辑规范与行为规范。 （英语） Zbl 1435.68189号 Inf.计算。 271，文章ID 104487，24 p.（2020）.MSC公司：60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人，《信息计算》。271，文章ID 104487，24 p.（2020；Zbl 1435.68189） 全文： 内政部 哈尔
大卫·卡切拉;乌里法伦伯格;Legay、Axel 实时能量问题的（ω）代数。 （英语） 兹比尔1421.68092 日志。方法计算。科学。 15，第2号，第17号论文，22页（2019年）.MSC公司：65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Cachera}等人，《日志》。方法计算。科学。15，第2号，第17号论文，22页（2019年；Zbl 1421.68092） 全文： arXiv公司
乌里法伦伯格;简·Křetínsk;Legay、Axel;路易斯·马里·特劳努埃兹 定量规范的组成。 （英语） Zbl 1398.68339号 软计算。 22，第4期，1139-1158（2018）.MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，《软计算》。22，第4号，1139--1158（2018；Zbl 1398.68339） 全文： 内政部 arXiv公司
帕特里夏·鲍耶;乌里法伦伯格;金·古德斯特兰·拉森;尼古拉斯·马基;约尔·瓦克宁;詹姆斯·沃雷尔 模型检查实时系统。 （英语） Zbl 1392.68235号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。商会：施普林格出版社（ISBN 978-3-319-10574-1/hbk；978-3-319-10575-8/电子书）。1001-1046 (2018).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，in：模型检查手册。查姆：斯普林格。1001--1046（2018；Zbl 1392.68235） 全文： 内政部 哈尔
泽维尔·阿拉米根;乌里法伦伯格;圣埃芬·高伯特;里卡多·D·卡茨。;Legay、Axel 热带Fourier-Motzkin消除，应用于实时验证。 （英语） 兹比尔1301.90069 国际代数计算杂志。 24，第5期，569-607（2014）.MSC公司：90C25型 15A80型 91A46型 90立方厘米 68问题85 52A01型 52B55号 PDF格式BibTeX公司 XML格式引用 \textit｛X.Allamigeon｝等人，国际代数计算杂志。24，第5号，569--607（2014；Zbl 1301.90069） 全文： 内政部 arXiv公司
乌里法伦伯格;Legay、Axel 模态转换系统的一般定量规范理论。 （英语） Zbl 1360.68585号 学报信息。 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.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） 全文： 内政部
乌里法伦伯格;Larsen，Kim G。;Legay、Axel 实时系统的基于模型的验证、优化、综合和性能评估。 （英语） Zbl 1445.68132号 刘志明（主编）等，《程序设计理论与形式工程方法的统一》。2013年8月26日至30日在中国上海ICTAC举办的软件工程国际培训学校。高级讲座。柏林：施普林格。勒克特。注释计算。科学。8050, 67-108 (2013).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，Lect。注释计算。科学。8050，67--108（2013；Zbl 1445.68132） 全文： 内政部 哈尔
鲍尔，塞巴斯蒂安·S。;乌里法伦伯格;Juhl，Line公司;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。 基于max-plus代数的时间自动机可达性分析。 （英语） Zbl 1279.68214号 J.日志。阿尔盖布。程序。 81，第3号，298-313（2012）.MSC公司：60年第68季度 65年第68季度 15A80型 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{Q.Lu}等人，J.Log。阿尔盖布。程序。81，第3号，298--313（2012；Zbl 1279.68214） 全文： 内政部 哈尔
Larsen，Kim G。;乌里法伦伯格;克劳斯·苏兰 加权转移系统的度量：公理化和复杂性。 （英语） Zbl 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） 全文： 内政部 哈尔
克劳斯·苏兰;乌里法伦伯格;Larsen，Kim G。 加权过渡系统的定量分析。 （英语） 兹比尔1204.68137 J.日志。阿尔盖布。程序。 79，第7号，689-703（2010）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Thrane}等人，J.Log。阿尔盖布。程序。79，第7号，689--703（2010；Zbl 1204.68137） 全文： 内政部