肯塔·乔;巴特·雅各布斯 通过字符串图进行分解和贝叶斯反演。 （英文） Zbl 1452.18008号 数学。结构。计算。科学。 29，第7期，938-971（2019）. 审核人：Ernst-Erich Doberkat（多特蒙德） MSC公司：18立方厘米 28A50型 62C10个 PDF格式BibTeX公司 XML格式引用 \textit{K.Cho}和\textit{B.Jacobs}，数学。结构。计算。科学。29，第7号，938--971（2019；Zbl 1452.18008） 全文： 内政部 arXiv公司
罗宾·亚当斯;巴特·雅各布斯 概率和贝叶斯推理的类型理论。 （英文） Zbl 1433.68264号 Uustalu，Tarmo（编辑），第21届国际证明和程序类型会议，2015年类型，2015年5月18日至21日，爱沙尼亚塔林。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。69，第1条，第34页（2018年）。MSC公司：87年第68季度 03B70号 2015年1月62日 68号30 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{R.Adams}和\textit{B.Jacobs}，LIPIcs——莱布尼茨国际程序。通知。69，第1条，第34页（2018；Zbl 1433.68264） 全文： 内政部 arXiv公司
巴特·雅各布斯 从概率单子到交换效应。 （英文） Zbl 1382.68073号 J.日志。阿尔盖布。方法计划。 94, 200-237 (2018).MSC公司：2005年第68季度 18个C20 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs}，J.Log。阿尔盖布。方法计划。94、200-237（2018；Zbl 1382.68073） 全文： 内政部 链接
巴特·雅各布斯;法比奥·扎纳西 用于贝叶斯学习的谓词/状态转换器语义。 （英文） Zbl 1401.68173号 Birkedal，Lars（编辑），第32届编程语义数学基础会议论文集（MFPS XXXII），卡内基梅隆大学，匹兹堡，宾夕法尼亚州，美国，2016年5月23日至26日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记325185-200（2016）。MSC公司：68问题55 03B70号 18个C20 2015年1月62日 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs}和\textit{F.Zanasi}，电子。注释Theor。计算。科学。325185-200（2016；Zbl 1401.68173） 全文： 内政部