罗德里克·布洛姆;克里希南德·查特吉;芭芭拉·乔布斯曼 图形游戏和反应合成。 （英语） Zbl 1392.68233号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。921-962 (2018).MSC公司：60年第68季度 65年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，in：模型检查手册。查姆：斯普林格。921-962（2018；Zbl 1392.68233） 全文： 内政部
克里斯蒂安·冯·埃森;芭芭拉·乔布斯曼 程序修复无遗憾。 （英语） 兹比尔1322.68056 形式方法系统。设计。 47，第1期，26-50（2015）.MSC公司：68号30 03B70号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.von Essen}和\textit{B.Jobstmann}，《形式方法系统》。设计。47，第1号，第26--50条（2015；Zbl 1322.68056） 全文： 内政部 链接
克里希南德·查特吉;托马斯·亨辛格（Thomas A.Henzinger）。;芭芭拉·乔布斯曼;罗希特·辛格 在概率环境中测量和合成系统。 （英语） 兹比尔1321.68344 美国临床医学杂志 62，第1号，第9条，第34页（2015年）.MSC公司：60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}等人，J.ACM 62，No.1，Article No.9，34 p.（2015；Zbl 1321.68344） 全文： 内政部 arXiv公司
罗德里克·布洛姆;克里希南德·查特吉;卡琳·格雷梅尔;托马斯·亨辛格（Thomas A.Henzinger）。;乔治·霍夫雷克;芭芭拉·乔布斯曼;贝蒂娜·科尼霍费尔;罗伯特·Könighfer 合成鲁棒系统。 （英语） Zbl 1302.93079号 学报信息。 51，编号3-4193-220（2014）.MSC公司：93B35型 93亿B50 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，Acta Inf.51，No.3--4，193-220（2014；Zbl 1302.93079） 全文： 内政部
罗德里克·布洛姆;芭芭拉·乔布斯曼;尼尔·皮特曼;阿米尔·普努利;亚尼夫·萨阿尔 反应（1）设计的合成。 （英语） Zbl 1247.68050号 J.计算。系统。科学。 78，第3期，911-938（2012）.MSC公司：68号30 03B44号 03B70号 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，《计算杂志》。系统。科学。78，第3号，911--938（2012；Zbl 1247.68050） 全文： 内政部
芭芭拉·乔布斯曼;斯特凡·斯塔珀;安德烈亚斯·格雷斯迈耶;罗德里克·布洛姆 发现并修复故障。 （英语） Zbl 1263.68112号 J.计算。系统。科学。 78，第2期，441-460（2012）. 审核人：约翰·乔治·格兰斯特罗姆（苏黎世） MSC公司：60年第68季度 91A80型 03B70号 68号30 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Jobstmann}等人，J.计算。系统。科学。78，No.2，441--460（2012；Zbl 1263.68112） 全文： 内政部