帕瓦内·巴巴里;曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 数据字上的加权寄存器自动机和加权逻辑。 （英语） Zbl 1400.68097号 西奥。计算。科学。 744, 3-21 (2018).MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{P.Babari}等人，Theor。计算。科学。744，3--21（2018；Zbl 1400.68097） 全文： 内政部
托马斯·亨辛格（Thomas A.Henzinger）。;奥托普，简 离散和混合系统的模型测量。 （英语） Zbl 1401.68198号 非线性分析。，混合系统。 23, 166-190 (2017).MSC公司：60年第68季度 65年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{T.A.Henzinger}和\textit{J.Otop}，非线性分析。，混合系统。23、166--190（2017；Zbl 1401.68198） 全文： 内政部
曼弗雷德·德罗斯特;维塔利·佩雷沃什奇科夫 多维自动机和MSO逻辑。 （英语） Zbl 1356.68130号 理论计算。系统。 59，第2期，231-261（2016）.MSC公司：65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit｛M.Droste｝和\textit｛V.Perevoschchikov｝，理论计算。系统。59，第2号，231--261（2016；Zbl 1356.68130） 全文： 内政部 arXiv公司
乌里·法伦贝格;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） 全文： 内政部 哈尔
克劳斯·苏兰;乌里·法伦贝格;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） 全文： 内政部
乌里·法伦贝格;Larsen，Kim G。 定价时间自动机中的折扣最优无限运行。 （英语） Zbl 1347.68204号 Habermehl，P.（ed.）等人，第八、第九和第十届无限状态系统验证国际研讨会会议记录（INFINITY 2006、2007、2008），德国波恩，2006年8月26日，葡萄牙里斯本，2007年9月8日，加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记239179-191（2009）。MSC公司：65年第68季度 68平方米 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}和\textit{K.G.Larsen}，电子。注释Theor。计算。科学。239179--191（2009年；Zbl 1347.68204） 全文： 内政部
帕特里夏·鲍耶;乌里·法伦贝格;Larsen，Kim G。;尼古拉斯·马基;吉·斯尔巴 无限在能量约束的加权时间自动机中运行。 （英语） Zbl 1171.68524号 Cassez，Franck（编辑）等，时间系统的形式化建模和分析。2008年9月15日至17日，第六届国际会议，FORMATS 2008，法国圣马洛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85777-8/pbk）。计算机科学课堂讲稿5215，33-47（2008）。MSC公司：65年第68季度 90B35型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。注释计算。科学。5215、33-47（2008年；Zbl 1171.68524） 全文： 内政部 哈尔