乌里·法伦贝格;Legay、Axel;卡琳·夸斯 用定量游戏计算分支距离。 （英语） Zbl 1464.68239号 西奥。计算。科学。 847, 134-146 (2020).理学硕士：68问题85 第68季度第45季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，Theor。计算。科学。847134-146（2020年；Zbl 1464.68239） 全文： 内政部
乌里·法伦贝格;简·Křetínsk;Legay、Axel;路易斯·马里·特劳努埃兹 定量规范的组成。 （英语） Zbl 1398.68339号 软计算。 22，第4期，1139-1158（2018）.理学硕士：60年第68季度 第68季度第45季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，《软计算》。22，第4号，1139--1158（2018；Zbl 1398.68339） 全文： 内政部 arXiv公司
尼古拉·贝内什;简·Křetínsk;Larsen，Kim G。;米凯尔·H·默勒。;所罗门·西克特;吉·斯尔巴 参数模态转换系统的精化检查。 （英语） Zbl 1309.68130号 学报信息。 52，编号2-3，269-297（2015）.理学硕士：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人，Acta Inf.52，No.2--3，269--297（2015；Zbl 1309.68130） 全文： 内政部 链接
乌里·法伦贝格;Legay、Axel 模态转换系统的一般定量规范理论。 （英语） Zbl 1360.68585号 学报信息。 51，第5期，261-295（2014）.理学硕士：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).理学硕士：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人，Lect。注释计算。科学。8415、84-97（2014年；Zbl 1416.68121） 全文： 内政部
塞巴斯蒂安·鲍尔。;乌里·法伦贝格;Juhl，Line公司;Larsen，Kim G。;Legay、Axel;克劳斯·苏兰 加权模态转换系统。 （英语） Zbl 1291.68246号 形式方法系统。设计。 42，第2期，193-220（2013）.理学硕士：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人，《形式方法系统》。设计。42，第2号，193--220（2013；Zbl 1291.68246） 全文： 内政部 arXiv公司 哈尔