Nathalie Bertrand;帕特里夏·鲍耶;托马斯·布里海耶;昆廷·梅内特;克里斯特尔·拜尔;马库斯·格罗斯尔;马尔金·尤尔金斯基 随机时间自动机。 （英语） Zbl 1448.68256号 日志。方法计算。科学。 10，第4号，第6号论文，73页（2014年）.MSC公司：65年第68季度 60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人，日志。方法计算。科学。10，第4号，第6号论文，73页（2014年；Zbl 1448.68256） 全文： 内政部 arXiv公司
克里斯特尔·拜尔;马库斯·格里瑟;Nathalie Bertrand 概率\（{\omega}\）-自动机。 （英语） Zbl 1281.68152号 美国临床医学杂志 59，第1号，第1条，52页（2012年）.MSC公司：60年第68季度 65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，J.ACM 59，第1号，第1条，52页（2012；Zbl 1281.68152） 全文： 内政部
克里斯特尔·拜尔;托马斯·布拉兹迪尔;马库斯·格勒;安东·库切拉 随机博弈逻辑。 （英语） Zbl 1276.68103号 学报信息。 49，第4期，203-224（2012）. 审核人：Joost-Pieter Katoen（亚琛） MSC公司：60年第68季度 2017年第68季度 91A06型 03B48号 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，《信息学报》第49期，第4期，第203-224页（2012年；Zbl 1276.68103） 全文： 内政部
克里斯特尔·拜尔;马库斯·格勒;Frank Ciesinski先生 概率系统线性时间特性的模型检验。 （英语） Zbl 1484.68095号 Droste，Manfred（编辑）等人，《加权自动机手册》。柏林：施普林格。单声道。理论。计算。科学。，EATCS系列。，519-570 (2009).MSC公司：60年第68季度 2010年第68季度 65年第68季度 第68季度87 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，in：加权自动机手册。柏林：施普林格。519-570（2009年；Zbl 1484.68095） 全文： 内政部
马修·特雷科尔;克里斯特尔·拜尔;马库斯·格里瑟 概率自动机的递归性和瞬时性。 （英语） Zbl 1248.68337号 Kannan，Ravi（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2009），2009年12月15日至17日，印度坎普尔。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-13-2）。LIPIcs–莱布尼茨国际信息学会议录4395-406，仅电子版（2009年）。MSC公司：60年第68季度 第68季度87 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.Tracol｝等人，LIPIcs——莱布尼茨国际期刊。通知。4395--406（2009年；Zbl 1248.68337） 全文： 内政部 链接
克里斯特尔·拜尔;马库斯·格罗斯尔;Frank Ciesinski先生 公平约束下的定量分析。 （英语） Zbl 1262.68102号 刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。《计算机科学讲义》5799，135-150（2009）。MSC公司：60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。5799、135-150（2009年；Zbl 1262.68102） 全文： 内政部
克里斯特尔·拜尔;Nathalie Bertrand;马库斯·格勒 在欧米伽自动投掷硬币的效果。 （英语） Zbl 1254.68142号 Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710，15-29（2009）。MSC公司：60年第68季度 05年3月 65年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。5710、15--29（2009年；Zbl 1254.68142） 全文： 内政部
克里斯特尔·拜尔;Nathalie Bertrand;帕特里夏·鲍耶;托马斯·布里海耶;马库斯·格勒 时间自动机的概率和拓扑语义。 （英语） Zbl 1135.68464号 Arvind，V.（ed.）等人，FSTTCS 2007：软件技术和理论计算机科学基础。第27届国际会议，印度新德里，2007年12月12-14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77049-7/pbk）。计算机科学课堂讲稿4855179-191（2007）。MSC公司：60年第68季度 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。4855、179--191（2007年；Zbl 1135.68464） 全文： 内政部
Grßer，马库斯;格钦·诺曼;克里斯特尔·拜尔;Frank Ciesinski先生;玛尔塔·奎亚特科夫斯卡;大卫·帕克 概率报酬模型的约简准则。 （英语） Zbl 1177.68150号 Arun-Kumar，S.（编辑）等人，FSTTCS 2006：软件技术和理论计算机科学基础。第26届国际会议，印度加尔各答，2006年12月13日至15日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-49994-7/pbk）。计算机科学课堂讲稿4337，309-320（2006）。MSC公司：68问题85 60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \文本{M.Grßer}等人，Lect。注释计算。科学。4337、309--320（2006年；Zbl 1177.68150） 全文： 内政部
马库斯·格罗斯尔;克里斯特尔·拜尔 马尔可夫决策过程的部分降阶：综述。 （英语） Zbl 1196.68137号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2005年11月1日至4日，荷兰阿姆斯特丹，第四届国际研讨会，FMCO 2005。修订的讲座。柏林：施普林格出版社（ISBN 3-540-36749-7/pbk）。计算机科学讲义4111，408-427（2006）。MSC公司：60年第68季度 第68季度87 PDF格式BibTeX公司 XML格式引用 \textit{M.Groesser}和\textit{C.Baier}，莱克特。注释计算。科学。4111、408--427（2006；Zbl 1196.68137） 全文： 内政部