博尔祖·博纳克达尔普尔;桑迪普·库尔卡尼 综合有界时间2相故障恢复。 （英语） Zbl 1328.68045号 正式Asp。计算。 27，第1期，1-31页（2015年）.MSC公司：68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bonakdarpour}和\textit{S.Kulkarni}，正式Asp。计算。27，编号1，1-31（2015年；兹bl 1328.68045） 全文： 内政部
博尔祖·博纳克达尔普尔;马吕斯·博兹加;穆罕默德·贾比尔;吉恩·奎尔贝夫;约瑟夫·西法基斯 基于组件模型的自动化分布式实现框架。 （英语） Zbl 1256.68016号 分布计算。 25，第5期，383-409（2012）.MSC公司：64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bonakdarpour}等人，《分布计算》。25，第5号，383--409（2012；Zbl 1256.68016） 全文： 内政部
博尔祖·博纳克达尔普尔;Sandeep S.Kulkarni。;福阿德·阿布贾拉德 屏蔽容错分布式程序的符号合成。 （英语） Zbl 1285.68016号 分布计算。 25，第1期，83-108（2012）.MSC公司：68米15 64岁以下 68宽15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bonakdarpour}等人，《分布计算》。25，编号1，83--108（2012；Zbl 1285.68016） 全文： 内政部
Sandeep S.Kulkarni。;博尔祖·博纳克达尔普尔;阿里·埃布纳西尔 容错程序自动合成的机械验证。 （英语） Zbl 1134.68348号 Sandro Etalle（编辑），《基于逻辑的程序合成和转换》。第14届国际研讨会，LOPSTR 2004，意大利维罗纳，2004年8月26日至28日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-540-26655-6/pbk）。计算机科学课堂讲稿3573，36-52（2005）。MSC公司：68号30 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Kulkarni}等人，Lect。注释计算。科学。3573、36-52（2005年；Zbl 1134.68348） 全文： 内政部