拜尔，克里斯特尔;克莱门斯·杜伯斯拉夫;弗洛里安·芬克;西蒙·扬奇;雅各布皮里鲍尔;罗宾·齐梅克 操作因果关系-必须充分和足够必要。 （英语） Zbl 1524.68185号 Jansen，Nils（ed.）等人，从过程代数到时间自动机到模型学习的历程。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 27-45 (2022).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。13560，27-45（2022；Zbl 1524.68185） 全文： DOI程序
西蒙·扬奇;大卫·米勒;拜尔，克里斯特尔;约阿希姆·克莱因 通过交替自动机的消歧，从LTL到明确的Büchi自动机。 （英语） Zbl 1505.68022号 形式方法系统。设计。 58，编号1-2，42-82（2021）.MSC公司：65年第68季度 03B44号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Jantsch}等人，《形式方法系统》。设计。58，编号1--2，42-82（2021；Zbl 1505.68022） 全文： DOI程序 arXiv公司
弗洛里安·芬克;西蒙·扬奇;拜尔，克里斯特尔 Farkas证书和概率可达性约束的最小见证人。 （英语） Zbl 1507.68187号 Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 324-345 (2020).MSC公司：60年第68季度 2017年第68季度 68问题85 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Funke}等人，Lect。注释计算。科学。12078，324--345（2020；Zbl 1507.68187） 全文： DOI程序 arXiv公司
拜尔，克里斯特尔;卢卡·德·阿尔法罗;Forejt，Vojtěch公司;玛尔塔·奎亚特科夫斯卡 模型检查概率系统。 （英语） Zbl 1392.68227号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。963-999 (2018).MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛C.Baier｝等人，在：模型检查手册中。查姆：斯普林格。963--999（2018；Zbl 1392.68227） 全文： DOI程序
拜尔，克里斯特尔（编辑）;玛尔塔·奎亚特科夫斯卡（编辑） 概率模型检验专题前言。 （英语） Zbl 1291.68245号 形式方法系统。设计。 43，第2期，121-123（2013）.MSC公司：60年第68季度 87年第68季度 00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}（编辑）和\textit{M.Kwiatkowska}（主编），《形式方法系统》。设计。43，编号2121-123（2013年；兹bl 1291.68245） 全文： DOI程序
拜尔，C。;E.M.哈恩。;B.R.哈维尔科特。;H·赫尔曼斯。;J.-P.卡托恩。 模型性能检查。 （英语） Zbl 1358.68181号 数学。结构。计算。科学。 23，第4期，751-795（2013）.MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，数学。结构。计算。科学。23，第4号，751--795（2013；Zbl 1358.68181） 全文： DOI程序
拜尔，克里斯特尔;托马斯·布拉兹迪尔;马库斯·格勒;安东·库切拉 随机博弈逻辑。 （英语） 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） 全文： DOI程序
拜尔，克里斯特尔;布，露西娅;Boudewijn R.哈维尔科特。;霍尔格·赫尔曼斯;Joost-Pieter卡托恩 通过马尔可夫报酬模型的模型检查进行性能评估。 （英语） Zbl 1209.68309号 形式方法系统。设计。 36，第1期，1-36页（2010年）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，《形式方法系统》。设计。36，第1号，1-36（2010；Zbl 1209.68309） 全文： DOI程序 链接
克吕佩尔霍尔茨，萨沙;拜尔，克里斯特尔 多智能体系统的交替时间流逻辑。 （英语） Zbl 1192.68697号 科学。计算。程序。 75，第6号，398-425（2010）.MSC公司：第68页第42页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Klüppelholz}和\textit{C.Baier}，科学。计算。程序。75，第6号，398--425（2010；Zbl 1192.68697） 全文： DOI程序
拜尔，克里斯特尔;马库斯·格勒;Frank Ciesinski先生 概率系统线性时间特性的模型检验。 （英语） Zbl 1484.68095号 Droste，Manfred（编辑）等人，《加权自动机手册》。柏林：斯普林格。单声道。理论。计算。科学。，EATCS系列。，519-570 (2009).MSC公司：60年第68季度 2010年第68季度 65年第68季度 87年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，in：加权自动机手册。柏林：斯普林格。519-570（2009年；Zbl 1484.68095） 全文： DOI程序
拜尔，克里斯特尔;马库斯·格罗斯尔;弗兰克·西辛斯基 公平约束下的定量分析。 （英语） Zbl 1262.68102号 刘志明（编辑）等，《验证和分析自动化技术》。2009年10月14日至16日，第七届国际研讨会，ATVA 2009，中国澳门。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04760-2/pbk）。计算机科学课堂讲稿5799135-150（2009）。MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。5799、135-150（2009年；Zbl 1262.68102） 全文： DOI程序
拜尔，克里斯特尔;托拜厄斯·布莱希曼;约阿希姆·克莱因;克吕佩尔霍尔茨，萨沙 部件和连接器的正式验证。 （英语） Zbl 1254.68143号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2008年10月21日至23日在法国索菲亚·安蒂波利斯举行的2008年FMCO第七届国际研讨会。修改后的讲座。柏林：施普林格出版社（ISBN 978-3-642-04166-2/pbk）。计算机科学课堂讲稿5751，82-101（2009）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。5751、82--101（2009年；Zbl 1254.68143） 全文： DOI程序
克吕佩尔霍尔茨，萨沙;拜尔，克里斯特尔 基于通道的元件连接器的符号模型检查。 （英语） Zbl 1167.68035号 科学。计算。程序。 74，第9号，688-701（2009）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Klüppelholz}和\textit{C.Baier}，科学。计算。程序。74，第9号，688--701（2009；Zbl 1167.68035） 全文： DOI程序
拜尔，克里斯特尔;Joost-Pieter卡托恩;霍尔格·赫尔曼斯;维雷娜·沃尔夫 马尔可夫链的比较分支时间语义。 （英语） Zbl 1101.68053号 Inf.计算。 200，第2期，149-214（2005）.MSC公司：68问题55 2010年第68季度 60年第68季度 60J10型 60年27日 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛C.Baier｝等人，信息计算。200，第2号，149--214（2005；Zbl 1101.68053） 全文： DOI程序 链接
拜尔，克里斯特尔;霍尔格·赫尔曼斯;Joost-Pieter卡托恩 概率弱模拟在多项式时间内是可判定的。 （英语） Zbl 1183.68703号 信息处理。莱特。 89，第3期，123-130（2004）.MSC公司：68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，《信息处理》。莱特。89，第3号，123-130（2004年；兹bl 1183.68703） 全文： DOI程序
拜尔，克里斯特尔;贝蒂娜·恩格伦;Mila Cederbaum少校 概率过程的双相似度和相似性判定。 （英语） Zbl 1073.68690号 J.计算。系统。科学。 60，第1期，187-231（2000）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，《计算杂志》。系统。科学。60，第1号，187--231（2000；Zbl 1073.68690） 全文： DOI程序
拜尔，克里斯特尔;埃德蒙·克拉克（Edmund M.Clarke）。;瓦西利基·哈特纳斯·加姆豪森;玛尔塔·奎亚特科夫斯卡;马克·瑞恩 概率过程的符号模型检查。 （英语） Zbl 1401.68180号 Degano，Pierpaolo（编辑）等人，《自动化，语言和编程》。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林：Springer-Verlag（ISBN 978-3-540-63165-1/pbk；978-3-540-69194-5/电子书）。《计算机科学讲义》1256、430-440（1997）。MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人，Lect。注释计算。科学。1256430-440（1997年；Zbl 1401.68180） 全文： DOI程序 链接