约瑟夫·布杜 具有并行组合的命题动态逻辑的复杂性最优决策过程。 （英语） Zbl 1475.68075号 Olivetti，Nicola（编辑）等人，《自动推理》。2016年6月27日至7月2日，在葡萄牙科英布拉举行的第八届国际联合会议，IJCAR 2016。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9706, 373-388 (2016).MSC公司：68号30 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Boudou}，莱克特。注释计算。科学。9706373--388（2016；Zbl 1475.68075） 全文： 内政部 链接
菲利普·巴尔比亚尼;约瑟夫·布杜 具有分离并行组合的命题动态逻辑的Tableaux方法。 （英语） Zbl 1465.03050号 Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 539-554 (2015).MSC公司：03B35型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Balbiani}和\textit{J.Boudou}，莱克特。注释计算。科学。9195539-554（2015年；Zbl 1465.03050） 全文： 内政部 哈尔
约瑟夫·布杜 具有分离平行合成的PDL的指数大小模型属性。 （英语） 兹比尔1465.68045 Italiano，F.（ed.）等人，《2015年计算机科学数学基础》。第40届国际研讨会，2015年MFCS，意大利米兰，2015年8月24-28日。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。9234, 129-140 (2015).MSC公司：68号30 03B70号 19年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Boudou}，莱克特。注释计算。科学。9234、129--140（2015年；Zbl 1465.68045） 全文： 内政部 链接